{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,29]],"date-time":"2026-01-29T23:21:06Z","timestamp":1769728866685,"version":"3.49.0"},"reference-count":71,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"12","license":[{"start":{"date-parts":[[2025,12,1]],"date-time":"2025-12-01T00:00:00Z","timestamp":1764547200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2025,12,1]],"date-time":"2025-12-01T00:00:00Z","timestamp":1764547200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,12,1]],"date-time":"2025-12-01T00:00:00Z","timestamp":1764547200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"Hong Kong RGC Projects","award":["PolyU15224121"],"award-info":[{"award-number":["PolyU15224121"]}]},{"name":"Hong Kong RGC Projects","award":["PolyU15231223"],"award-info":[{"award-number":["PolyU15231223"]}]},{"name":"HK RGC Grant for Theme-based Research Scheme Project","award":["T43-513\/23-N"],"award-info":[{"award-number":["T43-513\/23-N"]}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62172301"],"award-info":[{"award-number":["62172301"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62332004"],"award-info":[{"award-number":["62332004"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Sichuan Provincial Natural Science Foundation for Distinguished Young Scholars","award":["2023NSFSC1963"],"award-info":[{"award-number":["2023NSFSC1963"]}]},{"name":"HKPolyU Project","award":["P0045308"],"award-info":[{"award-number":["P0045308"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2025,12]]},"DOI":"10.1109\/tse.2025.3611956","type":"journal-article","created":{"date-parts":[[2025,9,22]],"date-time":"2025-09-22T17:44:20Z","timestamp":1758563060000},"page":"3310-3330","source":"Crossref","is-referenced-by-count":1,"title":["Finding Correctness Issues on Ethereum Verkle Tries via Preimage-Aware Differential Testing"],"prefix":"10.1109","volume":"51","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4382-577X","authenticated-orcid":false,"given":"Zihao","family":"Li","sequence":"first","affiliation":[{"name":"The Hong Kong Polytechnic University, Hong Kong"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2131-1046","authenticated-orcid":false,"given":"Zheyuan","family":"He","sequence":"additional","affiliation":[{"name":"University of Electronic Science and Technology of China, Chengdu, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9082-3208","authenticated-orcid":false,"given":"Xiapu","family":"Luo","sequence":"additional","affiliation":[{"name":"The Hong Kong Polytechnic University, Hong Kong"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9165-8331","authenticated-orcid":false,"given":"Ting","family":"Chen","sequence":"additional","affiliation":[{"name":"University of Electronic Science and Technology of China, Chengdu, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9886-1412","authenticated-orcid":false,"given":"Xiaosong","family":"Zhang","sequence":"additional","affiliation":[{"name":"University of Electronic Science and Technology of China, Chengdu, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","first-page":"1257","article-title":"SlimArchive: A lightweight architecture for Ethereum archive nodes","volume-title":"Proc. Usenix Atc","author":"Feng","year":"2024"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/3447786.3456231"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-18283-9_31"},{"key":"ref4","article-title":"Eip-6800: Ethereum state using a unified Verkle tree","author":"Buterin","year":"2023"},{"key":"ref5","article-title":"Ethereum data structures","author":"Jezek","year":"2021"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38348-9_19"},{"key":"ref7","article-title":"Verkle trees","year":"2023"},{"key":"ref8","article-title":"Verkle trees","author":"Kuszmaul","year":"2019","journal-title":"Verkle Trees"},{"key":"ref9","article-title":"Vector commitments with efficient updates","author":"Tas","year":"2023"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36362-7_5"},{"key":"ref11","article-title":"Ethereum verge upgrade","year":"2024"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.iot.2020.100198"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3385982"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3658644.3690329"},{"key":"ref15","article-title":"Utilities for interacting with the Ethereum virtual machine","author":"Lab","year":"2019"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3341175"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1002\/smr.2556"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/3658644.3690243"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/3611643.3616251"},{"key":"ref20","first-page":"4747","article-title":"Understanding Ethereum mempool security under asymmetric {DoS} by symbolized stateful fuzzing","volume-title":"Proc. USENIX Secur.","author":"Wang","year":"2024"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2023.24078"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/SP46215.2023.10179386"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/3576915.3623071"},{"key":"ref24","article-title":"Finding consensus bugs in Ethereum via multi-transaction differential fuzzing","volume-title":"Proc. OSDI","author":"Yang","year":"2021"},{"key":"ref25","article-title":"Differential fuzzer for Ethereum 2.0 resources","author":"Prime","year":"2023"},{"key":"ref26","article-title":"Test cases","year":"2024"},{"key":"ref27","article-title":"Ethereum: A secure decentralised generalised transaction ledger","author":"Wood","year":"2014","journal-title":"Ethereum Yellow Paper"},{"key":"ref28","article-title":"HyperProofs: Aggregating and maintaining proofs in vector commitments","volume-title":"Proc. USENIX Secur.","author":"Srinivasan","year":"2022"},{"key":"ref29","article-title":"ZCash protocol specification","author":"Hopwood","year":"2016"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46766-1_9"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/s10623-024-01472-0"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-26948-7_19"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-25937-4_24"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/3047307"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1016\/j.iot.2024.101193"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/ASE51524.2021.9678597"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/3488245"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1080\/19312450709336664"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/3623375"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/3512345"},{"key":"ref41","article-title":"Verkle trees for statelessness","year":"2024"},{"key":"ref42","article-title":"Verdiff repository","year":"2025"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/113446.113447"},{"key":"ref44","first-page":"1289","article-title":"EVMPatch: Timely and automated patching of Ethereum smart contracts","volume-title":"Proc. USENIX Secur.","author":"Rodler","year":"2021"},{"key":"ref45","article-title":"Solidity, the smart contract programming language","year":"2024"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1145\/3548683"},{"key":"ref47","article-title":"Datasets for popular Ethereum smart contracts","year":"2023"},{"key":"ref48","article-title":"The world\u2019s DAPP store","year":"2024"},{"key":"ref49","article-title":"A contract that utilizes global dynamic arrays to maintain a whitelist of addresses","year":"2024"},{"key":"ref50","article-title":"Polygon Hermez contract","year":"2025"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/SP54263.2024.00125"},{"key":"ref52","article-title":"Ethereum dencun mainnet upgrade announcement","year":"2024"},{"key":"ref53","article-title":"Eip-6780: Selfdestruct only in same transaction","author":"Guillaume","year":"2023"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-96-1242-0_35"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1145\/3773288"},{"key":"ref56","article-title":"Developers observed issues similar to the third issue we identified","author":"Ballet","year":"2024"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1145\/3391195"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2020.24267"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1145\/3744970.3727276"},{"key":"ref60","first-page":"3531","article-title":"Speculative denial-of-service attacks in Ethereum","volume-title":"Proc. USENIX Secur.","author":"Yaish","year":"2024"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2021.23108"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1145\/3460120.3485369"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1145\/3576915.3616674"},{"key":"ref64","first-page":"6255","article-title":"Max attestation matters: Making honest parties lose their incentives in Ethereum POS","volume-title":"Proc. USENIX Secur.","author":"Zhang","year":"2024"},{"key":"ref65","first-page":"3331","article-title":"Snapping snap sync: Practical attacks on go Ethereum synchronising nodes","volume-title":"Proc. USENIX Secur.","author":"Taverna","year":"2023"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238177"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1145\/3395363.3404366"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM52122.2024.10621414"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-024-09673-5"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.5753\/sbseg.2024.241431"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1145\/3597926.3598059"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/32\/11298241\/11175128.pdf?arnumber=11175128","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T12:26:00Z","timestamp":1766060760000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11175128\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,12]]},"references-count":71,"journal-issue":{"issue":"12"},"URL":"https:\/\/doi.org\/10.1109\/tse.2025.3611956","relation":{},"ISSN":["0098-5589","1939-3520","2326-3881"],"issn-type":[{"value":"0098-5589","type":"print"},{"value":"1939-3520","type":"electronic"},{"value":"2326-3881","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,12]]}}}