{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:ESUA3PZSKUUGT6VZJ7DIBFGN22","short_pith_number":"pith:ESUA3PZS","canonical_record":{"source":{"id":"2211.10665","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2022-11-19T11:07:39Z","cross_cats_sorted":["cs.NE","cs.PL"],"title_canon_sha256":"16d57f69e188fc7002d75be775c48dceb732295de05cfc497232a374032fa9f2","abstract_canon_sha256":"f7b3616d59c387dc805e4cecf840b6fb2cab4bc4032997df5270a2dd13cdfe71"},"schema_version":"1.0"},"canonical_sha256":"24a80dbf32552869fab94fc68094cdd68c4b1080fdd84fa766df0655bd15de70","source":{"kind":"arxiv","id":"2211.10665","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2211.10665","created_at":"2026-07-05T06:11:58Z"},{"alias_kind":"arxiv_version","alias_value":"2211.10665v3","created_at":"2026-07-05T06:11:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2211.10665","created_at":"2026-07-05T06:11:58Z"},{"alias_kind":"pith_short_12","alias_value":"ESUA3PZSKUUG","created_at":"2026-07-05T06:11:58Z"},{"alias_kind":"pith_short_16","alias_value":"ESUA3PZSKUUGT6VZ","created_at":"2026-07-05T06:11:58Z"},{"alias_kind":"pith_short_8","alias_value":"ESUA3PZS","created_at":"2026-07-05T06:11:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:ESUA3PZSKUUGT6VZJ7DIBFGN22","target":"record","payload":{"canonical_record":{"source":{"id":"2211.10665","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2022-11-19T11:07:39Z","cross_cats_sorted":["cs.NE","cs.PL"],"title_canon_sha256":"16d57f69e188fc7002d75be775c48dceb732295de05cfc497232a374032fa9f2","abstract_canon_sha256":"f7b3616d59c387dc805e4cecf840b6fb2cab4bc4032997df5270a2dd13cdfe71"},"schema_version":"1.0"},"canonical_sha256":"24a80dbf32552869fab94fc68094cdd68c4b1080fdd84fa766df0655bd15de70","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:11:58.413327Z","signature_b64":"hYUiqzGwwRrzrElGzXQfBRuD2zlqYtPv4JIM6Phi+bUrD2QN5zkLgQlWqFNMIWzr6Tb2P6pbgFZEWE6xagczDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"24a80dbf32552869fab94fc68094cdd68c4b1080fdd84fa766df0655bd15de70","last_reissued_at":"2026-07-05T06:11:58.412869Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:11:58.412869Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2211.10665","source_version":3,"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-07-05T06:11:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jkgw1t1XhB0LKFPEE73fbZfMRqRQ19nJDMni3I5NTgSrrtc/8uWJpSQhoiB4XvhARLTJPf3awrb6NKVdqf8pDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T15:21:37.863428Z"},"content_sha256":"e78e38473f7a7385ba94a5f68d5de8fe240bbc1a0bc4973970efa6d4b3d7d176","schema_version":"1.0","event_id":"sha256:e78e38473f7a7385ba94a5f68d5de8fe240bbc1a0bc4973970efa6d4b3d7d176"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:ESUA3PZSKUUGT6VZJ7DIBFGN22","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives (full version)","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["cs.NE","cs.PL"],"primary_cat":"cs.CR","authors_text":"Adam Chlipala, Andres Erbsen, Chitchanok Chuengsatiansup, Chuyue Sun, Daniel Genkin, David Wu, Jason Gross, Joel Kuepper, Markus Wagner, Owen Conoly, Samuel Tian, Yuval Yarom","submitted_at":"2022-11-19T11:07:39Z","abstract_excerpt":"Most software domains rely on compilers to translate high-level code to multiple different machine languages, with performance not too much worse than what developers would have the patience to write directly in assembly language. However, cryptography has been an exception, where many performance-critical routines have been written directly in assembly (sometimes through metaprogramming layers). Some past work has shown how to do formal verification of that assembly, and other work has shown how to generate C code automatically along with formal proof, but with consequent performance penaltie"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2211.10665","kind":"arxiv","version":3},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2211.10665/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T06:11:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Z+GugVypJ3Kq8C7QJCOuXv2scMijzc4uOZxCkVgNZ0C8Vh2OoRnvX2vMeQTuCUmW194C7FeUA56FngAif1CdAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T15:21:37.864245Z"},"content_sha256":"e33d476073e439364ed6a10adbb0cecf6cda334781f468274649bed8e809643c","schema_version":"1.0","event_id":"sha256:e33d476073e439364ed6a10adbb0cecf6cda334781f468274649bed8e809643c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ESUA3PZSKUUGT6VZJ7DIBFGN22/bundle.json","state_url":"https://pith.science/pith/ESUA3PZSKUUGT6VZJ7DIBFGN22/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ESUA3PZSKUUGT6VZJ7DIBFGN22/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-08-09T15:21:37Z","links":{"resolver":"https://pith.science/pith/ESUA3PZSKUUGT6VZJ7DIBFGN22","bundle":"https://pith.science/pith/ESUA3PZSKUUGT6VZJ7DIBFGN22/bundle.json","state":"https://pith.science/pith/ESUA3PZSKUUGT6VZJ7DIBFGN22/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ESUA3PZSKUUGT6VZJ7DIBFGN22/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:ESUA3PZSKUUGT6VZJ7DIBFGN22","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":"f7b3616d59c387dc805e4cecf840b6fb2cab4bc4032997df5270a2dd13cdfe71","cross_cats_sorted":["cs.NE","cs.PL"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2022-11-19T11:07:39Z","title_canon_sha256":"16d57f69e188fc7002d75be775c48dceb732295de05cfc497232a374032fa9f2"},"schema_version":"1.0","source":{"id":"2211.10665","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2211.10665","created_at":"2026-07-05T06:11:58Z"},{"alias_kind":"arxiv_version","alias_value":"2211.10665v3","created_at":"2026-07-05T06:11:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2211.10665","created_at":"2026-07-05T06:11:58Z"},{"alias_kind":"pith_short_12","alias_value":"ESUA3PZSKUUG","created_at":"2026-07-05T06:11:58Z"},{"alias_kind":"pith_short_16","alias_value":"ESUA3PZSKUUGT6VZ","created_at":"2026-07-05T06:11:58Z"},{"alias_kind":"pith_short_8","alias_value":"ESUA3PZS","created_at":"2026-07-05T06:11:58Z"}],"graph_snapshots":[{"event_id":"sha256:e33d476073e439364ed6a10adbb0cecf6cda334781f468274649bed8e809643c","target":"graph","created_at":"2026-07-05T06:11:58Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2211.10665/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Most software domains rely on compilers to translate high-level code to multiple different machine languages, with performance not too much worse than what developers would have the patience to write directly in assembly language. However, cryptography has been an exception, where many performance-critical routines have been written directly in assembly (sometimes through metaprogramming layers). Some past work has shown how to do formal verification of that assembly, and other work has shown how to generate C code automatically along with formal proof, but with consequent performance penaltie","authors_text":"Adam Chlipala, Andres Erbsen, Chitchanok Chuengsatiansup, Chuyue Sun, Daniel Genkin, David Wu, Jason Gross, Joel Kuepper, Markus Wagner, Owen Conoly, Samuel Tian, Yuval Yarom","cross_cats":["cs.NE","cs.PL"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2022-11-19T11:07:39Z","title":"CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives (full version)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2211.10665","kind":"arxiv","version":3},"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:e78e38473f7a7385ba94a5f68d5de8fe240bbc1a0bc4973970efa6d4b3d7d176","target":"record","created_at":"2026-07-05T06:11:58Z","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":"f7b3616d59c387dc805e4cecf840b6fb2cab4bc4032997df5270a2dd13cdfe71","cross_cats_sorted":["cs.NE","cs.PL"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2022-11-19T11:07:39Z","title_canon_sha256":"16d57f69e188fc7002d75be775c48dceb732295de05cfc497232a374032fa9f2"},"schema_version":"1.0","source":{"id":"2211.10665","kind":"arxiv","version":3}},"canonical_sha256":"24a80dbf32552869fab94fc68094cdd68c4b1080fdd84fa766df0655bd15de70","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"24a80dbf32552869fab94fc68094cdd68c4b1080fdd84fa766df0655bd15de70","first_computed_at":"2026-07-05T06:11:58.412869Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:11:58.412869Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"hYUiqzGwwRrzrElGzXQfBRuD2zlqYtPv4JIM6Phi+bUrD2QN5zkLgQlWqFNMIWzr6Tb2P6pbgFZEWE6xagczDQ==","signature_status":"signed_v1","signed_at":"2026-07-05T06:11:58.413327Z","signed_message":"canonical_sha256_bytes"},"source_id":"2211.10665","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e78e38473f7a7385ba94a5f68d5de8fe240bbc1a0bc4973970efa6d4b3d7d176","sha256:e33d476073e439364ed6a10adbb0cecf6cda334781f468274649bed8e809643c"],"state_sha256":"96f52fcc7a08fe54a400d40fb30e71c4b6690d6a5dcc4393a73002c3467e2166"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8zpbLCGJn5fwKNc5SUb3HoCNCQALqzBDC+NOJdEH76B79di/rN52aK0mzB1xJtGTgkM2+vAYv+4B9a4LV8SLDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-09T15:21:37.871387Z","bundle_sha256":"47508a2db34cc797c904199fe1f5d486a9f5aa8dbacfb89b9cd55b3bfc3cb8e0"}}