{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:C25ZIVVYUVFRZKJ7KMBNKMVXBI","short_pith_number":"pith:C25ZIVVY","canonical_record":{"source":{"id":"2309.02391","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2023-09-05T17:00:42Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"91b917136889ea8db14b722f2a3a6f980d8991dc1c115354486d632da7826211","abstract_canon_sha256":"cbe15b5514549891b9f3aa6b26231e7a93274cb5978ab9123e6c4d0d2a558dca"},"schema_version":"1.0"},"canonical_sha256":"16bb9456b8a54b1ca93f5302d532b70a3046dbf98f03d47bd26b60c28f30bc0a","source":{"kind":"arxiv","id":"2309.02391","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2309.02391","created_at":"2026-07-05T06:48:12Z"},{"alias_kind":"arxiv_version","alias_value":"2309.02391v2","created_at":"2026-07-05T06:48:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2309.02391","created_at":"2026-07-05T06:48:12Z"},{"alias_kind":"pith_short_12","alias_value":"C25ZIVVYUVFR","created_at":"2026-07-05T06:48:12Z"},{"alias_kind":"pith_short_16","alias_value":"C25ZIVVYUVFRZKJ7","created_at":"2026-07-05T06:48:12Z"},{"alias_kind":"pith_short_8","alias_value":"C25ZIVVY","created_at":"2026-07-05T06:48:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:C25ZIVVYUVFRZKJ7KMBNKMVXBI","target":"record","payload":{"canonical_record":{"source":{"id":"2309.02391","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2023-09-05T17:00:42Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"91b917136889ea8db14b722f2a3a6f980d8991dc1c115354486d632da7826211","abstract_canon_sha256":"cbe15b5514549891b9f3aa6b26231e7a93274cb5978ab9123e6c4d0d2a558dca"},"schema_version":"1.0"},"canonical_sha256":"16bb9456b8a54b1ca93f5302d532b70a3046dbf98f03d47bd26b60c28f30bc0a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:48:12.213442Z","signature_b64":"r+E+TiYeGCCrETi7jWeKqPuaMdfYmy4dWXGDRZ/AAVQInHP5vXitU783ftwc3YaYSr/nNP1x8M3jmtQ8gY7NBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"16bb9456b8a54b1ca93f5302d532b70a3046dbf98f03d47bd26b60c28f30bc0a","last_reissued_at":"2026-07-05T06:48:12.212957Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:48:12.212957Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2309.02391","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-07-05T06: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":"pHtl+/XQamoV/xk4APKWi2YTbF9kRwyH09DUusMNAHrB+phZ3SsrubCOIipPxxyVTki6HxM8YmivINuOkZUVBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T22:09:10.584201Z"},"content_sha256":"86120821e4d7e95fed3c4e3205e3111a8c420d7d568960177392dfd7837f4f6e","schema_version":"1.0","event_id":"sha256:86120821e4d7e95fed3c4e3205e3111a8c420d7d568960177392dfd7837f4f6e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:C25ZIVVYUVFRZKJ7KMBNKMVXBI","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Empirical Review of Smart Contract and DeFi Security: Vulnerability Detection and Automated Repair","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.CR","authors_text":"Jianhai Chen, Lun Zhang, Ming Li, Peng Qian, Qinming He, Rui Cao, Wenqing Li, Yufeng Xu, Zhenguang Liu","submitted_at":"2023-09-05T17:00:42Z","abstract_excerpt":"Decentralized Finance (DeFi) is emerging as a peer-to-peer financial ecosystem, enabling participants to trade products on a permissionless blockchain. Built on blockchain and smart contracts, the DeFi ecosystem has experienced explosive growth in recent years. Unfortunately, smart contracts hold a massive amount of value, making them an attractive target for attacks. So far, attacks against smart contracts and DeFi protocols have resulted in billions of dollars in financial losses, severely threatening the security of the entire DeFi ecosystem. Researchers have proposed various security tools"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2309.02391","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2309.02391/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: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":"rWLjxin5ETPoVvcTgdK6ggo/uKuLXrH1yEpDScWnFXttyw2V9/uIVqKf5FgBWw63Flf3NY7ptRFEKzgO6WV5Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T22:09:10.584589Z"},"content_sha256":"a92694f1ba478e926848e36b7375d52bb9e9324c60430da53093b92d973cb29c","schema_version":"1.0","event_id":"sha256:a92694f1ba478e926848e36b7375d52bb9e9324c60430da53093b92d973cb29c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/C25ZIVVYUVFRZKJ7KMBNKMVXBI/bundle.json","state_url":"https://pith.science/pith/C25ZIVVYUVFRZKJ7KMBNKMVXBI/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/C25ZIVVYUVFRZKJ7KMBNKMVXBI/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-03T22:09:10Z","links":{"resolver":"https://pith.science/pith/C25ZIVVYUVFRZKJ7KMBNKMVXBI","bundle":"https://pith.science/pith/C25ZIVVYUVFRZKJ7KMBNKMVXBI/bundle.json","state":"https://pith.science/pith/C25ZIVVYUVFRZKJ7KMBNKMVXBI/state.json","well_known_bundle":"https://pith.science/.well-known/pith/C25ZIVVYUVFRZKJ7KMBNKMVXBI/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:C25ZIVVYUVFRZKJ7KMBNKMVXBI","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":"cbe15b5514549891b9f3aa6b26231e7a93274cb5978ab9123e6c4d0d2a558dca","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2023-09-05T17:00:42Z","title_canon_sha256":"91b917136889ea8db14b722f2a3a6f980d8991dc1c115354486d632da7826211"},"schema_version":"1.0","source":{"id":"2309.02391","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2309.02391","created_at":"2026-07-05T06:48:12Z"},{"alias_kind":"arxiv_version","alias_value":"2309.02391v2","created_at":"2026-07-05T06:48:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2309.02391","created_at":"2026-07-05T06:48:12Z"},{"alias_kind":"pith_short_12","alias_value":"C25ZIVVYUVFR","created_at":"2026-07-05T06:48:12Z"},{"alias_kind":"pith_short_16","alias_value":"C25ZIVVYUVFRZKJ7","created_at":"2026-07-05T06:48:12Z"},{"alias_kind":"pith_short_8","alias_value":"C25ZIVVY","created_at":"2026-07-05T06:48:12Z"}],"graph_snapshots":[{"event_id":"sha256:a92694f1ba478e926848e36b7375d52bb9e9324c60430da53093b92d973cb29c","target":"graph","created_at":"2026-07-05T06: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/2309.02391/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Decentralized Finance (DeFi) is emerging as a peer-to-peer financial ecosystem, enabling participants to trade products on a permissionless blockchain. Built on blockchain and smart contracts, the DeFi ecosystem has experienced explosive growth in recent years. Unfortunately, smart contracts hold a massive amount of value, making them an attractive target for attacks. So far, attacks against smart contracts and DeFi protocols have resulted in billions of dollars in financial losses, severely threatening the security of the entire DeFi ecosystem. Researchers have proposed various security tools","authors_text":"Jianhai Chen, Lun Zhang, Ming Li, Peng Qian, Qinming He, Rui Cao, Wenqing Li, Yufeng Xu, Zhenguang Liu","cross_cats":["cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2023-09-05T17:00:42Z","title":"Empirical Review of Smart Contract and DeFi Security: Vulnerability Detection and Automated Repair"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2309.02391","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:86120821e4d7e95fed3c4e3205e3111a8c420d7d568960177392dfd7837f4f6e","target":"record","created_at":"2026-07-05T06: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":"cbe15b5514549891b9f3aa6b26231e7a93274cb5978ab9123e6c4d0d2a558dca","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2023-09-05T17:00:42Z","title_canon_sha256":"91b917136889ea8db14b722f2a3a6f980d8991dc1c115354486d632da7826211"},"schema_version":"1.0","source":{"id":"2309.02391","kind":"arxiv","version":2}},"canonical_sha256":"16bb9456b8a54b1ca93f5302d532b70a3046dbf98f03d47bd26b60c28f30bc0a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"16bb9456b8a54b1ca93f5302d532b70a3046dbf98f03d47bd26b60c28f30bc0a","first_computed_at":"2026-07-05T06:48:12.212957Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:48:12.212957Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"r+E+TiYeGCCrETi7jWeKqPuaMdfYmy4dWXGDRZ/AAVQInHP5vXitU783ftwc3YaYSr/nNP1x8M3jmtQ8gY7NBg==","signature_status":"signed_v1","signed_at":"2026-07-05T06:48:12.213442Z","signed_message":"canonical_sha256_bytes"},"source_id":"2309.02391","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:86120821e4d7e95fed3c4e3205e3111a8c420d7d568960177392dfd7837f4f6e","sha256:a92694f1ba478e926848e36b7375d52bb9e9324c60430da53093b92d973cb29c"],"state_sha256":"d1e98b9c55854687c87adad15931c1f8acf19b26cf6b0868f9a0fdb74bbafdca"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"73rzucMmTKzOG9g93/Q1FILqBROKNeaPI2tUyyaM7/NVCsfrwu/tH7Uv4ICkpHq4xmhNLJlqIcKPrmrK7n0FDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-03T22:09:10.587450Z","bundle_sha256":"c5ec3a2a0de3686410fb305c8ec3b9e419ebdf941eff1beebb50ca83aacefb90"}}