{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:A3FAKRAIN4AVQFSDU6V5FERD5J","short_pith_number":"pith:A3FAKRAI","canonical_record":{"source":{"id":"2305.14046","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2023-05-23T13:16:42Z","cross_cats_sorted":[],"title_canon_sha256":"10af2ed3693b989a23d9bca278aa9fa3d45a44c9a4212f3a78385ed4ddcafe6a","abstract_canon_sha256":"eb63e412c14c9f872c873e894f0c304087d912fbe03d4ca25c1c4387cda55368"},"schema_version":"1.0"},"canonical_sha256":"06ca0544086f01581643a7abd29223ea75daea4bdcfcaa0a4c8aba10f0c0ffbf","source":{"kind":"arxiv","id":"2305.14046","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2305.14046","created_at":"2026-07-05T10:48:12Z"},{"alias_kind":"arxiv_version","alias_value":"2305.14046v3","created_at":"2026-07-05T10:48:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2305.14046","created_at":"2026-07-05T10:48:12Z"},{"alias_kind":"pith_short_12","alias_value":"A3FAKRAIN4AV","created_at":"2026-07-05T10:48:12Z"},{"alias_kind":"pith_short_16","alias_value":"A3FAKRAIN4AVQFSD","created_at":"2026-07-05T10:48:12Z"},{"alias_kind":"pith_short_8","alias_value":"A3FAKRAI","created_at":"2026-07-05T10:48:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:A3FAKRAIN4AVQFSDU6V5FERD5J","target":"record","payload":{"canonical_record":{"source":{"id":"2305.14046","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2023-05-23T13:16:42Z","cross_cats_sorted":[],"title_canon_sha256":"10af2ed3693b989a23d9bca278aa9fa3d45a44c9a4212f3a78385ed4ddcafe6a","abstract_canon_sha256":"eb63e412c14c9f872c873e894f0c304087d912fbe03d4ca25c1c4387cda55368"},"schema_version":"1.0"},"canonical_sha256":"06ca0544086f01581643a7abd29223ea75daea4bdcfcaa0a4c8aba10f0c0ffbf","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:48:12.087449Z","signature_b64":"GzsrRfyqfcEyjRCC9RNT0Kcrtjxy5X916TOyjrKyJgy8l1U8TkjyVyNKQbh0SAB3KQJsDoCWuZ1bwoiE55z4AA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"06ca0544086f01581643a7abd29223ea75daea4bdcfcaa0a4c8aba10f0c0ffbf","last_reissued_at":"2026-07-05T10:48:12.087003Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:48:12.087003Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2305.14046","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-05T10:48:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oYLu+D9zUPRQq/aw5ckeR48cA17Th71pdAR0BA8xfw/wMZyciJvtExfolLsFmOPf0GSTq0hxAiZGGLeq4NoWBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T15:52:54.217384Z"},"content_sha256":"010bb670df2ca1def5879606e93f8ca0dd038d4b2d392f72ab539f3855b6bafd","schema_version":"1.0","event_id":"sha256:010bb670df2ca1def5879606e93f8ca0dd038d4b2d392f72ab539f3855b6bafd"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:A3FAKRAIN4AVQFSDU6V5FERD5J","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Enhancing Smart Contract Security Analysis with Execution Property Graphs","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Arthur Gervais, Chao Zhang, Dawn Song, Kaihua Qin, Liyi Zhou, Weilin Li, Zhe Ye, Zhun Wang","submitted_at":"2023-05-23T13:16:42Z","abstract_excerpt":"Smart contract vulnerabilities have led to significant financial losses, with their increasing complexity rendering outright prevention of hacks increasingly challenging. This trend highlights the crucial need for advanced forensic analysis and real-time intrusion detection, where dynamic analysis plays a key role in dissecting smart contract executions. Therefore, there is a pressing need for a unified and generic representation of smart contract executions, complemented by an efficient methodology that enables the modeling and identification of a broad spectrum of emerging attacks.\n  We intr"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2305.14046","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/2305.14046/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-05T10:48:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"s++iHIpGJlLWakaMQ5XeyHeFS7eeIla1Ki5mlxXcVh+0sA0Bb4U8SREoFS3mEEjXScNw26iUBvvYFTVCVDyPCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T15:52:54.217760Z"},"content_sha256":"799fe9ee21adc254b8438647c83f6675579dae915375c9b4a798a531e30a3bcb","schema_version":"1.0","event_id":"sha256:799fe9ee21adc254b8438647c83f6675579dae915375c9b4a798a531e30a3bcb"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/A3FAKRAIN4AVQFSDU6V5FERD5J/bundle.json","state_url":"https://pith.science/pith/A3FAKRAIN4AVQFSDU6V5FERD5J/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/A3FAKRAIN4AVQFSDU6V5FERD5J/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-07-07T15:52:54Z","links":{"resolver":"https://pith.science/pith/A3FAKRAIN4AVQFSDU6V5FERD5J","bundle":"https://pith.science/pith/A3FAKRAIN4AVQFSDU6V5FERD5J/bundle.json","state":"https://pith.science/pith/A3FAKRAIN4AVQFSDU6V5FERD5J/state.json","well_known_bundle":"https://pith.science/.well-known/pith/A3FAKRAIN4AVQFSDU6V5FERD5J/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:A3FAKRAIN4AVQFSDU6V5FERD5J","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":"eb63e412c14c9f872c873e894f0c304087d912fbe03d4ca25c1c4387cda55368","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2023-05-23T13:16:42Z","title_canon_sha256":"10af2ed3693b989a23d9bca278aa9fa3d45a44c9a4212f3a78385ed4ddcafe6a"},"schema_version":"1.0","source":{"id":"2305.14046","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2305.14046","created_at":"2026-07-05T10:48:12Z"},{"alias_kind":"arxiv_version","alias_value":"2305.14046v3","created_at":"2026-07-05T10:48:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2305.14046","created_at":"2026-07-05T10:48:12Z"},{"alias_kind":"pith_short_12","alias_value":"A3FAKRAIN4AV","created_at":"2026-07-05T10:48:12Z"},{"alias_kind":"pith_short_16","alias_value":"A3FAKRAIN4AVQFSD","created_at":"2026-07-05T10:48:12Z"},{"alias_kind":"pith_short_8","alias_value":"A3FAKRAI","created_at":"2026-07-05T10:48:12Z"}],"graph_snapshots":[{"event_id":"sha256:799fe9ee21adc254b8438647c83f6675579dae915375c9b4a798a531e30a3bcb","target":"graph","created_at":"2026-07-05T10:48:12Z","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/2305.14046/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Smart contract vulnerabilities have led to significant financial losses, with their increasing complexity rendering outright prevention of hacks increasingly challenging. This trend highlights the crucial need for advanced forensic analysis and real-time intrusion detection, where dynamic analysis plays a key role in dissecting smart contract executions. Therefore, there is a pressing need for a unified and generic representation of smart contract executions, complemented by an efficient methodology that enables the modeling and identification of a broad spectrum of emerging attacks.\n  We intr","authors_text":"Arthur Gervais, Chao Zhang, Dawn Song, Kaihua Qin, Liyi Zhou, Weilin Li, Zhe Ye, Zhun Wang","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2023-05-23T13:16:42Z","title":"Enhancing Smart Contract Security Analysis with Execution Property Graphs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2305.14046","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:010bb670df2ca1def5879606e93f8ca0dd038d4b2d392f72ab539f3855b6bafd","target":"record","created_at":"2026-07-05T10:48:12Z","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":"eb63e412c14c9f872c873e894f0c304087d912fbe03d4ca25c1c4387cda55368","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2023-05-23T13:16:42Z","title_canon_sha256":"10af2ed3693b989a23d9bca278aa9fa3d45a44c9a4212f3a78385ed4ddcafe6a"},"schema_version":"1.0","source":{"id":"2305.14046","kind":"arxiv","version":3}},"canonical_sha256":"06ca0544086f01581643a7abd29223ea75daea4bdcfcaa0a4c8aba10f0c0ffbf","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"06ca0544086f01581643a7abd29223ea75daea4bdcfcaa0a4c8aba10f0c0ffbf","first_computed_at":"2026-07-05T10:48:12.087003Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:48:12.087003Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"GzsrRfyqfcEyjRCC9RNT0Kcrtjxy5X916TOyjrKyJgy8l1U8TkjyVyNKQbh0SAB3KQJsDoCWuZ1bwoiE55z4AA==","signature_status":"signed_v1","signed_at":"2026-07-05T10:48:12.087449Z","signed_message":"canonical_sha256_bytes"},"source_id":"2305.14046","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:010bb670df2ca1def5879606e93f8ca0dd038d4b2d392f72ab539f3855b6bafd","sha256:799fe9ee21adc254b8438647c83f6675579dae915375c9b4a798a531e30a3bcb"],"state_sha256":"476d1fa716c53230902cda5dbe027ac474eea6964665ad9f705efddd99dbf05d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6BAHhkSzLABclIIIShH77ykzLiT5M3pavkxXDpin7ryrq7WVSxPbxmxZ+R23CBR3YK/bl0cHwTbvhx31QHGhDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-07T15:52:54.219765Z","bundle_sha256":"e70f16f611fc97225c4fdac2e2d1cebbbfea343982df4273c7ed272a0ca27908"}}