{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,13]],"date-time":"2026-03-13T04:43:32Z","timestamp":1773377012782,"version":"3.50.1"},"reference-count":58,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,11,16]],"date-time":"2025-11-16T00:00:00Z","timestamp":1763251200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,11,16]],"date-time":"2025-11-16T00:00:00Z","timestamp":1763251200000},"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":[[2025,11,16]]},"DOI":"10.1109\/ase63991.2025.00124","type":"proceedings-article","created":{"date-parts":[[2026,1,28]],"date-time":"2026-01-28T20:54:38Z","timestamp":1769633678000},"page":"1464-1476","source":"Crossref","is-referenced-by-count":0,"title":["ScaleCirc: Scaling the Analysis over Circom Circuits"],"prefix":"10.1109","author":[{"given":"Jinan","family":"Jiang","sequence":"first","affiliation":[{"name":"Hong Kong Polytechnic University"}]},{"given":"Haoran","family":"Qin","sequence":"additional","affiliation":[{"name":"Hong Kong Polytechnic University"}]},{"given":"Xiapu","family":"Luo","sequence":"additional","affiliation":[{"name":"Hong Kong Polytechnic University"}]}],"member":"263","reference":[{"key":"ref1","article-title":"Zero-knowledge rollups","year":"2025"},{"key":"ref2","article-title":"zksync overview","year":"2024"},{"key":"ref3","article-title":"Polygon overview","year":"2025"},{"key":"ref4","article-title":"Scroll overview","year":"2025"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/SP46215.2023.10179430"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/SCIoT62588.2024.10570116"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/Blockchain62396.2024.00093"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/sp61157.2025.00057"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3658644.3670316"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3658644.3670334"},{"key":"ref11","first-page":"2021\/087","article-title":"ZEN: An optimizing compiler for verifiable, zero-knowledge neural network inferences","volume-title":"Cryptology ePrint Archive","author":"Feng","year":"2021"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3460120.3485379"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2024.3520863"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3627703.3650088"},{"key":"ref15","article-title":"Sok: what don\u2019t we know? understanding security vulnerabilities in snarks","volume-title":"Proceedings of the 33rd USENIX Conference on Security Symposium","author":"Chaliasos"},{"key":"ref16","article-title":"Bigmod incorrectly omits range checks on the remainder","year":"2022"},{"key":"ref17","article-title":"Coreverifypubkeyg1 does not enforce lt checks on input","year":"2022"},{"key":"ref18","article-title":"Fix maci 1.0 processmessages circuit to prevent message censorship by the coordinator","year":"2021"},{"key":"ref19","article-title":"Disclosure of recent vulnerabilities","year":"2022"},{"key":"ref21","article-title":"circomlib","year":"2025"},{"key":"ref22","article-title":"Inspect option - circom 2 documentation","year":"2025"},{"key":"ref23","first-page":"1471","article-title":"Practical security analysis of Zero-Knowledge proof circuits","volume-title":"33rd USENIX Security Symposium (USENIX Security 24)","author":"Wen"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/icse55347.2025.00200"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/3591282"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/sp54263.2024.00133"},{"key":"ref27","article-title":"Z3","year":"2025"},{"key":"ref28","article-title":"Cvc5-ff","author":"Ozdemir","year":"2022"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/3729388"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/3611643.3616343"},{"key":"ref31","article-title":"Signals - circom 2 documentation","year":"2025"},{"key":"ref32","article-title":"The circom github repository","year":"2025"},{"key":"ref33","article-title":"snarkjs","year":"2025"},{"key":"ref34","article-title":"circom2llvm","year":"2025"},{"key":"ref35","article-title":"zkfuzz: Foundation and framework for effective fuzzing of zero-knowledge circuits","author":"Takahashi","year":"2025"},{"key":"ref36","article-title":"Auditing Report FOR circom-bigint (circomlib)","author":"or Firm","year":"2022"},{"key":"ref37","article-title":"Circom 2 documentation"},{"key":"ref38","article-title":"Ecneproject","year":"2022"},{"key":"ref39","article-title":"It pays to be circomspect","year":"2022"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2022.3232813"},{"key":"ref41","first-page":"2021\/651","article-title":"Leo: A programming language for formally verified, zero-knowledge applications","volume-title":"Cryptology ePrint Archive","author":"Chin","year":"2021"},{"key":"ref42","first-page":"2021\/1063","article-title":"Cairo \u2013 a turing-complete STARK-friendly CPU architecture","volume-title":"Cryptology ePrint Archive","author":"Goldberg","year":"2021"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/Cybermatics_2018.2018.00199"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/sp54263.2024.00078"},{"key":"ref45","first-page":"2023\/1278","article-title":"Compositional formal verification of zero-knowledge circuits","volume-title":"Cryptology ePrint Archive","author":"Coglio","year":"2023"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.4204\/eptcs.393.9"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49896-5_11"},{"key":"ref48","first-page":"2019\/953","article-title":"PLONK: Permutations over lagrange-bases for oecumenical noninteractive arguments of knowledge","volume-title":"Cryptology ePrint Archive","author":"Gabizon","year":"2019"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-26954-8_24"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/sp54263.2024.00035"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/sp61157.2025.00202"},{"key":"ref52","article-title":"risc0","year":"2025"},{"key":"ref53","article-title":"succinctlabs\/sp1","year":"2025"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-58751-1_1"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-58751-1_7"},{"key":"ref56","first-page":"2024\/1841","article-title":"Verifying jolt zkVM lookup semantics","volume-title":"Cryptology ePrint Archive","author":"Kwan","year":"2024"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2025.230530"},{"key":"ref58","article-title":"Fuzzing processing pipelines for zero-knowledge circuits","author":"Hochrainer","year":"2024"},{"key":"ref59","first-page":"4093","article-title":"Automated soundness and completeness vetting of polygon {zkEVM}","volume-title":"Proceedings of the 34th USENIX Security Symposium (USENIX SEC)","author":"Peng"}],"event":{"name":"2025 40th IEEE\/ACM International Conference on Automated Software Engineering (ASE)","location":"Seoul, Korea, Republic of","start":{"date-parts":[[2025,11,16]]},"end":{"date-parts":[[2025,11,20]]}},"container-title":["2025 40th IEEE\/ACM International Conference on Automated Software Engineering (ASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11334056\/11334198\/11334720.pdf?arnumber=11334720","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T20:30:02Z","timestamp":1773347402000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11334720\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,16]]},"references-count":58,"URL":"https:\/\/doi.org\/10.1109\/ase63991.2025.00124","relation":{},"subject":[],"published":{"date-parts":[[2025,11,16]]}}}