{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:E6UCPJSWJK4BYBBY2GSPZWRBND","short_pith_number":"pith:E6UCPJSW","canonical_record":{"source":{"id":"1410.3735","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2014-10-14T15:34:39Z","cross_cats_sorted":["cs.CR"],"title_canon_sha256":"7573a8e8070cff3d63bd6084db4a136ed4f93720c33d58d35659313d51665ef7","abstract_canon_sha256":"d85a81fa61069f05bb150ebb995697b60c82025da4cad9b0e33ee1259a080f19"},"schema_version":"1.0"},"canonical_sha256":"27a827a6564ab81c0438d1a4fcda2168d2eb99dc9b580fa01ec52ed2f52eb2fe","source":{"kind":"arxiv","id":"1410.3735","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1410.3735","created_at":"2026-05-18T02:40:04Z"},{"alias_kind":"arxiv_version","alias_value":"1410.3735v1","created_at":"2026-05-18T02:40:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1410.3735","created_at":"2026-05-18T02:40:04Z"},{"alias_kind":"pith_short_12","alias_value":"E6UCPJSWJK4B","created_at":"2026-05-18T12:28:25Z"},{"alias_kind":"pith_short_16","alias_value":"E6UCPJSWJK4BYBBY","created_at":"2026-05-18T12:28:25Z"},{"alias_kind":"pith_short_8","alias_value":"E6UCPJSW","created_at":"2026-05-18T12:28:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:E6UCPJSWJK4BYBBY2GSPZWRBND","target":"record","payload":{"canonical_record":{"source":{"id":"1410.3735","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2014-10-14T15:34:39Z","cross_cats_sorted":["cs.CR"],"title_canon_sha256":"7573a8e8070cff3d63bd6084db4a136ed4f93720c33d58d35659313d51665ef7","abstract_canon_sha256":"d85a81fa61069f05bb150ebb995697b60c82025da4cad9b0e33ee1259a080f19"},"schema_version":"1.0"},"canonical_sha256":"27a827a6564ab81c0438d1a4fcda2168d2eb99dc9b580fa01ec52ed2f52eb2fe","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:40:04.360059Z","signature_b64":"3ATKkNJveeKWIJJ1L1Rl8qedItZKrT2YztPV+lHgCm5hgad+HS6DuwpbvArB57WBtEBWBS/p3HJtDNr6nfzXCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"27a827a6564ab81c0438d1a4fcda2168d2eb99dc9b580fa01ec52ed2f52eb2fe","last_reissued_at":"2026-05-18T02:40:04.359620Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:40:04.359620Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1410.3735","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-18T02:40:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Xmt2FgZtOYYCt9o+tjHXAV3fKspKon08Diz+mrx0zpazxZQGqu10ETB9ca2je/OR71V3irt1AOUkBTSpjS8FCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T21:37:58.036332Z"},"content_sha256":"9011ed300a330a26aceb64df882d58f4b0fb1beac5f1cdcbb1461d589eb76300","schema_version":"1.0","event_id":"sha256:9011ed300a330a26aceb64df882d58f4b0fb1beac5f1cdcbb1461d589eb76300"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:E6UCPJSWJK4BYBBY2GSPZWRBND","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The Foundational Cryptography Framework","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CR"],"primary_cat":"cs.PL","authors_text":"Adam Petcher, Greg Morrisett","submitted_at":"2014-10-14T15:34:39Z","abstract_excerpt":"We present the Foundational Cryptography Framework (FCF) for developing and checking complete proofs of security for cryptographic schemes within a proof assistant. This is a general-purpose framework that is capable of modeling and reasoning about a wide range of cryptographic schemes, security definitions, and assumptions. Security is proven in the computational model, and the proof provides concrete bounds as well as asymptotic conclusions. FCF provides a language for probabilistic programs, a theory that is used to reason about programs, and a library of tactics and definitions that are us"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1410.3735","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-18T02:40:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jouWgZ8+W8ZORTJjJTgw7MulagFj2rD94eVy0pc5oAOco14izMBWqFFYDRD1ZICxq1No4RPtjHNMe1jqycLCDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T21:37:58.036698Z"},"content_sha256":"1fa3f3b56468518246d2389361aefa5725224995e1166a9edbf68b4364529b1c","schema_version":"1.0","event_id":"sha256:1fa3f3b56468518246d2389361aefa5725224995e1166a9edbf68b4364529b1c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/E6UCPJSWJK4BYBBY2GSPZWRBND/bundle.json","state_url":"https://pith.science/pith/E6UCPJSWJK4BYBBY2GSPZWRBND/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/E6UCPJSWJK4BYBBY2GSPZWRBND/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-02T21:37:58Z","links":{"resolver":"https://pith.science/pith/E6UCPJSWJK4BYBBY2GSPZWRBND","bundle":"https://pith.science/pith/E6UCPJSWJK4BYBBY2GSPZWRBND/bundle.json","state":"https://pith.science/pith/E6UCPJSWJK4BYBBY2GSPZWRBND/state.json","well_known_bundle":"https://pith.science/.well-known/pith/E6UCPJSWJK4BYBBY2GSPZWRBND/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:E6UCPJSWJK4BYBBY2GSPZWRBND","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":"d85a81fa61069f05bb150ebb995697b60c82025da4cad9b0e33ee1259a080f19","cross_cats_sorted":["cs.CR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2014-10-14T15:34:39Z","title_canon_sha256":"7573a8e8070cff3d63bd6084db4a136ed4f93720c33d58d35659313d51665ef7"},"schema_version":"1.0","source":{"id":"1410.3735","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1410.3735","created_at":"2026-05-18T02:40:04Z"},{"alias_kind":"arxiv_version","alias_value":"1410.3735v1","created_at":"2026-05-18T02:40:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1410.3735","created_at":"2026-05-18T02:40:04Z"},{"alias_kind":"pith_short_12","alias_value":"E6UCPJSWJK4B","created_at":"2026-05-18T12:28:25Z"},{"alias_kind":"pith_short_16","alias_value":"E6UCPJSWJK4BYBBY","created_at":"2026-05-18T12:28:25Z"},{"alias_kind":"pith_short_8","alias_value":"E6UCPJSW","created_at":"2026-05-18T12:28:25Z"}],"graph_snapshots":[{"event_id":"sha256:1fa3f3b56468518246d2389361aefa5725224995e1166a9edbf68b4364529b1c","target":"graph","created_at":"2026-05-18T02:40:04Z","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 present the Foundational Cryptography Framework (FCF) for developing and checking complete proofs of security for cryptographic schemes within a proof assistant. This is a general-purpose framework that is capable of modeling and reasoning about a wide range of cryptographic schemes, security definitions, and assumptions. Security is proven in the computational model, and the proof provides concrete bounds as well as asymptotic conclusions. FCF provides a language for probabilistic programs, a theory that is used to reason about programs, and a library of tactics and definitions that are us","authors_text":"Adam Petcher, Greg Morrisett","cross_cats":["cs.CR"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2014-10-14T15:34:39Z","title":"The Foundational Cryptography Framework"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1410.3735","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:9011ed300a330a26aceb64df882d58f4b0fb1beac5f1cdcbb1461d589eb76300","target":"record","created_at":"2026-05-18T02:40:04Z","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":"d85a81fa61069f05bb150ebb995697b60c82025da4cad9b0e33ee1259a080f19","cross_cats_sorted":["cs.CR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2014-10-14T15:34:39Z","title_canon_sha256":"7573a8e8070cff3d63bd6084db4a136ed4f93720c33d58d35659313d51665ef7"},"schema_version":"1.0","source":{"id":"1410.3735","kind":"arxiv","version":1}},"canonical_sha256":"27a827a6564ab81c0438d1a4fcda2168d2eb99dc9b580fa01ec52ed2f52eb2fe","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"27a827a6564ab81c0438d1a4fcda2168d2eb99dc9b580fa01ec52ed2f52eb2fe","first_computed_at":"2026-05-18T02:40:04.359620Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:40:04.359620Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"3ATKkNJveeKWIJJ1L1Rl8qedItZKrT2YztPV+lHgCm5hgad+HS6DuwpbvArB57WBtEBWBS/p3HJtDNr6nfzXCA==","signature_status":"signed_v1","signed_at":"2026-05-18T02:40:04.360059Z","signed_message":"canonical_sha256_bytes"},"source_id":"1410.3735","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9011ed300a330a26aceb64df882d58f4b0fb1beac5f1cdcbb1461d589eb76300","sha256:1fa3f3b56468518246d2389361aefa5725224995e1166a9edbf68b4364529b1c"],"state_sha256":"55c25849af58217bdefcc07742e39765ab15aa887fa8be0410ee4eaa344111bb"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"U+L4RJwBAoz4EH2wleAmdcs6I11NuRw3vg8QwzFu0qigU/6Doskrz11LJFSvPKJh2CUqYROsN3zq/IDawwM3Ag==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T21:37:58.038659Z","bundle_sha256":"b4104d4705864c04596012966f11ca64b8f56a1a6557221eb8c04ba89244765c"}}