{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:N245R4NZ376CCXVG5DVM7ZGLWF","short_pith_number":"pith:N245R4NZ","canonical_record":{"source":{"id":"2304.02981","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2023-04-06T10:27:19Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"8c9dc6b3cb81e8d6c048613aaab1ee42544f36d23a821a4bc38bdfb77e6de7ea","abstract_canon_sha256":"f847042674376819d1b5686efab674a2e01e97363efb0f5ceedf377debe5b5a1"},"schema_version":"1.0"},"canonical_sha256":"6eb9d8f1b9dffc215ea6e8eacfe4cbb14a4405ed5c392611e3094ee07c892a5d","source":{"kind":"arxiv","id":"2304.02981","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2304.02981","created_at":"2026-07-05T07:35:59Z"},{"alias_kind":"arxiv_version","alias_value":"2304.02981v2","created_at":"2026-07-05T07:35:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2304.02981","created_at":"2026-07-05T07:35:59Z"},{"alias_kind":"pith_short_12","alias_value":"N245R4NZ376C","created_at":"2026-07-05T07:35:59Z"},{"alias_kind":"pith_short_16","alias_value":"N245R4NZ376CCXVG","created_at":"2026-07-05T07:35:59Z"},{"alias_kind":"pith_short_8","alias_value":"N245R4NZ","created_at":"2026-07-05T07:35:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:N245R4NZ376CCXVG5DVM7ZGLWF","target":"record","payload":{"canonical_record":{"source":{"id":"2304.02981","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2023-04-06T10:27:19Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"8c9dc6b3cb81e8d6c048613aaab1ee42544f36d23a821a4bc38bdfb77e6de7ea","abstract_canon_sha256":"f847042674376819d1b5686efab674a2e01e97363efb0f5ceedf377debe5b5a1"},"schema_version":"1.0"},"canonical_sha256":"6eb9d8f1b9dffc215ea6e8eacfe4cbb14a4405ed5c392611e3094ee07c892a5d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:35:59.880752Z","signature_b64":"Yd7cUPjCxQE/YwuKiwhts+j7hYUyW3AIrdICUcY0sDYBZLb/LhIuKvnkxSHAbgs7/h0dUMrDVcBeJ9WI3XInBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6eb9d8f1b9dffc215ea6e8eacfe4cbb14a4405ed5c392611e3094ee07c892a5d","last_reissued_at":"2026-07-05T07:35:59.880293Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:35:59.880293Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2304.02981","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-05T07:35:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kTzsHfX6FVGVyAIo3Kk7Ki/SH20dhw6UfizxmTKIL6j+c3wPpdeB5/kxOitM3tiRbEwEmynm/VoP9Jv3s2B1Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-14T13:11:00.694707Z"},"content_sha256":"a709452b8d3a7ca9272388ec570f95dddc16c2e138cf7b7fca88a32d8176e4a3","schema_version":"1.0","event_id":"sha256:a709452b8d3a7ca9272388ec570f95dddc16c2e138cf7b7fca88a32d8176e4a3"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:N245R4NZ376CCXVG5DVM7ZGLWF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners?","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.CR","authors_text":"Arthur Gervais, Ben Livshits, Dimitris Mitropoulos, Liyi Zhou, Marcos Antonios Charalambous, Rafaila Galanopoulou, Stefanos Chaliasos","submitted_at":"2023-04-06T10:27:19Z","abstract_excerpt":"The growth of the decentralized finance (DeFi) ecosystem built on blockchain technology and smart contracts has led to an increased demand for secure and reliable smart contract development. However, attacks targeting smart contracts are increasing, causing an estimated \\$6.45 billion in financial losses. Researchers have proposed various automated security tools to detect vulnerabilities, but their real-world impact remains uncertain.\n  In this paper, we aim to shed light on the effectiveness of automated security tools in identifying vulnerabilities that can lead to high-profile attacks, and"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2304.02981","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/2304.02981/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-05T07:35:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0sYH0xqRS1QhtFb3e+Y4Nby+UcOFl+lu9Xhk1Y9C1MrRJoeTQqIeHcFVHRw6Faa0aP/a0Aw/UdOD6k/VkdRWDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-14T13:11:00.695204Z"},"content_sha256":"81d6cd086f67eb7350daaf124bba3cd7dcda7896a02ffefda28031ec4d54713a","schema_version":"1.0","event_id":"sha256:81d6cd086f67eb7350daaf124bba3cd7dcda7896a02ffefda28031ec4d54713a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/N245R4NZ376CCXVG5DVM7ZGLWF/bundle.json","state_url":"https://pith.science/pith/N245R4NZ376CCXVG5DVM7ZGLWF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/N245R4NZ376CCXVG5DVM7ZGLWF/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-14T13:11:00Z","links":{"resolver":"https://pith.science/pith/N245R4NZ376CCXVG5DVM7ZGLWF","bundle":"https://pith.science/pith/N245R4NZ376CCXVG5DVM7ZGLWF/bundle.json","state":"https://pith.science/pith/N245R4NZ376CCXVG5DVM7ZGLWF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/N245R4NZ376CCXVG5DVM7ZGLWF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:N245R4NZ376CCXVG5DVM7ZGLWF","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":"f847042674376819d1b5686efab674a2e01e97363efb0f5ceedf377debe5b5a1","cross_cats_sorted":["cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2023-04-06T10:27:19Z","title_canon_sha256":"8c9dc6b3cb81e8d6c048613aaab1ee42544f36d23a821a4bc38bdfb77e6de7ea"},"schema_version":"1.0","source":{"id":"2304.02981","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2304.02981","created_at":"2026-07-05T07:35:59Z"},{"alias_kind":"arxiv_version","alias_value":"2304.02981v2","created_at":"2026-07-05T07:35:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2304.02981","created_at":"2026-07-05T07:35:59Z"},{"alias_kind":"pith_short_12","alias_value":"N245R4NZ376C","created_at":"2026-07-05T07:35:59Z"},{"alias_kind":"pith_short_16","alias_value":"N245R4NZ376CCXVG","created_at":"2026-07-05T07:35:59Z"},{"alias_kind":"pith_short_8","alias_value":"N245R4NZ","created_at":"2026-07-05T07:35:59Z"}],"graph_snapshots":[{"event_id":"sha256:81d6cd086f67eb7350daaf124bba3cd7dcda7896a02ffefda28031ec4d54713a","target":"graph","created_at":"2026-07-05T07:35:59Z","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.02981/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The growth of the decentralized finance (DeFi) ecosystem built on blockchain technology and smart contracts has led to an increased demand for secure and reliable smart contract development. However, attacks targeting smart contracts are increasing, causing an estimated \\$6.45 billion in financial losses. Researchers have proposed various automated security tools to detect vulnerabilities, but their real-world impact remains uncertain.\n  In this paper, we aim to shed light on the effectiveness of automated security tools in identifying vulnerabilities that can lead to high-profile attacks, and","authors_text":"Arthur Gervais, Ben Livshits, Dimitris Mitropoulos, Liyi Zhou, Marcos Antonios Charalambous, Rafaila Galanopoulou, Stefanos Chaliasos","cross_cats":["cs.SE"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2023-04-06T10:27:19Z","title":"Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners?"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2304.02981","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:a709452b8d3a7ca9272388ec570f95dddc16c2e138cf7b7fca88a32d8176e4a3","target":"record","created_at":"2026-07-05T07:35:59Z","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":"f847042674376819d1b5686efab674a2e01e97363efb0f5ceedf377debe5b5a1","cross_cats_sorted":["cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2023-04-06T10:27:19Z","title_canon_sha256":"8c9dc6b3cb81e8d6c048613aaab1ee42544f36d23a821a4bc38bdfb77e6de7ea"},"schema_version":"1.0","source":{"id":"2304.02981","kind":"arxiv","version":2}},"canonical_sha256":"6eb9d8f1b9dffc215ea6e8eacfe4cbb14a4405ed5c392611e3094ee07c892a5d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6eb9d8f1b9dffc215ea6e8eacfe4cbb14a4405ed5c392611e3094ee07c892a5d","first_computed_at":"2026-07-05T07:35:59.880293Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:35:59.880293Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Yd7cUPjCxQE/YwuKiwhts+j7hYUyW3AIrdICUcY0sDYBZLb/LhIuKvnkxSHAbgs7/h0dUMrDVcBeJ9WI3XInBA==","signature_status":"signed_v1","signed_at":"2026-07-05T07:35:59.880752Z","signed_message":"canonical_sha256_bytes"},"source_id":"2304.02981","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a709452b8d3a7ca9272388ec570f95dddc16c2e138cf7b7fca88a32d8176e4a3","sha256:81d6cd086f67eb7350daaf124bba3cd7dcda7896a02ffefda28031ec4d54713a"],"state_sha256":"80b764b37f7a135d118dfa53a73fcd96a2d9066313a3c68bcfee565bd3dcdac1"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+aSrC7G4p+3nYC7TesfEKgRpaGKaA4+KLzcKmGHn4i0k3xiejWRGyUyjgVD7inNsoEPHDvEV0f4hjZBF1W9cBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-14T13:11:00.699909Z","bundle_sha256":"d624749cdafc04a79d4617884ef92b708f5e290a81895107d0a64662ae98e1fc"}}