{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:05:24Z","timestamp":1750309524705,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2025,6,11]],"date-time":"2025-06-11T00:00:00Z","timestamp":1749600000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,6,25]]},"DOI":"10.1145\/3713081.3732932","type":"proceedings-article","created":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T17:20:36Z","timestamp":1749230436000},"page":"200-209","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Towards Source Mapping for Zero-Knowledge Smart Contracts: Design and Preliminary Evaluation"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0002-8766-3714","authenticated-orcid":false,"given":"Pei","family":"Xu","sequence":"first","affiliation":[{"name":"University of Technology Sydney, Sydney, Australia"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9510-6574","authenticated-orcid":false,"given":"Yulei","family":"Sui","sequence":"additional","affiliation":[{"name":"University of New South Wales, Sydney, Australia"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3284-5385","authenticated-orcid":false,"given":"Mark","family":"Staples","sequence":"additional","affiliation":[{"name":"Digital Finance CRC, Sydney, Australia"}]}],"member":"320","published-online":{"date-parts":[[2025,6,11]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"ZK-SecreC: A Domain-Specific Language for Zero Knowledge Proofs. arXiv preprint arXiv:2203.15448","author":"Bogdanov Dan","year":"2022","unstructured":"Dan Bogdanov, Joosep J\u00e4\u00e4ger, Peeter Laud, H\u00e4rmel Nestra, Martin Pettai, Jaak Randmets, Ville Sokk, Kert Tali, and Sandhra-Mirella Valdma. 2022. ZK-SecreC: A Domain-Specific Language for Zero Knowledge Proofs. arXiv preprint arXiv:2203.15448 (2022)."},{"key":"e_1_3_2_1_2_1","first-page":"2513","article-title":"Efficient zk-SNARKs for Smart Contract Verification","volume":"16","author":"Chang Yanlin","year":"2021","unstructured":"Yanlin Chang, Tian Liu, and Cheng Wang. 2021. Efficient zk-SNARKs for Smart Contract Verification. In IEEE Transactions on Information Forensics and Security, Vol. 16. 2513\u20132526.","journal-title":"IEEE Transactions on Information Forensics and Security"},{"key":"e_1_3_2_1_3_1","first-page":"339","article-title":"A Certifying Compiler for Zero-Knowledge Proofs of Knowledge","volume":"2010","author":"Chiesa Alessandro","year":"2010","unstructured":"Alessandro Chiesa and Eran Tromer. 2010. A Certifying Compiler for Zero-Knowledge Proofs of Knowledge. In IACR Cryptology ePrint Archive, Vol. 2010. 339.","journal-title":"IACR Cryptology ePrint Archive"},{"key":"e_1_3_2_1_4_1","unstructured":"ConsenSys. 2025. MythX - Security Analysis for Ethereum Smart Contracts. https:\/\/mythx.io\/. Accessed: 2025-02-17."},{"key":"e_1_3_2_1_5_1","unstructured":"Solidity Documentation. 2025. Source Mappings \u2014 Solidity 0.8.30 documentation. https:\/\/docs.soliditylang.org\/en\/latest\/internals\/source_mappings.html."},{"key":"e_1_3_2_1_6_1","unstructured":"Ethereum Foundation. 2024. Zero-knowledge rollups. https:\/\/ethereum.org\/en\/developers\/docs\/scaling\/zk-rollups\/. Accessed: 2025-02-17."},{"key":"e_1_3_2_1_7_1","unstructured":"Nomic Foundation. 2025. Debugging with Hardhat Network. https:\/\/hardhat.org\/tutorial\/debugging-with-hardhat-network. Accessed: 2025-04-22."},{"key":"e_1_3_2_1_8_1","volume-title":"Z\u00d8: An Optimizing Distributing Zero-Knowledge Compiler. In 23rd USENIX Security Symposium (USENIX Security 14)","author":"Fredrikson Matthew","year":"2014","unstructured":"Matthew Fredrikson, Somesh Jha, and Benjamin Livshits. 2014. Z\u00d8: An Optimizing Distributing Zero-Knowledge Compiler. In 23rd USENIX Security Symposium (USENIX Security 14). 909\u2013924."},{"volume-title":"Principles of Security and Trust (POST)","author":"Grishchenko Ilya","key":"e_1_3_2_1_9_1","unstructured":"Ilya Grishchenko, Matteo Maffei, and Clara Schneidewind. 2018. A Semantic Framework for the Security Analysis of Ethereum Smart Contracts. In Principles of Security and Trust (POST). Springer, 243\u2013269."},{"key":"e_1_3_2_1_10_1","unstructured":"Hacken. 2023. ZK-Rollups: The Next Step In Blockchain Scalability. https:\/\/hacken.io\/discover\/zk-rollups-explained\/. Accessed: 2025-02-17."},{"key":"e_1_3_2_1_11_1","unstructured":"Immutable. 2022. Ground Up Guide: zkEVM EVM Compatibility & Rollups. https:\/\/www.immutable.com\/blog\/ground-up-guide-zkevm-evm-compatibility-rollups."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238177"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2022.3169902"},{"key":"e_1_3_2_1_14_1","unstructured":"Matter Labs. 2024. Add support for bytecode source map. https:\/\/github.com\/matter-labs\/era-compiler-solidity\/issues\/160."},{"key":"e_1_3_2_1_15_1","unstructured":"Matter Labs. 2025. Compiler toolchain overview - ZKsync Docs. https:\/\/docs.zksync.io\/zksync-protocol\/compiler\/toolchain."},{"key":"e_1_3_2_1_16_1","unstructured":"Matter Labs. 2025. zkSync Compiler Toolchain Documentation. https:\/\/docs.zksync.io\/zksync-protocol\/compiler\/toolchain. Accessed: 2025-01-06."},{"key":"e_1_3_2_1_17_1","unstructured":"Matter Labs. 2025. ZKsync Era Compiler Solidity. https:\/\/github.com\/matter-labs\/era-compiler-solidity. Accessed: 2025-02-17."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"key":"e_1_3_2_1_19_1","unstructured":"John Mccall. 2013. Zero Knowledge Compilers. https:\/\/umm-csci.github.io\/senior-seminar\/seminars\/fall2013\/Mccall.pdf."},{"key":"e_1_3_2_1_20_1","unstructured":"Trail of Bits. 2025. Echidna - Smart Contract Fuzzer. https:\/\/github.com\/crytic\/echidna. Accessed: 2025-02-17."},{"key":"e_1_3_2_1_21_1","unstructured":"Trail of Bits. 2025. Manticore - Symbolic Execution Tool. https:\/\/github.com\/trailofbits\/manticore. Accessed: 2025-02-17."},{"key":"e_1_3_2_1_22_1","unstructured":"Trail of Bits. 2025. Slither - Static Analysis Framework for Solidity. https:\/\/github.com\/crytic\/slither. Accessed: 2025-02-17."},{"key":"e_1_3_2_1_23_1","unstructured":"LLVM Project. 2025. Source Level Debugging with LLVM. https:\/\/llvm.org\/docs\/SourceLevelDebugging.html. Accessed: 2025-02-17."},{"key":"e_1_3_2_1_24_1","unstructured":"Remix Project. 2025. Remix - Ethereum IDE. https:\/\/remix.ethereum.org\/. Accessed: 2025-02-17."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10586-023-04257-7"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2024.3376252"},{"key":"e_1_3_2_1_27_1","first-page":"339","article-title":"A Framework for Practical Universally Composable Zero-Knowledge Protocols","volume":"2010","author":"Shoup Victor","year":"2010","unstructured":"Victor Shoup. 2010. A Framework for Practical Universally Composable Zero-Knowledge Protocols. In IACR Cryptology ePrint Archive, Vol. 2010. 339.","journal-title":"IACR Cryptology ePrint Archive"},{"key":"e_1_3_2_1_28_1","unstructured":"SmartDec. 2025. SmartCheck - Static Analysis of Solidity Smart Contracts. https:\/\/tool.smartdec.net\/. Accessed: 2025-02-17."},{"key":"e_1_3_2_1_29_1","unstructured":"Truffle Suite. 2025. Truffle Debugger. https:\/\/trufflesuite.github.io\/truffledebugger\/. Accessed: 2025-02-17."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243780"},{"key":"e_1_3_2_1_31_1","first-page":"111201","article-title":"Security Challenges and Techniques in Smart Contract Verification","volume":"184","author":"Wang Li","year":"2022","unstructured":"Li Wang, Jianping Zhao, and Wenbo Xu. 2022. Security Challenges and Techniques in Smart Contract Verification. Journal of Systems and Software 184 (2022), 111201.","journal-title":"Journal of Systems and Software"},{"key":"e_1_3_2_1_32_1","first-page":"102721","article-title":"Smart Contracts: Security Patterns in the Ethereum Ecosystem and Solidity","volume":"7","author":"W\u00f6hrer Maximilian","year":"2019","unstructured":"Maximilian W\u00f6hrer and Uwe Zdun. 2019. Smart Contracts: Security Patterns in the Ethereum Ecosystem and Solidity. IEEE Access 7 (2019), 102721\u2013102740.","journal-title":"IEEE Access"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2025.230530"},{"key":"e_1_3_2_1_34_1","first-page":"1","article-title":"zk-Rollup","volume":"55","author":"Xu Han","year":"2022","unstructured":"Han Xu, Lin Sun, Zekun Lin, and Yuheng Zhang. 2022. zk-Rollup: Scaling Ethereum with Zero-Knowledge Proofs. Comput. Surveys 55, 3 (2022), 1\u201334.","journal-title":"Scaling Ethereum with Zero-Knowledge Proofs. Comput. Surveys"},{"key":"e_1_3_2_1_35_1","volume-title":"Proceedings of the 2021 IEEE Conference on Blockchain Development. 83\u201396","author":"Zhang Wei","year":"2021","unstructured":"Wei Zhang, Yujin Liu, and Cheng Zhang. 2021. Debugging and Tracing Smart Contracts with Source Mapping. In Proceedings of the 2021 IEEE Conference on Blockchain Development. 83\u201396."}],"event":{"name":"ISSTA Companion '25: 34th ACM SIGSOFT International Symposium on Software Testing and Analysis","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Clarion Hotel Trondheim Trondheim Norway","acronym":"ISSTA Companion '25"},"container-title":["Proceedings of the 34th ACM SIGSOFT International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3713081.3732932","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:18:09Z","timestamp":1750295889000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3713081.3732932"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,11]]},"references-count":35,"alternative-id":["10.1145\/3713081.3732932","10.1145\/3713081"],"URL":"https:\/\/doi.org\/10.1145\/3713081.3732932","relation":{},"subject":[],"published":{"date-parts":[[2025,6,11]]},"assertion":[{"value":"2025-06-11","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}