{"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":1750309524866,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":34,"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.3731718","type":"proceedings-article","created":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T17:20:36Z","timestamp":1749230436000},"page":"98-104","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Towards Fuzzing Zero-Knowledge Proof Circuits (Short Paper)"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5414-4120","authenticated-orcid":false,"given":"Stefanos","family":"Chaliasos","sequence":"first","affiliation":[{"name":"Imperial College London, London, United Kingdom"},{"name":"ZKSecurity, New York City, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-3332-3258","authenticated-orcid":false,"given":"Imam","family":"Al-Fath","sequence":"additional","affiliation":[{"name":"ZKSecurity, New York City, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7448-7961","authenticated-orcid":false,"given":"Alastair","family":"Donaldson","sequence":"additional","affiliation":[{"name":"Imperial College London, London, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,6,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2372785"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2022.3232813"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2014.36"},{"key":"e_1_3_2_1_4_1","unstructured":"Jeremy Bruestle Paul Gafni and the RISC Zero Team. 2023. RISC Zero zkVM: Scalable Transparent Arguments of RISC-V Integrity. https:\/\/dev.risczero.com\/proof-system-in-detail.pdf."},{"key":"e_1_3_2_1_5_1","volume-title":"Understanding Security Vulnerabilities in SNARKs. In 33rd USENIX Security Symposium, USENIX Security 2024","author":"Chaliasos Stefanos","year":"2024","unstructured":"Stefanos Chaliasos, Jens Ernstberger, David Theodore, David Wong, Mohammad Jahanara, and Benjamin Livshits. 2024a. SoK: What don't we know? Understanding Security Vulnerabilities in SNARKs. In 33rd USENIX Security Symposium, USENIX Security 2024, Philadelphia, PA, USA, August 14\u201316, 2024, Davide Balzarotti and Wenyuan Xu (Eds.). USENIX Association. https:\/\/www.usenix.org\/conference\/usenixsecurity24\/presentation\/chaliasos"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPICS.AFT.2024.6"},{"key":"e_1_3_2_1_7_1","unstructured":"Stefanos Chaliasos and Chenyang Yu. 2025. zkbugs: Repository of ZK security bugs and analyses. https:\/\/github.com\/zksecurity\/zkbugs. Accessed: 2025-03-18."},{"key":"e_1_3_2_1_8_1","unstructured":"Oana Ciobotaru Maxim Peter and Vesselin Velichkov. 2024. The Last Challenge Attack: Exploiting a Vulnerable Implementation of the Fiat-Shamir Transform in a KZG-based SNARK. IACR Cryptol. ePrint Arch. (2024) 398. https:\/\/eprint.iacr.org\/2024\/398"},{"key":"e_1_3_2_1_9_1","unstructured":"Alessandro Coglio Eric McCarthy Eric Smith Collin Chin Pranav Gaddamadugu and Michel Dellepere. 2023b. Compositional Formal Verification of Zero-Knowledge Circuits. IACR Cryptol. ePrint Arch. (2023) 1278. https:\/\/eprint.iacr.org\/2023\/1278"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.393.9"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP46215.2023.10179408"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-71070-4_3"},{"key":"e_1_3_2_1_13_1","unstructured":"Jens Ernstberger Stefanos Chaliasos Liyi Zhou Philipp Jovanovic and Arthur Gervais. 2024b. Do You Need a Zero Knowledge Proof? IACR Cryptol. ePrint Arch. (2024) 50. https:\/\/eprint.iacr.org\/2024\/050"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-54773-7_14"},{"key":"e_1_3_2_1_15_1","unstructured":"Denis Firsov and Benjamin Livshits. 2024. The Ouroboros of ZK: Why Verifying the Verifier Unlocks Longer-Term ZK Innovation. IACR Cryptol. ePrint Arch. (2024) 768. https:\/\/eprint.iacr.org\/2024\/768"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38348-9_37"},{"key":"e_1_3_2_1_17_1","unstructured":"Lior Goldberg Shahar Papini and Michael Riabzev. 2021. Cairo - a Turing-complete STARK-friendly CPU architecture. IACR Cryptol. ePrint Arch. (2021) 1063. https:\/\/eprint.iacr.org\/2021\/1063"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1137\/0218012"},{"key":"e_1_3_2_1_19_1","unstructured":"Aayush Gupta Sampriti Panda and Sora Suegami. 2022. zk-regex. https:\/\/github.com\/zkemail\/zk-regex\/."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.48550\/ARXIV.2411.02077"},{"key":"e_1_3_2_1_21_1","unstructured":"iden3. 2021. Montgomery circuit. https:\/\/github.com\/iden3\/circomlib\/blob\/master\/circuits\/montgomery.circom."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP54263.2024.00133"},{"key":"e_1_3_2_1_23_1","unstructured":"Dmitry Khovratovich Ron D. Rothblum and Lev Soukhanov. 2025. How to Prove False Statements: Practical Attacks on Fiat-Shamir. IACR Cryptol. ePrint Arch. (2025) 118. https:\/\/eprint.iacr.org\/2025\/118"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3658644.3690243"},{"key":"e_1_3_2_1_25_1","first-page":"100","article-title":"Differential Testing for Software","volume":"10","author":"McKeeman William M.","year":"1998","unstructured":"William M. McKeeman. 1998. Differential Testing for Software. Digit. Tech. J. 10, 1 (1998), 100\u2013107. https:\/\/www.hpl.hp.com\/hpjournal\/dtj\/vol10num1\/vol10num1art9.pdf","journal-title":"Digit. Tech. J."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP46214.2022.9833782"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-37709-9_8"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3591282"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.48550\/ARXIV.2502.07063"},{"key":"e_1_3_2_1_30_1","volume-title":"Automated Analysis of Halo2 Circuits. 3429","author":"Soureshjani Fatemeh Heidari","year":"2023","unstructured":"Fatemeh Heidari Soureshjani, Mathias Hall-Andersen, MohammadMahdi Jahanara, Jeffrey Kam, Jan Gorzny, and Mohsen Ahmadvand. 2023. Automated Analysis of Halo2 Circuits. 3429 (2023), 3\u201317. https:\/\/ceur-ws.org\/Vol-3429\/paper3.pdf"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1561\/3300000030"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2010.37"},{"key":"e_1_3_2_1_33_1","unstructured":"Hongbo Wen Jon Stephens Yanju Chen Kostas Ferles Shankara Pailoor Kyle Charbonnet Isil Dillig and Yu Feng. 2024. Practical Security Analysis of Zero-Knowledge Proof Circuits. (2024). https:\/\/www.usenix.org\/conference\/usenixsecurity24\/presentation\/wen"},{"key":"e_1_3_2_1_34_1","volume-title":"MTZK: Testing and Exploring Bugs in Zero-Knowledge (ZK) Compilers. In 32nd Annual Network and Distributed System Security Symposium, NDSS 2025","author":"Xiao Dongwei","year":"2025","unstructured":"Dongwei Xiao, Zhibo Liu, Yiteng Peng, and Shuai Wang. 2025. MTZK: Testing and Exploring Bugs in Zero-Knowledge (ZK) Compilers. In 32nd Annual Network and Distributed System Security Symposium, NDSS 2025, San Diego, California, USA, February 24\u201328, 2025. The Internet Society. https:\/\/www.ndss-symposium.org\/ndss-paper\/mtzk-testing-and-exploring-bugs-in-zero-knowledge-zk-compilers\/"}],"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.3731718","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.3731718"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,11]]},"references-count":34,"alternative-id":["10.1145\/3713081.3731718","10.1145\/3713081"],"URL":"https:\/\/doi.org\/10.1145\/3713081.3731718","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"}}]}}