{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:2XFKYXUAUZF6VGPIPQHCC5GBVH","short_pith_number":"pith:2XFKYXUA","canonical_record":{"source":{"id":"2304.06341","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2023-04-13T08:44:30Z","cross_cats_sorted":[],"title_canon_sha256":"939ba98ff9fca2d7a2612121b7c5fa3e8ac4c3d1b6b7ae084f9166c7662ff6d9","abstract_canon_sha256":"28d3eb54062b4ff301659e03b79209e9f8287615276402d6a9e00ee628ad00b6"},"schema_version":"1.0"},"canonical_sha256":"d5caac5e80a64bea99e87c0e2174c1a9c14059b2b73090d62f69602d3365477b","source":{"kind":"arxiv","id":"2304.06341","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2304.06341","created_at":"2026-07-05T06:00:42Z"},{"alias_kind":"arxiv_version","alias_value":"2304.06341v1","created_at":"2026-07-05T06:00:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2304.06341","created_at":"2026-07-05T06:00:42Z"},{"alias_kind":"pith_short_12","alias_value":"2XFKYXUAUZF6","created_at":"2026-07-05T06:00:42Z"},{"alias_kind":"pith_short_16","alias_value":"2XFKYXUAUZF6VGPI","created_at":"2026-07-05T06:00:42Z"},{"alias_kind":"pith_short_8","alias_value":"2XFKYXUA","created_at":"2026-07-05T06:00:42Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:2XFKYXUAUZF6VGPIPQHCC5GBVH","target":"record","payload":{"canonical_record":{"source":{"id":"2304.06341","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2023-04-13T08:44:30Z","cross_cats_sorted":[],"title_canon_sha256":"939ba98ff9fca2d7a2612121b7c5fa3e8ac4c3d1b6b7ae084f9166c7662ff6d9","abstract_canon_sha256":"28d3eb54062b4ff301659e03b79209e9f8287615276402d6a9e00ee628ad00b6"},"schema_version":"1.0"},"canonical_sha256":"d5caac5e80a64bea99e87c0e2174c1a9c14059b2b73090d62f69602d3365477b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:00:42.297114Z","signature_b64":"KLp7VTMYRkF1VZF/c/FJskMf1TkfJIhOHQCVNPyDcWU9Pe9NlHpfM4PG8/TfWSbvaq0Vz+5YFwhlhSKeEQcCAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d5caac5e80a64bea99e87c0e2174c1a9c14059b2b73090d62f69602d3365477b","last_reissued_at":"2026-07-05T06:00:42.296661Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:00:42.296661Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2304.06341","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-07-05T06:00:42Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2eiEJZHGC9/qU/l7k4MkxcKUnNj6IVb0j7S8VhiqchY3WLS4LY+/0I05WTVBkEkL6xHzJAeXxDRHn0P9fJ8/AQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-14T09:31:50.946693Z"},"content_sha256":"d40c656e54403f11fd48b718638df728cbdc9f1b0ed3d60201cf766c71bf84ef","schema_version":"1.0","event_id":"sha256:d40c656e54403f11fd48b718638df728cbdc9f1b0ed3d60201cf766c71bf84ef"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:2XFKYXUAUZF6VGPIPQHCC5GBVH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"EF/CF: High Performance Smart Contract Fuzzing for Exploit Generation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"David Paa{\\ss}en, Ghassan Karame, Lucas Davi, Lukas Bernhard, Michael Rodler, Thorsten Holz, Wenting Li","submitted_at":"2023-04-13T08:44:30Z","abstract_excerpt":"Smart contracts are increasingly being used to manage large numbers of high-value cryptocurrency accounts. There is a strong demand for automated, efficient, and comprehensive methods to detect security vulnerabilities in a given contract. While the literature features a plethora of analysis methods for smart contracts, the existing proposals do not address the increasing complexity of contracts. Existing analysis tools suffer from false alarms and missed bugs in today's smart contracts that are increasingly defined by complexity and interdependencies. To scale accurate analysis to modern smar"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2304.06341","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2304.06341/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:00:42Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"M02lKk9xeXSwVUzDRT7sPFpIL6ncbR5uNqK5u8zQGajFVms1W8UaQt/1Lnn5qc2c2eg7t/91sPNjGUlRK6qhBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-14T09:31:50.947040Z"},"content_sha256":"4186832012eb2cc6c98e0a5f9506c2debdf1568b26a02f6629bda4548ce1b0d4","schema_version":"1.0","event_id":"sha256:4186832012eb2cc6c98e0a5f9506c2debdf1568b26a02f6629bda4548ce1b0d4"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/2XFKYXUAUZF6VGPIPQHCC5GBVH/bundle.json","state_url":"https://pith.science/pith/2XFKYXUAUZF6VGPIPQHCC5GBVH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/2XFKYXUAUZF6VGPIPQHCC5GBVH/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-14T09:31:50Z","links":{"resolver":"https://pith.science/pith/2XFKYXUAUZF6VGPIPQHCC5GBVH","bundle":"https://pith.science/pith/2XFKYXUAUZF6VGPIPQHCC5GBVH/bundle.json","state":"https://pith.science/pith/2XFKYXUAUZF6VGPIPQHCC5GBVH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/2XFKYXUAUZF6VGPIPQHCC5GBVH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:2XFKYXUAUZF6VGPIPQHCC5GBVH","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":"28d3eb54062b4ff301659e03b79209e9f8287615276402d6a9e00ee628ad00b6","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2023-04-13T08:44:30Z","title_canon_sha256":"939ba98ff9fca2d7a2612121b7c5fa3e8ac4c3d1b6b7ae084f9166c7662ff6d9"},"schema_version":"1.0","source":{"id":"2304.06341","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2304.06341","created_at":"2026-07-05T06:00:42Z"},{"alias_kind":"arxiv_version","alias_value":"2304.06341v1","created_at":"2026-07-05T06:00:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2304.06341","created_at":"2026-07-05T06:00:42Z"},{"alias_kind":"pith_short_12","alias_value":"2XFKYXUAUZF6","created_at":"2026-07-05T06:00:42Z"},{"alias_kind":"pith_short_16","alias_value":"2XFKYXUAUZF6VGPI","created_at":"2026-07-05T06:00:42Z"},{"alias_kind":"pith_short_8","alias_value":"2XFKYXUA","created_at":"2026-07-05T06:00:42Z"}],"graph_snapshots":[{"event_id":"sha256:4186832012eb2cc6c98e0a5f9506c2debdf1568b26a02f6629bda4548ce1b0d4","target":"graph","created_at":"2026-07-05T06:00:42Z","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/2304.06341/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Smart contracts are increasingly being used to manage large numbers of high-value cryptocurrency accounts. There is a strong demand for automated, efficient, and comprehensive methods to detect security vulnerabilities in a given contract. While the literature features a plethora of analysis methods for smart contracts, the existing proposals do not address the increasing complexity of contracts. Existing analysis tools suffer from false alarms and missed bugs in today's smart contracts that are increasingly defined by complexity and interdependencies. To scale accurate analysis to modern smar","authors_text":"David Paa{\\ss}en, Ghassan Karame, Lucas Davi, Lukas Bernhard, Michael Rodler, Thorsten Holz, Wenting Li","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2023-04-13T08:44:30Z","title":"EF/CF: High Performance Smart Contract Fuzzing for Exploit Generation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2304.06341","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:d40c656e54403f11fd48b718638df728cbdc9f1b0ed3d60201cf766c71bf84ef","target":"record","created_at":"2026-07-05T06:00:42Z","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":"28d3eb54062b4ff301659e03b79209e9f8287615276402d6a9e00ee628ad00b6","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2023-04-13T08:44:30Z","title_canon_sha256":"939ba98ff9fca2d7a2612121b7c5fa3e8ac4c3d1b6b7ae084f9166c7662ff6d9"},"schema_version":"1.0","source":{"id":"2304.06341","kind":"arxiv","version":1}},"canonical_sha256":"d5caac5e80a64bea99e87c0e2174c1a9c14059b2b73090d62f69602d3365477b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d5caac5e80a64bea99e87c0e2174c1a9c14059b2b73090d62f69602d3365477b","first_computed_at":"2026-07-05T06:00:42.296661Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:00:42.296661Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"KLp7VTMYRkF1VZF/c/FJskMf1TkfJIhOHQCVNPyDcWU9Pe9NlHpfM4PG8/TfWSbvaq0Vz+5YFwhlhSKeEQcCAA==","signature_status":"signed_v1","signed_at":"2026-07-05T06:00:42.297114Z","signed_message":"canonical_sha256_bytes"},"source_id":"2304.06341","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d40c656e54403f11fd48b718638df728cbdc9f1b0ed3d60201cf766c71bf84ef","sha256:4186832012eb2cc6c98e0a5f9506c2debdf1568b26a02f6629bda4548ce1b0d4"],"state_sha256":"b16cc6fbe2eea0e9be0336f35c62fedbcc455dd8ac75ec2d8cf4c3a5aad57dc0"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GiE7q1S6pw2uxHa7R/aSh848hitWAy/GqnqvOR/PhHaYERdVX5Z6XspRAKWyQ+RO9wJo01637WeezY5xwb8HCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-14T09:31:50.950313Z","bundle_sha256":"7b92f43ee8dc84663afc86fb0f60c0a4a75690631a7c32500725cf0cd47bd023"}}