{"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"}