{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:ZOWGIEPDFPZ2FOQZXRCOVMGOJQ","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":"3932bc8834a65d97ac92a3cb9f198a07ce9b38447c983088a2597e2700c2d3c0","cross_cats_sorted":["cs.CR"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2025-04-16T12:48:00Z","title_canon_sha256":"2ed8ff9baf5bbba43a9e21f90d8773fa1caffe9dc738c32ba9081d528a01f85e"},"schema_version":"1.0","source":{"id":"2504.12034","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.12034","created_at":"2026-05-17T23:39:18Z"},{"alias_kind":"arxiv_version","alias_value":"2504.12034v1","created_at":"2026-05-17T23:39:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.12034","created_at":"2026-05-17T23:39:18Z"},{"alias_kind":"pith_short_12","alias_value":"ZOWGIEPDFPZ2","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"ZOWGIEPDFPZ2FOQZ","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"ZOWGIEPD","created_at":"2026-05-18T12:33:37Z"}],"graph_snapshots":[{"event_id":"sha256:e90fbc4a32adc9e1a7b91da98194dc53b403d6c3800455747c3dc2dcacfadb0f","target":"graph","created_at":"2026-05-17T23:39:18Z","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":"As Ethereum continues to thrive, the Ethereum Virtual Machine (EVM) has become the cornerstone powering tens of millions of active smart contracts. Intuitively, security issues in EVMs could lead to inconsistent behaviors among smart contracts or even denial-of-service of the entire blockchain network. However, to the best of our knowledge, only a limited number of studies focus on the security of EVMs. Moreover, they suffer from 1) insufficient test input diversity and invalid semantics; and 2) the inability to automatically identify bugs and locate root causes. To bridge this gap, we propose","authors_text":"Haoyu Wang, Jie Ma, Jinwen Xi, Mingzhe Xing, Ningyu He, Ying Gao, Yinliang Yue","cross_cats":["cs.CR"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2025-04-16T12:48:00Z","title":"OpDiffer: LLM-Assisted Opcode-Level Differential Testing of Ethereum Virtual Machine"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.12034","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:4af655b9b6031f7e10029a5789596bc1521fe7bc0123a9f35f5d0bf7febc48df","target":"record","created_at":"2026-05-17T23:39:18Z","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":"3932bc8834a65d97ac92a3cb9f198a07ce9b38447c983088a2597e2700c2d3c0","cross_cats_sorted":["cs.CR"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2025-04-16T12:48:00Z","title_canon_sha256":"2ed8ff9baf5bbba43a9e21f90d8773fa1caffe9dc738c32ba9081d528a01f85e"},"schema_version":"1.0","source":{"id":"2504.12034","kind":"arxiv","version":1}},"canonical_sha256":"cbac6411e32bf3a2ba19bc44eab0ce4c28a17907a183f4b7049a6b9ee26bf536","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"cbac6411e32bf3a2ba19bc44eab0ce4c28a17907a183f4b7049a6b9ee26bf536","first_computed_at":"2026-05-17T23:39:18.117995Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:39:18.117995Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"z1drn1fd2/l1YpDstWcvTu+JO/ipuxSWDcPtMg3QyuOoot1Nnt8p5Pr65NNsKvMKZdOIV+gRvPjlFI1t75nVCg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:39:18.118869Z","signed_message":"canonical_sha256_bytes"},"source_id":"2504.12034","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4af655b9b6031f7e10029a5789596bc1521fe7bc0123a9f35f5d0bf7febc48df","sha256:e90fbc4a32adc9e1a7b91da98194dc53b403d6c3800455747c3dc2dcacfadb0f"],"state_sha256":"d4b17952aa8b676668479b37caf904f7e8d7eba6dfc351f66ff14bb45f54e49e"}