{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:F623PRW4B34BBYTO2TD26LJV6N","short_pith_number":"pith:F623PRW4","canonical_record":{"source":{"id":"1806.01143","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2018-06-04T14:21:21Z","cross_cats_sorted":[],"title_canon_sha256":"d1877e970f8113e14b8407948a7e846f7ab59381923743ad35e56e7b5e7b7647","abstract_canon_sha256":"46184160376fe2a4aa662d85601612d95c35c9466999d8a8249b4c99fe08c8e5"},"schema_version":"1.0"},"canonical_sha256":"2fb5b7c6dc0ef810e26ed4c7af2d35f357db51a781da56fc578842fb9f2a63a4","source":{"kind":"arxiv","id":"1806.01143","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1806.01143","created_at":"2026-05-18T00:07:23Z"},{"alias_kind":"arxiv_version","alias_value":"1806.01143v2","created_at":"2026-05-18T00:07:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1806.01143","created_at":"2026-05-18T00:07:23Z"},{"alias_kind":"pith_short_12","alias_value":"F623PRW4B34B","created_at":"2026-05-18T12:32:22Z"},{"alias_kind":"pith_short_16","alias_value":"F623PRW4B34BBYTO","created_at":"2026-05-18T12:32:22Z"},{"alias_kind":"pith_short_8","alias_value":"F623PRW4","created_at":"2026-05-18T12:32:22Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:F623PRW4B34BBYTO2TD26LJV6N","target":"record","payload":{"canonical_record":{"source":{"id":"1806.01143","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2018-06-04T14:21:21Z","cross_cats_sorted":[],"title_canon_sha256":"d1877e970f8113e14b8407948a7e846f7ab59381923743ad35e56e7b5e7b7647","abstract_canon_sha256":"46184160376fe2a4aa662d85601612d95c35c9466999d8a8249b4c99fe08c8e5"},"schema_version":"1.0"},"canonical_sha256":"2fb5b7c6dc0ef810e26ed4c7af2d35f357db51a781da56fc578842fb9f2a63a4","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:07:23.414818Z","signature_b64":"ARO9Q9n2FNPWT9+KPvjCmEydrjiJkfwN6Ip9R91zjrUiKhan2zPbXXHpnYrtiDi63wL39ubNWDSHkPwzzFttCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2fb5b7c6dc0ef810e26ed4c7af2d35f357db51a781da56fc578842fb9f2a63a4","last_reissued_at":"2026-05-18T00:07:23.414376Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:07:23.414376Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1806.01143","source_version":2,"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-18T00:07:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oGbuZPqlh4lCHdqhdX6VdpShHcezmt2JjAXR6XwEV8Plfx4m+OcQr4U58D7wi3M0rBK1k7AOMTqzgHLbnytoCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T21:09:20.634444Z"},"content_sha256":"08afc0b6e52457d2833db0662cc592b3e07449bba490ed14ded406e999cf1204","schema_version":"1.0","event_id":"sha256:08afc0b6e52457d2833db0662cc592b3e07449bba490ed14ded406e999cf1204"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:F623PRW4B34BBYTO2TD26LJV6N","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Securify: Practical Security Analysis of Smart Contracts","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Andrei Dan, Arthur Gervais, Dana Drachsler Cohen, Florian Buenzli, Martin Vechev, Petar Tsankov","submitted_at":"2018-06-04T14:21:21Z","abstract_excerpt":"Permissionless blockchains allow the execution of arbitrary programs (called smart contracts), enabling mutually untrusted entities to interact without relying on trusted third parties. Despite their potential, repeated security concerns have shaken the trust in handling billions of USD by smart contracts.\n  To address this problem, we present Securify, a security analyzer for Ethereum smart contracts that is scalable, fully automated, and able to prove contract behaviors as safe/unsafe with respect to a given property. Securify's analysis consists of two steps. First, it symbolically analyzes"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1806.01143","kind":"arxiv","version":2},"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-18T00:07:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DHSh/S8mM8tQogTjGqBwnUKz4hQ5/FO3oLdd4qs9hGuaaFIFh4NFe7Y4PuQvIwVVTO3qLlu6RoUrtgwhnly/AQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T21:09:20.635255Z"},"content_sha256":"3afed3171bca82fc7b95f0debb5a345193bb32bedcd14840047376e59ddca2f9","schema_version":"1.0","event_id":"sha256:3afed3171bca82fc7b95f0debb5a345193bb32bedcd14840047376e59ddca2f9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/F623PRW4B34BBYTO2TD26LJV6N/bundle.json","state_url":"https://pith.science/pith/F623PRW4B34BBYTO2TD26LJV6N/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/F623PRW4B34BBYTO2TD26LJV6N/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-07T21:09:20Z","links":{"resolver":"https://pith.science/pith/F623PRW4B34BBYTO2TD26LJV6N","bundle":"https://pith.science/pith/F623PRW4B34BBYTO2TD26LJV6N/bundle.json","state":"https://pith.science/pith/F623PRW4B34BBYTO2TD26LJV6N/state.json","well_known_bundle":"https://pith.science/.well-known/pith/F623PRW4B34BBYTO2TD26LJV6N/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:F623PRW4B34BBYTO2TD26LJV6N","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":"46184160376fe2a4aa662d85601612d95c35c9466999d8a8249b4c99fe08c8e5","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2018-06-04T14:21:21Z","title_canon_sha256":"d1877e970f8113e14b8407948a7e846f7ab59381923743ad35e56e7b5e7b7647"},"schema_version":"1.0","source":{"id":"1806.01143","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1806.01143","created_at":"2026-05-18T00:07:23Z"},{"alias_kind":"arxiv_version","alias_value":"1806.01143v2","created_at":"2026-05-18T00:07:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1806.01143","created_at":"2026-05-18T00:07:23Z"},{"alias_kind":"pith_short_12","alias_value":"F623PRW4B34B","created_at":"2026-05-18T12:32:22Z"},{"alias_kind":"pith_short_16","alias_value":"F623PRW4B34BBYTO","created_at":"2026-05-18T12:32:22Z"},{"alias_kind":"pith_short_8","alias_value":"F623PRW4","created_at":"2026-05-18T12:32:22Z"}],"graph_snapshots":[{"event_id":"sha256:3afed3171bca82fc7b95f0debb5a345193bb32bedcd14840047376e59ddca2f9","target":"graph","created_at":"2026-05-18T00:07:23Z","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":"Permissionless blockchains allow the execution of arbitrary programs (called smart contracts), enabling mutually untrusted entities to interact without relying on trusted third parties. Despite their potential, repeated security concerns have shaken the trust in handling billions of USD by smart contracts.\n  To address this problem, we present Securify, a security analyzer for Ethereum smart contracts that is scalable, fully automated, and able to prove contract behaviors as safe/unsafe with respect to a given property. Securify's analysis consists of two steps. First, it symbolically analyzes","authors_text":"Andrei Dan, Arthur Gervais, Dana Drachsler Cohen, Florian Buenzli, Martin Vechev, Petar Tsankov","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2018-06-04T14:21:21Z","title":"Securify: Practical Security Analysis of Smart Contracts"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1806.01143","kind":"arxiv","version":2},"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:08afc0b6e52457d2833db0662cc592b3e07449bba490ed14ded406e999cf1204","target":"record","created_at":"2026-05-18T00:07:23Z","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":"46184160376fe2a4aa662d85601612d95c35c9466999d8a8249b4c99fe08c8e5","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2018-06-04T14:21:21Z","title_canon_sha256":"d1877e970f8113e14b8407948a7e846f7ab59381923743ad35e56e7b5e7b7647"},"schema_version":"1.0","source":{"id":"1806.01143","kind":"arxiv","version":2}},"canonical_sha256":"2fb5b7c6dc0ef810e26ed4c7af2d35f357db51a781da56fc578842fb9f2a63a4","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2fb5b7c6dc0ef810e26ed4c7af2d35f357db51a781da56fc578842fb9f2a63a4","first_computed_at":"2026-05-18T00:07:23.414376Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:07:23.414376Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ARO9Q9n2FNPWT9+KPvjCmEydrjiJkfwN6Ip9R91zjrUiKhan2zPbXXHpnYrtiDi63wL39ubNWDSHkPwzzFttCg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:07:23.414818Z","signed_message":"canonical_sha256_bytes"},"source_id":"1806.01143","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:08afc0b6e52457d2833db0662cc592b3e07449bba490ed14ded406e999cf1204","sha256:3afed3171bca82fc7b95f0debb5a345193bb32bedcd14840047376e59ddca2f9"],"state_sha256":"57b5863bc74f8f62e448fbbf7cf20bbe98d76e0ec1a2519dea9a717d48c0e435"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mHlOdGGhuCihuqeXecNkf/vI0ktEVq+fki6kOK22EvNwvPdosjvXEdOQRi0X7UYobIa27E/BExA42wkdUKf8DQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-07T21:09:20.639676Z","bundle_sha256":"5697a7a9f787580f4f41f99d5770d880195daf3d0514470ef9f285952c60fe11"}}