{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:FHH3UDP6A5POKVGIRODMIPFI4I","short_pith_number":"pith:FHH3UDP6","canonical_record":{"source":{"id":"2406.16244","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.ET","submitted_at":"2024-06-24T00:15:18Z","cross_cats_sorted":["cs.CR"],"title_canon_sha256":"95c3d16a79932fc327e674990eccc812840ef6cb7a4144e10816a17a362fef6b","abstract_canon_sha256":"d0c9b001318468f066b87af3065fe2f36f815a74207944f0bb2ef08fbd16d4d6"},"schema_version":"1.0"},"canonical_sha256":"29cfba0dfe075ee554c88b86c43ca8e231b4399d5cf4eebaccbfb6b2f78f8885","source":{"kind":"arxiv","id":"2406.16244","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2406.16244","created_at":"2026-07-05T08:35:55Z"},{"alias_kind":"arxiv_version","alias_value":"2406.16244v1","created_at":"2026-07-05T08:35:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2406.16244","created_at":"2026-07-05T08:35:55Z"},{"alias_kind":"pith_short_12","alias_value":"FHH3UDP6A5PO","created_at":"2026-07-05T08:35:55Z"},{"alias_kind":"pith_short_16","alias_value":"FHH3UDP6A5POKVGI","created_at":"2026-07-05T08:35:55Z"},{"alias_kind":"pith_short_8","alias_value":"FHH3UDP6","created_at":"2026-07-05T08:35:55Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:FHH3UDP6A5POKVGIRODMIPFI4I","target":"record","payload":{"canonical_record":{"source":{"id":"2406.16244","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.ET","submitted_at":"2024-06-24T00:15:18Z","cross_cats_sorted":["cs.CR"],"title_canon_sha256":"95c3d16a79932fc327e674990eccc812840ef6cb7a4144e10816a17a362fef6b","abstract_canon_sha256":"d0c9b001318468f066b87af3065fe2f36f815a74207944f0bb2ef08fbd16d4d6"},"schema_version":"1.0"},"canonical_sha256":"29cfba0dfe075ee554c88b86c43ca8e231b4399d5cf4eebaccbfb6b2f78f8885","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:35:55.369030Z","signature_b64":"6W/TwzM3/cgbupcwrymYfNOG6FlJQlJCpXqOuD3n+kN8jIfPjW1Rsj5JIduBwZ/N/XcyPqaXmg1czoaqQRZJAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"29cfba0dfe075ee554c88b86c43ca8e231b4399d5cf4eebaccbfb6b2f78f8885","last_reissued_at":"2026-07-05T08:35:55.368672Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:35:55.368672Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2406.16244","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-05T08:35:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"z25+1hYxqLUorBSTtG8Ojk31DiX3Kl5AjkXlRJGVmsoVrqjA9qScrQBb+kPaqZmzoo8+UJTB8e0GLHa49G/4DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-13T14:53:28.599260Z"},"content_sha256":"eaa944d69e30d1b44db6d4e0950d7eebdc81ff758d1819889439a9e08a7fd82e","schema_version":"1.0","event_id":"sha256:eaa944d69e30d1b44db6d4e0950d7eebdc81ff758d1819889439a9e08a7fd82e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:FHH3UDP6A5POKVGIRODMIPFI4I","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Soley: Identification and Automated Detection of Logic Vulnerabilities in Ethereum Smart Contracts Using Large Language Models","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":["cs.CR"],"primary_cat":"cs.ET","authors_text":"Grischa Liebel, Majd Soud, Waltteri Nuutinen","submitted_at":"2024-06-24T00:15:18Z","abstract_excerpt":"Modern blockchain, such as Ethereum, supports the deployment and execution of so-called smart contracts, autonomous digital programs with significant value of cryptocurrency. Executing smart contracts requires gas costs paid by users, which define the limits of the contract's execution. Logic vulnerabilities in smart contracts can lead to financial losses, and are often the root cause of high-impact cyberattacks. Our objective is threefold: (i) empirically investigate logic vulnerabilities in real-world smart contracts extracted from code changes on GitHub, (ii) introduce Soley, an automated m"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2406.16244","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/2406.16244/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-05T08:35:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"si0SduMUi75AxR4DAo3KijeHTCMCU9azlcFbISGd7NXEh5i9IKPfpY7tTkVQcFVt+0YUdchbTEALGtKwcRd8Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-13T14:53:28.599655Z"},"content_sha256":"fe3c5211870fa803a1b538aa91ab98186b6d612ac3663003b52a8de848629382","schema_version":"1.0","event_id":"sha256:fe3c5211870fa803a1b538aa91ab98186b6d612ac3663003b52a8de848629382"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FHH3UDP6A5POKVGIRODMIPFI4I/bundle.json","state_url":"https://pith.science/pith/FHH3UDP6A5POKVGIRODMIPFI4I/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FHH3UDP6A5POKVGIRODMIPFI4I/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-13T14:53:28Z","links":{"resolver":"https://pith.science/pith/FHH3UDP6A5POKVGIRODMIPFI4I","bundle":"https://pith.science/pith/FHH3UDP6A5POKVGIRODMIPFI4I/bundle.json","state":"https://pith.science/pith/FHH3UDP6A5POKVGIRODMIPFI4I/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FHH3UDP6A5POKVGIRODMIPFI4I/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:FHH3UDP6A5POKVGIRODMIPFI4I","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":"d0c9b001318468f066b87af3065fe2f36f815a74207944f0bb2ef08fbd16d4d6","cross_cats_sorted":["cs.CR"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.ET","submitted_at":"2024-06-24T00:15:18Z","title_canon_sha256":"95c3d16a79932fc327e674990eccc812840ef6cb7a4144e10816a17a362fef6b"},"schema_version":"1.0","source":{"id":"2406.16244","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2406.16244","created_at":"2026-07-05T08:35:55Z"},{"alias_kind":"arxiv_version","alias_value":"2406.16244v1","created_at":"2026-07-05T08:35:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2406.16244","created_at":"2026-07-05T08:35:55Z"},{"alias_kind":"pith_short_12","alias_value":"FHH3UDP6A5PO","created_at":"2026-07-05T08:35:55Z"},{"alias_kind":"pith_short_16","alias_value":"FHH3UDP6A5POKVGI","created_at":"2026-07-05T08:35:55Z"},{"alias_kind":"pith_short_8","alias_value":"FHH3UDP6","created_at":"2026-07-05T08:35:55Z"}],"graph_snapshots":[{"event_id":"sha256:fe3c5211870fa803a1b538aa91ab98186b6d612ac3663003b52a8de848629382","target":"graph","created_at":"2026-07-05T08:35:55Z","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/2406.16244/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Modern blockchain, such as Ethereum, supports the deployment and execution of so-called smart contracts, autonomous digital programs with significant value of cryptocurrency. Executing smart contracts requires gas costs paid by users, which define the limits of the contract's execution. Logic vulnerabilities in smart contracts can lead to financial losses, and are often the root cause of high-impact cyberattacks. Our objective is threefold: (i) empirically investigate logic vulnerabilities in real-world smart contracts extracted from code changes on GitHub, (ii) introduce Soley, an automated m","authors_text":"Grischa Liebel, Majd Soud, Waltteri Nuutinen","cross_cats":["cs.CR"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.ET","submitted_at":"2024-06-24T00:15:18Z","title":"Soley: Identification and Automated Detection of Logic Vulnerabilities in Ethereum Smart Contracts Using Large Language Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2406.16244","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:eaa944d69e30d1b44db6d4e0950d7eebdc81ff758d1819889439a9e08a7fd82e","target":"record","created_at":"2026-07-05T08:35:55Z","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":"d0c9b001318468f066b87af3065fe2f36f815a74207944f0bb2ef08fbd16d4d6","cross_cats_sorted":["cs.CR"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.ET","submitted_at":"2024-06-24T00:15:18Z","title_canon_sha256":"95c3d16a79932fc327e674990eccc812840ef6cb7a4144e10816a17a362fef6b"},"schema_version":"1.0","source":{"id":"2406.16244","kind":"arxiv","version":1}},"canonical_sha256":"29cfba0dfe075ee554c88b86c43ca8e231b4399d5cf4eebaccbfb6b2f78f8885","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"29cfba0dfe075ee554c88b86c43ca8e231b4399d5cf4eebaccbfb6b2f78f8885","first_computed_at":"2026-07-05T08:35:55.368672Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:35:55.368672Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"6W/TwzM3/cgbupcwrymYfNOG6FlJQlJCpXqOuD3n+kN8jIfPjW1Rsj5JIduBwZ/N/XcyPqaXmg1czoaqQRZJAQ==","signature_status":"signed_v1","signed_at":"2026-07-05T08:35:55.369030Z","signed_message":"canonical_sha256_bytes"},"source_id":"2406.16244","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:eaa944d69e30d1b44db6d4e0950d7eebdc81ff758d1819889439a9e08a7fd82e","sha256:fe3c5211870fa803a1b538aa91ab98186b6d612ac3663003b52a8de848629382"],"state_sha256":"37d892dd0987b5a56fac0313b085f181020638ecbfd1115afa472599281e236f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+blAi37a5EZ34wdVqyIKbT5RsBEaEnBEBjFWHyHBWU8gVbA/EzXniefKAwKC5fOGgssQ2gs7aGYGjFPgqBmbCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-13T14:53:28.601804Z","bundle_sha256":"d7a685c33c2ae792bf19f88095d3e1c1457313640446129067811caddc25358b"}}