{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:XMDFFPMFEOC5B33HJWANBBVDIC","short_pith_number":"pith:XMDFFPMF","canonical_record":{"source":{"id":"1706.04641","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2017-06-14T19:14:27Z","cross_cats_sorted":[],"title_canon_sha256":"d26bd960e8be01ddd8c453a2fbe82e8aeb1e106cd1e1d052e87d453f7f4f5fff","abstract_canon_sha256":"0677055ac035c3f3b2c578aa700aba94cd66143902ee8cbb7a912fae74f7163f"},"schema_version":"1.0"},"canonical_sha256":"bb0652bd852385d0ef674d80d086a340a09f1414c5ea7a385a00a88d9d800215","source":{"kind":"arxiv","id":"1706.04641","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1706.04641","created_at":"2026-05-18T00:42:19Z"},{"alias_kind":"arxiv_version","alias_value":"1706.04641v1","created_at":"2026-05-18T00:42:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1706.04641","created_at":"2026-05-18T00:42:19Z"},{"alias_kind":"pith_short_12","alias_value":"XMDFFPMFEOC5","created_at":"2026-05-18T12:31:56Z"},{"alias_kind":"pith_short_16","alias_value":"XMDFFPMFEOC5B33H","created_at":"2026-05-18T12:31:56Z"},{"alias_kind":"pith_short_8","alias_value":"XMDFFPMF","created_at":"2026-05-18T12:31:56Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:XMDFFPMFEOC5B33HJWANBBVDIC","target":"record","payload":{"canonical_record":{"source":{"id":"1706.04641","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2017-06-14T19:14:27Z","cross_cats_sorted":[],"title_canon_sha256":"d26bd960e8be01ddd8c453a2fbe82e8aeb1e106cd1e1d052e87d453f7f4f5fff","abstract_canon_sha256":"0677055ac035c3f3b2c578aa700aba94cd66143902ee8cbb7a912fae74f7163f"},"schema_version":"1.0"},"canonical_sha256":"bb0652bd852385d0ef674d80d086a340a09f1414c5ea7a385a00a88d9d800215","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:42:19.455028Z","signature_b64":"tW8YA8zsUm1zFAgnAx4ZQXUvH5//hA5qo+lcPe9gAMInjQtCfeX7Qhx8NNl/KVTPbSmPinm/Z15xBnCvLFQYCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bb0652bd852385d0ef674d80d086a340a09f1414c5ea7a385a00a88d9d800215","last_reissued_at":"2026-05-18T00:42:19.454424Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:42:19.454424Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1706.04641","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-18T00:42:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3F36ZPHcGus9WQdWrbJ962TRqMuqjMA3BVuY35kCpI4ABD5odWPImVGbbJnqtotKEnLjB394yKQgOUl6bzeTAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T22:59:53.092146Z"},"content_sha256":"15c231defebc0cce7b0058509180d7580f8f2fa26a0fcebc09dd9554ca52c74f","schema_version":"1.0","event_id":"sha256:15c231defebc0cce7b0058509180d7580f8f2fa26a0fcebc09dd9554ca52c74f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:XMDFFPMFEOC5B33HJWANBBVDIC","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Pseudo-deterministic Proofs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CC","authors_text":"Dhiraj Holden, Ofer Grossman, Shafi Goldwasser","submitted_at":"2017-06-14T19:14:27Z","abstract_excerpt":"We introduce pseudo-deterministic interactive proofs (psdAM): interactive proof systems for search problems where the verifier is guaranteed with high probability to output the same output on different executions. As in the case with classical interactive proofs, the verifier is a probabilistic polynomial time algorithm interacting with an untrusted powerful prover.\n  We view pseudo-deterministic interactive proofs as an extension of the study of pseudo-deterministic randomized polynomial time algorithms: the goal of the latter is to find canonical solutions to search problems whereas the goal"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1706.04641","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-18T00:42:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qoGwnGTjmbIJK+TyGTTvbITykZe7F9re9VZFzId5d7YlNScNJSHJD/TmYI+YpWRnqUA/B1ZuWDR8KaQ6cauMDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T22:59:53.092807Z"},"content_sha256":"77f8b52a4aaeb404f42f6a908643c9fdb20c91ea6f6ec3d4d1b29a484b76b747","schema_version":"1.0","event_id":"sha256:77f8b52a4aaeb404f42f6a908643c9fdb20c91ea6f6ec3d4d1b29a484b76b747"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XMDFFPMFEOC5B33HJWANBBVDIC/bundle.json","state_url":"https://pith.science/pith/XMDFFPMFEOC5B33HJWANBBVDIC/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XMDFFPMFEOC5B33HJWANBBVDIC/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-05-28T22:59:53Z","links":{"resolver":"https://pith.science/pith/XMDFFPMFEOC5B33HJWANBBVDIC","bundle":"https://pith.science/pith/XMDFFPMFEOC5B33HJWANBBVDIC/bundle.json","state":"https://pith.science/pith/XMDFFPMFEOC5B33HJWANBBVDIC/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XMDFFPMFEOC5B33HJWANBBVDIC/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:XMDFFPMFEOC5B33HJWANBBVDIC","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":"0677055ac035c3f3b2c578aa700aba94cd66143902ee8cbb7a912fae74f7163f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2017-06-14T19:14:27Z","title_canon_sha256":"d26bd960e8be01ddd8c453a2fbe82e8aeb1e106cd1e1d052e87d453f7f4f5fff"},"schema_version":"1.0","source":{"id":"1706.04641","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1706.04641","created_at":"2026-05-18T00:42:19Z"},{"alias_kind":"arxiv_version","alias_value":"1706.04641v1","created_at":"2026-05-18T00:42:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1706.04641","created_at":"2026-05-18T00:42:19Z"},{"alias_kind":"pith_short_12","alias_value":"XMDFFPMFEOC5","created_at":"2026-05-18T12:31:56Z"},{"alias_kind":"pith_short_16","alias_value":"XMDFFPMFEOC5B33H","created_at":"2026-05-18T12:31:56Z"},{"alias_kind":"pith_short_8","alias_value":"XMDFFPMF","created_at":"2026-05-18T12:31:56Z"}],"graph_snapshots":[{"event_id":"sha256:77f8b52a4aaeb404f42f6a908643c9fdb20c91ea6f6ec3d4d1b29a484b76b747","target":"graph","created_at":"2026-05-18T00:42:19Z","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 introduce pseudo-deterministic interactive proofs (psdAM): interactive proof systems for search problems where the verifier is guaranteed with high probability to output the same output on different executions. As in the case with classical interactive proofs, the verifier is a probabilistic polynomial time algorithm interacting with an untrusted powerful prover.\n  We view pseudo-deterministic interactive proofs as an extension of the study of pseudo-deterministic randomized polynomial time algorithms: the goal of the latter is to find canonical solutions to search problems whereas the goal","authors_text":"Dhiraj Holden, Ofer Grossman, Shafi Goldwasser","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2017-06-14T19:14:27Z","title":"Pseudo-deterministic Proofs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1706.04641","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:15c231defebc0cce7b0058509180d7580f8f2fa26a0fcebc09dd9554ca52c74f","target":"record","created_at":"2026-05-18T00:42:19Z","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":"0677055ac035c3f3b2c578aa700aba94cd66143902ee8cbb7a912fae74f7163f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2017-06-14T19:14:27Z","title_canon_sha256":"d26bd960e8be01ddd8c453a2fbe82e8aeb1e106cd1e1d052e87d453f7f4f5fff"},"schema_version":"1.0","source":{"id":"1706.04641","kind":"arxiv","version":1}},"canonical_sha256":"bb0652bd852385d0ef674d80d086a340a09f1414c5ea7a385a00a88d9d800215","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bb0652bd852385d0ef674d80d086a340a09f1414c5ea7a385a00a88d9d800215","first_computed_at":"2026-05-18T00:42:19.454424Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:42:19.454424Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"tW8YA8zsUm1zFAgnAx4ZQXUvH5//hA5qo+lcPe9gAMInjQtCfeX7Qhx8NNl/KVTPbSmPinm/Z15xBnCvLFQYCg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:42:19.455028Z","signed_message":"canonical_sha256_bytes"},"source_id":"1706.04641","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:15c231defebc0cce7b0058509180d7580f8f2fa26a0fcebc09dd9554ca52c74f","sha256:77f8b52a4aaeb404f42f6a908643c9fdb20c91ea6f6ec3d4d1b29a484b76b747"],"state_sha256":"32f98d5461fbfc5dabb3235e0105731cb18c66b74873d407718bfad7da2d40e2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tmqrKMN6uhRUFDdICjz3TTUiKTVop0M9q69wcgimLIDM6YILkSa7tWAJ51Pviaj8qFRkGpgE12L1kc4uGAsDBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T22:59:53.095184Z","bundle_sha256":"82d35106f74edc0e9e430edcee0943437e72e2abe5f60ea4d2ca91ee07549a8c"}}