{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,23]],"date-time":"2026-07-23T20:15:51Z","timestamp":1784837751588,"version":"3.55.0"},"reference-count":64,"publisher":"IEEE","license":[{"start":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T00:00:00Z","timestamp":1779062400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T00:00:00Z","timestamp":1779062400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026,5,18]]},"DOI":"10.1109\/sp63933.2026.00049","type":"proceedings-article","created":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T19:34:20Z","timestamp":1782934460000},"page":"3055-3074","source":"Crossref","is-referenced-by-count":1,"title":["zkFuzz: Foundation and Framework for Effective Fuzzing of Zero-Knowledge Circuits"],"prefix":"10.1109","author":[{"given":"Hideaki","family":"Takahashi","sequence":"first","affiliation":[{"name":"Columbia University, New York,New York,10027"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jihwan","family":"Kim","sequence":"additional","affiliation":[{"name":"Columbia University, New York,New York,10027"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Suman","family":"Jana","sequence":"additional","affiliation":[{"name":"Columbia University, New York,New York,10027"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Junfeng","family":"Yang","sequence":"additional","affiliation":[{"name":"Columbia University, New York,New York,10027"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","article-title":"A survey on the applications of zero-knowledge proofs","author":"Lavin","year":"2024","journal-title":"arXiv preprint arXiv"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s42452-019-0989-z"},{"issue":"5","key":"ref3","first-page":"2277","article-title":"Overview and applications of zero knowledge proof (zkp)","volume":"8","author":"Hasan","year":"2019","journal-title":"International Journal of Computer Science and Network"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/DSN-S60304.2024.00028"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pone.0239043"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/SP46214.2022.9833732"},{"key":"ref7","article-title":"Privacy-preserving covid-19 contact tracing app: a zero-knowledge proof approach","author":"Liu","year":"2020","journal-title":"Cryptology ePrint Archive"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3658644.3690356"},{"key":"ref9","article-title":"Zero-knowledge proof meets machine learning in verifiability: A survey","author":"Xing","year":"2023","journal-title":"arXiv preprint arXiv"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.54097\/6awase9w"},{"key":"ref11","volume-title":"The Future of ZK Proofs","year":"2023"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2022.3232813"},{"key":"ref13","first-page":"1471","article-title":"Practical security analysis of \\{ZeroKnowledge\\} proof circuits","volume-title":"33rd USENIX Security Symposium (USENIX Security 24)","author":"Wen","year":"2024"},{"key":"ref14","first-page":"3855","article-title":"\\{SoK\\}: What don\u2019t we know? understanding security vulnerabilities in \\{SNARKs\\}","volume-title":"33rd USENIX Security Symposium (USENIX Security 24)","author":"Chaliasos","year":"2024"},{"key":"ref15","article-title":"Sok: Understanding zk-snarks: The gap between research and practice","author":"Liang","year":"2025","journal-title":"arXiv preprint arXiv"},{"key":"ref16","volume-title":"zksync-era-write-query-poc","year":"2023"},{"key":"ref17","article-title":"Zero-knowledge proof vulnerability analysis and security auditing","author":"Tang","year":"2024","journal-title":"Cryptology ePrint Archive"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/3591282"},{"key":"ref19","volume-title":"Hardening blockchain security with formal methods: Risc zero zkvm","author":"Pailoor","year":"2025"},{"key":"ref20","volume-title":"Circomspect: A static analyzer and linter for the circom zero-knowledge dsl","year":"2024"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/1646353.1646374"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/SP54263.2024.00133"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/SP54263.2024.00078"},{"key":"ref24","article-title":"Ac4: Algebraic computation checker for circuit constraints in zkps","author":"Chen","year":"2024","journal-title":"arXiv preprint arXiv"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE55347.2025.00200"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/3719027.3744791"},{"key":"ref27","volume-title":"Metamorphic testing of zkc infrastructure","author":"Leeb","year":"2024"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2025.230530"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-54773-7_14"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/SP46214.2022.9833796"},{"key":"ref31","volume-title":"zk-regex","year":"2025"},{"key":"ref32","volume-title":"Passport zk circuits: Verifying biometric passports with zero knowledge proofs (snarks)","year":"2025"},{"key":"ref33","volume-title":"Noir: The universal language of zero-knowledge","year":"2024"},{"key":"ref34","first-page":"25","article-title":"Chapter two - a survey on zeroknowledge proofs","volume-title":"ser. Advances in Computers","volume":"94","author":"Li","year":"2014"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/3576915.3623202"},{"key":"ref36","doi-asserted-by":"crossref","first-page":"4316","DOI":"10.1145\/3658644.3670316","article-title":"Zeroknowledge proofs of training for deep neural networks","volume-title":"Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security","author":"Abbaszadeh","year":"2024"},{"key":"ref37","volume-title":"snarkjs: zksnark implementation in javascript & wasm","year":"2025"},{"key":"ref38","volume-title":"Zk benchmark","year":"2025"},{"key":"ref39","volume-title":"circom-monolith","author":"Shukla","year":"2023"},{"key":"ref40","article-title":"A review of zk-snarks","author":"Chen","year":"2022","journal-title":"arXiv preprint arXiv"},{"key":"ref41","volume-title":"Halo2: The halo2 zero-knowledge proving system","year":"2022"},{"key":"ref42","article-title":"Automated analysis of halo2 circuits","author":"Soureshjani","year":"2023","journal-title":"Cryptology ePrint Archive"},{"key":"ref43","article-title":"zvm: Zero knowledge based ethereum virtual machine in circom language","volume-title":"archived repository. MIT License","author":"Network"},{"key":"ref44","volume-title":"Library of basic circuits for circom","year":"2025"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1016\/bs.adcom.2018.03.015"},{"issue":"1","key":"ref46","first-page":"1","article-title":"Genetic algorithm performance with different selection strategies in solving tsp","volume-title":"Proceedings of the world congress on engineering","volume":"2","author":"Razali"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1145\/3634737.3661141"},{"key":"ref48","first-page":"344","article-title":"Bemerkung \u00fcber die aufl\u00f6sung quadratischer congruenzen","volume":"1891","author":"Tonelli","year":"1891","journal-title":"Nachrichten von der K\u00f6nigl. Gesellschaft der Wissenschaften und der Georg-Augusts-Universit\u00e4t zu G\u00f6ttingen"},{"key":"ref49","article-title":"Five number theoritical algorithms","volume-title":"proceeding Second Manitoba Conference on Numerical Mthematics","author":"Shanks"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1695"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.3390\/info10120390"},{"issue":"5","key":"ref52","first-page":"889","article-title":"Adapting crossover and mutation rates in genetic algorithms","volume":"19","author":"Lin","year":"2003","journal-title":"J. Inf. Sci. Eng."},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-99524-9_24"},{"key":"ref55","article-title":"A couple billion lines of code later: Static checking in the real world","volume-title":"17th USENIX Security Symposium (USENIX Security 08)","author":"Engler","year":"2008"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606613"},{"key":"ref57","volume-title":"zk_whitelist","year":"2023"},{"key":"ref58","volume-title":"Critical vulnerability","author":"Nielsen","year":"2024"},{"key":"ref59","article-title":"Low-cost and comprehensive non-textual input fuzzing with 11 m -synthesized input generators","author":"Zhang","year":"2025","journal-title":"arXiv preprint arXiv"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2019.00052"},{"key":"ref61","article-title":"Large language models for blockchain security: A systematic literature review","author":"He","year":"2024","journal-title":"arXiv preprint arXiv"},{"key":"ref62","first-page":"7","article-title":"Defialigner: Leveraging symbolic analysis and large language models for inconsistency detection in decentralized finance","volume-title":"6th Conference on Advances in Financial Technologies (AFT2024)","author":"Gan"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511804090"},{"key":"ref64","volume-title":"Minimal anti-collusion infrastructure (maci)","year":"2020"}],"event":{"name":"2026 IEEE Symposium on Security and Privacy (SP)","location":"San Francisco, CA, USA","start":{"date-parts":[[2026,5,18]]},"end":{"date-parts":[[2026,5,21]]}},"container-title":["2026 IEEE Symposium on Security and Privacy (SP)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11573355\/11573356\/11573528.pdf?arnumber=11573528","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,2]],"date-time":"2026-07-02T05:41:18Z","timestamp":1782970878000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11573528\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,5,18]]},"references-count":64,"URL":"https:\/\/doi.org\/10.1109\/sp63933.2026.00049","relation":{},"subject":[],"published":{"date-parts":[[2026,5,18]]}}}