{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:I547EKNR4K7R3BSBQE6Q6B7YYY","short_pith_number":"pith:I547EKNR","canonical_record":{"source":{"id":"1203.4063","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2012-03-19T09:30:28Z","cross_cats_sorted":[],"title_canon_sha256":"c330a497bd340a4ad6970468c2b15baf9f824530e30e532ed120968fb4bcb3ed","abstract_canon_sha256":"62e5c52c8df86080ce4fdcb2b1e12a401e39e68a3ba128c458cb9ee7ff30cf7f"},"schema_version":"1.0"},"canonical_sha256":"4779f229b1e2bf1d8641813d0f07f8c62989ee4a42c543f2af0d540f3b856964","source":{"kind":"arxiv","id":"1203.4063","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1203.4063","created_at":"2026-05-18T03:59:48Z"},{"alias_kind":"arxiv_version","alias_value":"1203.4063v1","created_at":"2026-05-18T03:59:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1203.4063","created_at":"2026-05-18T03:59:48Z"},{"alias_kind":"pith_short_12","alias_value":"I547EKNR4K7R","created_at":"2026-05-18T12:27:09Z"},{"alias_kind":"pith_short_16","alias_value":"I547EKNR4K7R3BSB","created_at":"2026-05-18T12:27:09Z"},{"alias_kind":"pith_short_8","alias_value":"I547EKNR","created_at":"2026-05-18T12:27:09Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:I547EKNR4K7R3BSBQE6Q6B7YYY","target":"record","payload":{"canonical_record":{"source":{"id":"1203.4063","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2012-03-19T09:30:28Z","cross_cats_sorted":[],"title_canon_sha256":"c330a497bd340a4ad6970468c2b15baf9f824530e30e532ed120968fb4bcb3ed","abstract_canon_sha256":"62e5c52c8df86080ce4fdcb2b1e12a401e39e68a3ba128c458cb9ee7ff30cf7f"},"schema_version":"1.0"},"canonical_sha256":"4779f229b1e2bf1d8641813d0f07f8c62989ee4a42c543f2af0d540f3b856964","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:59:48.377620Z","signature_b64":"Zyc8e8C7NuX6uuKgc9TvFmfg0pTyp5TXRjx8GhGp7dwGpJ45TY9U/lx7dau61KKdlzFuIw4vVZ8vQ1bP4dX1Cg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4779f229b1e2bf1d8641813d0f07f8c62989ee4a42c543f2af0d540f3b856964","last_reissued_at":"2026-05-18T03:59:48.376636Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:59:48.376636Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1203.4063","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T03:59:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"K3Tu0tXHEtjckAkS4niYfoF1wJ7KJWdXufQDKlHktqR1qXykNxafnmkRF98uLB9jqhPN6F0ykn77F2KW1XA5Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T23:53:37.520741Z"},"content_sha256":"e5c93b78016fa833c036298c6c1359cd348e7a96193d2866f1cdaf22fb0fcd6e","schema_version":"1.0","event_id":"sha256:e5c93b78016fa833c036298c6c1359cd348e7a96193d2866f1cdaf22fb0fcd6e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:I547EKNR4K7R3BSBQE6Q6B7YYY","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Homomorphic Hashing for Sparse Coefficient Extraction","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CC","authors_text":"Jesper Nederlof, Mikko Koivisto, Petteri Kaski","submitted_at":"2012-03-19T09:30:28Z","abstract_excerpt":"We study classes of Dynamic Programming (DP) algorithms which, due to their algebraic definitions, are closely related to coefficient extraction methods. DP algorithms can easily be modified to exploit sparseness in the DP table through memorization. Coefficient extraction techniques on the other hand are both space-efficient and parallelisable, but no tools have been available to exploit sparseness.\n  We investigate the systematic use of homomorphic hash functions to combine the best of these methods and obtain improved space-efficient algorithms for problems including LINEAR SAT, SET PARTITI"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1203.4063","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T03:59:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rYDilhtPO8xmozazSkzOtKfTT8Zb5WKspov3ml7LpGWBoRbXr53zJCrQutwyvQ+befW+Elq5pbQbojSZaWB9AQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T23:53:37.521463Z"},"content_sha256":"d1d34c5e2c18712e8e8ed280d2b44496fb92513be21231b94f98055142caad2d","schema_version":"1.0","event_id":"sha256:d1d34c5e2c18712e8e8ed280d2b44496fb92513be21231b94f98055142caad2d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/I547EKNR4K7R3BSBQE6Q6B7YYY/bundle.json","state_url":"https://pith.science/pith/I547EKNR4K7R3BSBQE6Q6B7YYY/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/I547EKNR4K7R3BSBQE6Q6B7YYY/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-06T23:53:37Z","links":{"resolver":"https://pith.science/pith/I547EKNR4K7R3BSBQE6Q6B7YYY","bundle":"https://pith.science/pith/I547EKNR4K7R3BSBQE6Q6B7YYY/bundle.json","state":"https://pith.science/pith/I547EKNR4K7R3BSBQE6Q6B7YYY/state.json","well_known_bundle":"https://pith.science/.well-known/pith/I547EKNR4K7R3BSBQE6Q6B7YYY/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:I547EKNR4K7R3BSBQE6Q6B7YYY","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"62e5c52c8df86080ce4fdcb2b1e12a401e39e68a3ba128c458cb9ee7ff30cf7f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2012-03-19T09:30:28Z","title_canon_sha256":"c330a497bd340a4ad6970468c2b15baf9f824530e30e532ed120968fb4bcb3ed"},"schema_version":"1.0","source":{"id":"1203.4063","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1203.4063","created_at":"2026-05-18T03:59:48Z"},{"alias_kind":"arxiv_version","alias_value":"1203.4063v1","created_at":"2026-05-18T03:59:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1203.4063","created_at":"2026-05-18T03:59:48Z"},{"alias_kind":"pith_short_12","alias_value":"I547EKNR4K7R","created_at":"2026-05-18T12:27:09Z"},{"alias_kind":"pith_short_16","alias_value":"I547EKNR4K7R3BSB","created_at":"2026-05-18T12:27:09Z"},{"alias_kind":"pith_short_8","alias_value":"I547EKNR","created_at":"2026-05-18T12:27:09Z"}],"graph_snapshots":[{"event_id":"sha256:d1d34c5e2c18712e8e8ed280d2b44496fb92513be21231b94f98055142caad2d","target":"graph","created_at":"2026-05-18T03:59:48Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"We study classes of Dynamic Programming (DP) algorithms which, due to their algebraic definitions, are closely related to coefficient extraction methods. DP algorithms can easily be modified to exploit sparseness in the DP table through memorization. Coefficient extraction techniques on the other hand are both space-efficient and parallelisable, but no tools have been available to exploit sparseness.\n  We investigate the systematic use of homomorphic hash functions to combine the best of these methods and obtain improved space-efficient algorithms for problems including LINEAR SAT, SET PARTITI","authors_text":"Jesper Nederlof, Mikko Koivisto, Petteri Kaski","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2012-03-19T09:30:28Z","title":"Homomorphic Hashing for Sparse Coefficient Extraction"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1203.4063","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:e5c93b78016fa833c036298c6c1359cd348e7a96193d2866f1cdaf22fb0fcd6e","target":"record","created_at":"2026-05-18T03:59:48Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"62e5c52c8df86080ce4fdcb2b1e12a401e39e68a3ba128c458cb9ee7ff30cf7f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2012-03-19T09:30:28Z","title_canon_sha256":"c330a497bd340a4ad6970468c2b15baf9f824530e30e532ed120968fb4bcb3ed"},"schema_version":"1.0","source":{"id":"1203.4063","kind":"arxiv","version":1}},"canonical_sha256":"4779f229b1e2bf1d8641813d0f07f8c62989ee4a42c543f2af0d540f3b856964","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4779f229b1e2bf1d8641813d0f07f8c62989ee4a42c543f2af0d540f3b856964","first_computed_at":"2026-05-18T03:59:48.376636Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:59:48.376636Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Zyc8e8C7NuX6uuKgc9TvFmfg0pTyp5TXRjx8GhGp7dwGpJ45TY9U/lx7dau61KKdlzFuIw4vVZ8vQ1bP4dX1Cg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:59:48.377620Z","signed_message":"canonical_sha256_bytes"},"source_id":"1203.4063","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e5c93b78016fa833c036298c6c1359cd348e7a96193d2866f1cdaf22fb0fcd6e","sha256:d1d34c5e2c18712e8e8ed280d2b44496fb92513be21231b94f98055142caad2d"],"state_sha256":"eff31a384f4d1c65851edfe152723398b1c6e60bdf2065fd04bf4c2cdc62cc13"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SsqmVaYwlNxhNN2neO9P+/SeKwTz31lTB2U84uAVkOnvBedBrjhg9mPiBzPcGqFMBQM2QIn+rR9GCBcKz3udCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-06T23:53:37.525832Z","bundle_sha256":"d6ab4e8148cd8d4ebc833adccac3a2b4a36b20cee3aedc1d98f118ca4fb66bea"}}