{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,2]],"date-time":"2026-07-02T16:23:21Z","timestamp":1783009401035,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":46,"publisher":"ACM","funder":[{"DOI":"10.13039\/501100001821","name":"Vienna Science and Technology Fund","doi-asserted-by":"publisher","award":["10.47379\/ICT22007"],"award-info":[{"award-number":["10.47379\/ICT22007"]}],"id":[{"id":"10.13039\/501100001821","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","award":["101076510"],"award-info":[{"award-number":["101076510"]}],"id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,11,19]]},"DOI":"10.1145\/3719027.3744791","type":"proceedings-article","created":{"date-parts":[[2025,11,22]],"date-time":"2025-11-22T23:37:25Z","timestamp":1763854645000},"page":"783-797","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Fuzzing Processing Pipelines for Zero-Knowledge Circuits"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0009-4253-4821","authenticated-orcid":false,"given":"Christoph","family":"Hochrainer","sequence":"first","affiliation":[{"name":"TU Wien, Vienna, Austria"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6375-0421","authenticated-orcid":false,"given":"Anastasia","family":"Isychev","sequence":"additional","affiliation":[{"name":"TU Wien, Vienna, Austria"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1496-1104","authenticated-orcid":false,"given":"Valentin","family":"W\u00fcstholz","sequence":"additional","affiliation":[{"name":"Consensys, Vienna, Austria"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2649-1958","authenticated-orcid":false,"given":"Maria","family":"Christakis","sequence":"additional","affiliation":[{"name":"TU Wien, Vienna, Austria"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2025,11,22]]},"reference":[{"key":"e_1_3_2_2_1_1","unstructured":"[n.d.]. Corset. https:\/\/github.com\/Consensys\/corset."},{"key":"e_1_3_2_2_2_1","unstructured":"[n.d.]. gnark: A Fast zk-SNARK Library that Offers a High-Level API to Design Circuits. https:\/\/docs.gnark.consensys.io."},{"key":"e_1_3_2_2_3_1","unstructured":"[n.d.]. Noir. https:\/\/noir-lang.org."},{"key":"e_1_3_2_2_4_1","volume-title":"Robert DeLine, Bart Jacobs, and K. Rustan M. Leino.","author":"Barnett Michael","year":"2005","unstructured":"Michael Barnett, Bor-Yuh Evan Chang, Robert DeLine, Bart Jacobs, and K. Rustan M. Leino. 2005. Boogie: A Modular Reusable Verifier for Object-Oriented Programs. In FMCO (LNCS, Vol. 4111). Springer, 364--387."},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1953122.1953145"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2372785"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2022.3232813"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.21236\/ADA360973"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"crossref","unstructured":"Marcel B\u00f6hme Van-Thuan Pham and Abhik Roychoudhury. 2016. Coverage- Based Greybox Fuzzing as Markov Chain. In CCS. ACM 1032--1043.","DOI":"10.1145\/2976749.2978428"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"crossref","unstructured":"Alexandra Bugariu and Peter M\u00fcller. 2020. Automatically Testing String Solvers. In ICSE. ACM 1459--1470.","DOI":"10.1145\/3377811.3380398"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"crossref","unstructured":"Alexandra Bugariu Valentin W\u00fcstholz Maria Christakis and Peter M\u00fcller. 2018. Automatically Testing Implementations of Numerical Abstract Domains. In ASE. ACM 768--778.","DOI":"10.1145\/3238147.3240464"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"crossref","unstructured":"Sebastian Burckhardt Pravesh Kothari Madanlal Musuvathi and Santosh Nagarakatte. 2010. A Randomized Scheduler with Probabilistic Guarantees of Finding Bugs. In ASPLOS. ACM 167--178.","DOI":"10.1145\/1736020.1736040"},{"key":"e_1_3_2_2_13_1","unstructured":"Stefanos Chaliasos Jens Ernstberger David Theodore David Wong Mohammad Jahanara and Benjamin Livshits. 2024. SoK: What Don't We Know? Understanding Security Vulnerabilities in SNARKs. In Security. USENIX."},{"key":"e_1_3_2_2_14_1","first-page":"1","article-title":"A Survey of Compiler","volume":"53","author":"Chen Junjie","year":"2020","unstructured":"Junjie Chen, Jibesh Patra, Michael Pradel, Yingfei Xiong, Hongyu Zhang, Dan Hao, and Lu Zhang. 2020. A Survey of Compiler Testing. Comput. Surv. 53 (2020), 4:1--4:36. Issue 1.","journal-title":"Testing. Comput. Surv."},{"key":"e_1_3_2_2_15_1","volume-title":"Metamorphic Testing: A New Approach for Generating Next Test Cases. Technical Report HKUST--CS98--01. HKUST.","author":"Chen Tsong Yueh","year":"1998","unstructured":"Tsong Yueh Chen, S. C. Cheung, and Siu-Ming Yiu. 1998. Metamorphic Testing: A New Approach for Generating Next Test Cases. Technical Report HKUST--CS98--01. HKUST."},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_3_2_2_17_1","unstructured":"Jens Ernstberger Stefanos Chaliasos Liyi Zhou Philipp Jovanovic and Arthur Gervais. 2024. Do You Need a Zero Knowledge Proof? Cryptol. ePrint Arch. (2024) 50."},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"crossref","unstructured":"Karine Even-Mendoza Arindam Sharma Alastair F. Donaldson and Cristian Cadar. 2023. GrayC: Greybox Fuzzing of Compilers and Analysers for C. In ISSTA. ACM 1219--1231.","DOI":"10.1145\/3597926.3598130"},{"key":"e_1_3_2_2_19_1","volume-title":"ESOP (LNCS","volume":"128","author":"Filli\u00e2tre Jean-Christophe","year":"2013","unstructured":"Jean-Christophe Filli\u00e2tre and Andrei Paskevich. 2013. Why3\u2014Where Programs Meet Provers. In ESOP (LNCS, Vol. 7792). Springer, 125--128."},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"crossref","unstructured":"Markus Fleischmann David Kaindlstorfer Anastasia Isychev Valentin W\u00fcstholz and Maria Christakis. 2024. Constraint-Based Test Oracles for Program Analyzers. In ASE. ACM 344--355.","DOI":"10.1145\/3691620.3695035"},{"key":"e_1_3_2_2_21_1","volume-title":"Molnar","author":"Godefroid Patrice","year":"2008","unstructured":"Patrice Godefroid, Michael Y. Levin, and David A. Molnar. 2008. Automated Whitebox Fuzz Testing. In NDSS. The Internet Society, 151--166."},{"key":"e_1_3_2_2_22_1","first-page":"1656","article-title":"Finding and Understanding Defects in Static Analyzers by Constructing Automated Oracles","volume":"1","author":"He Weigang","year":"2024","unstructured":"Weigang He, Peng Di, Mengli Ming, Chengyu Zhang, Ting Su, Shijie Li, and Yulei Sui. 2024. Finding and Understanding Defects in Static Analyzers by Constructing Automated Oracles. PACMSE 1 (2024), 1656--1678. Issue FSE.","journal-title":"PACMSE"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"crossref","unstructured":"Ahmed Irfan Sorawee Porncharoenwase Zvonimir Rakamaric Neha Rungta and Emina Torlak. 2022. Testing Dafny (experience paper). In ISSTA. ACM 556--567.","DOI":"10.1145\/3533767.3534382"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"crossref","unstructured":"David Kaindlstorfer Anastasia Isychev Valentin W\u00fcstholz and Maria Christakis. 2024. Interrogation Testing of Program Analyzers for Soundness and Precision Issues. In ASE. ACM 319--330.","DOI":"10.1145\/3691620.3695034"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/3155562.3155636"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"crossref","unstructured":"Gary A. Kildall. 1973. A Unified Approach to Global Program Optimization. In POPL. ACM 194--206.","DOI":"10.1145\/512927.512945"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"crossref","unstructured":"Christian Klinger Maria Christakis and Valentin W\u00fcstholz. 2019. Differentially Testing Soundness and Precision of Program Analyzers. In ISSTA. ACM 239--250.","DOI":"10.1145\/3293882.3330553"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17511-4_20"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1538788.1538814"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"crossref","unstructured":"Muhammad Numair Mansur Maria Christakis Valentin W\u00fcstholz and Fuyuan Zhang. 2020. Detecting Critical Bugs in SMT Solvers Using Blackbox Mutational Fuzzing. In ESEC\/FSE. ACM 701--712.","DOI":"10.1145\/3368089.3409763"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"crossref","unstructured":"Muhammad Numair Mansur Valentin W\u00fcstholz and Maria Christakis. 2023. Dependency-Aware Metamorphic Testing of Datalog Engines. In ISSTA. ACM 236--247.","DOI":"10.1145\/3597926.3598052"},{"key":"e_1_3_2_2_32_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. Digital Technical Journal 10 (1998), 100--107. Issue 1.","journal-title":"Digital Technical Journal"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10575-8_14"},{"key":"e_1_3_2_2_34_1","volume-title":"Verif. Reliab. 27","author":"Midtgaard Jan","year":"2017","unstructured":"Jan Midtgaard and Anders M\u00f8ller. 2017. QuickChecking Static Analysis Properties. Softw. Test., Verif. Reliab. 27 (2017). Issue 6."},{"key":"e_1_3_2_2_35_1","volume-title":"ECSTATIC: An Extensible Framework for Testing and Debugging Configurable Static Analysis","author":"Mordahl Austin","year":"2023","unstructured":"Austin Mordahl, Zenong Zhang, Dakota Soles, and Shiyi Wei. 2023. ECSTATIC: An Extensible Framework for Testing and Debugging Configurable Static Analysis. In ICSE. IEEE Computer Society, 550--562."},{"key":"e_1_3_2_2_36_1","volume-title":"Summers","author":"M\u00fcller Peter","year":"2016","unstructured":"Peter M\u00fcller, Malte Schwerhoff, and Alexander J. Summers. 2016. Viper: A Verification Infrastructure for Permission-based Reasoning. In VMCAI (LNCS, Vol. 9583). Springer, 41--62."},{"key":"e_1_3_2_2_37_1","first-page":"1","article-title":"Generative Type-Aware Mutation for Testing SMT Solvers","volume":"5","author":"Park Jiwon","year":"2021","unstructured":"Jiwon Park, Dominik Winterer, Chengyu Zhang, and Zhendong Su. 2021. Generative Type-Aware Mutation for Testing SMT Solvers. PACMPL 5 (2021), 1--19. Issue OOPSLA.","journal-title":"PACMPL"},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2532875"},{"key":"e_1_3_2_2_39_1","doi-asserted-by":"crossref","unstructured":"Jubi Taneja Zhengyang Liu and John Regehr. 2020. Testing Static Analyses for Precision and Soundness. In CGO. ACM 81--93.","DOI":"10.1145\/3368826.3377927"},{"key":"e_1_3_2_2_40_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. In Security. USENIX."},{"key":"e_1_3_2_2_41_1","volume-title":"On the Unusual Effectiveness of Type-Aware Operator Mutations for Testing SMT Solvers. PACMPL 4","author":"Winterer Dominik","year":"2020","unstructured":"Dominik Winterer, Chengyu Zhang, and Zhendong Su. 2020. On the Unusual Effectiveness of Type-Aware Operator Mutations for Testing SMT Solvers. PACMPL 4 (2020), 193:1--193:25. Issue OOPSLA."},{"key":"e_1_3_2_2_42_1","doi-asserted-by":"crossref","unstructured":"Dominik Winterer Chengyu Zhang and Zhendong Su. 2020. Validating SMT Solvers via Semantic Fusion. In PLDI. ACM 718--730.","DOI":"10.1145\/3385412.3385985"},{"key":"e_1_3_2_2_43_1","volume-title":"MTZK: Testing and Exploring Bugs in Zero-Knowledge (ZK) Compilers","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 NDSS. The Internet Society."},{"key":"e_1_3_2_2_44_1","doi-asserted-by":"crossref","unstructured":"Chengyu Zhang Ting Su Yichen Yan Fuyuan Zhang Geguang Pu and Zhendong Su. 2019. Finding and Understanding Bugs in Software Model Checkers. In ESEC\/FSE. ACM 763--773.","DOI":"10.1145\/3338906.3338932"},{"key":"e_1_3_2_2_45_1","volume-title":"Statfier: Automated Testing of Static Analyzers via Semantic-Preserving Program Transformations. In ESEC\/FSE. ACM, 237--249.","author":"Zhang Huaien","year":"2023","unstructured":"Huaien Zhang, Yu Pei, Junjie Chen, and Shin Hwei Tan. 2023. Statfier: Automated Testing of Static Analyzers via Semantic-Preserving Program Transformations. In ESEC\/FSE. ACM, 237--249."},{"key":"e_1_3_2_2_46_1","volume-title":"Understanding and Detecting Annotation-Induced Faults of Static Analyzers. CoRR abs\/2402.14366","author":"Zhang Huaien","year":"2024","unstructured":"Huaien Zhang, Yu Pei, Shuyun Liang, and Shin Hwei Tan. 2024. Understanding and Detecting Annotation-Induced Faults of Static Analyzers. CoRR abs\/2402.14366 (2024)."}],"event":{"name":"CCS '25: ACM SIGSAC Conference on Computer and Communications Security","location":"Taipei Taiwan","acronym":"CCS '25","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"]},"container-title":["Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3719027.3744791","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,22]],"date-time":"2025-12-22T22:22:38Z","timestamp":1766442158000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3719027.3744791"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,19]]},"references-count":46,"alternative-id":["10.1145\/3719027.3744791","10.1145\/3719027"],"URL":"https:\/\/doi.org\/10.1145\/3719027.3744791","relation":{},"subject":[],"published":{"date-parts":[[2025,11,19]]},"assertion":[{"value":"2025-11-22","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}