{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,2]],"date-time":"2026-07-02T16:16:21Z","timestamp":1783008981718,"version":"3.54.5"},"reference-count":80,"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"}],"funder":[{"DOI":"10.13039\/100000001","name":"NSF","doi-asserted-by":"publisher","award":["CNS-2045861"],"award-info":[{"award-number":["CNS-2045861"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026,5,18]]},"DOI":"10.1109\/sp63933.2026.00059","type":"proceedings-article","created":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T19:34:20Z","timestamp":1782934460000},"page":"1882-1901","source":"Crossref","is-referenced-by-count":1,"title":["Coral: Fast Succinct Non-Interactive Zero-Knowledge CFG Proofs"],"prefix":"10.1109","author":[{"given":"Sebastian","family":"Angel","sequence":"first","affiliation":[{"name":"Brave Software & University of Bristol,United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sof\u00eda","family":"Celi","sequence":"additional","affiliation":[{"name":"University of Pennsylvania,USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Elizabeth","family":"Margolin","sequence":"additional","affiliation":[{"name":"University of Pennsylvania,USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Pratyush","family":"Mishra","sequence":"additional","affiliation":[{"name":"University of Pennsylvania,USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Martin","family":"Sander","sequence":"additional","affiliation":[{"name":"University of Pennsylvania,USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jess","family":"Woods","sequence":"additional","affiliation":[{"name":"University of Pennsylvania,USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","volume-title":"Add GPU acceleration to bn256_grumpkin"},{"key":"ref2","volume-title":"Circom"},{"key":"ref3","volume-title":"Citibank consumer apis"},{"key":"ref4","volume-title":"Coral: Fast succinct non-interactive zero-knowledge CFG proofs"},{"key":"ref5","volume-title":"DraftKings"},{"key":"ref6","volume-title":"Llvm test suite"},{"key":"ref7","volume-title":"The Noir programming language"},{"key":"ref8","volume-title":"Nova: Recursive SNARKs without trusted setup"},{"key":"ref9","volume-title":"Perpetual Powers of Tau"},{"key":"ref10","volume-title":"Pest: The elegant parser"},{"key":"ref11","volume-title":"Plaid"},{"key":"ref12","volume-title":"Segmented memory for R1CS"},{"key":"ref13","volume-title":"Sui zkLogin Demo"},{"key":"ref14","volume-title":"A thoughtful introduction to the pest parser: non-atomic rules"},{"key":"ref15","volume-title":"Toml: Tom\u2019s obvious minimal language"},{"key":"ref16","volume-title":"Veratad"},{"key":"ref17","journal-title":"Zero knowledge fold for nova ivc from hypernova"},{"key":"ref18","volume-title":"zkNova with CC-IVC"},{"key":"ref19","volume-title":"ZoKrates: A toolbox for zkSNARKs on ethereum"},{"key":"ref21","volume-title":"Zk email verify","year":"2023"},{"key":"ref22","article-title":"Efficient representation of numerical optimization problems for SNARKs","volume-title":"Proceedings of the USENIX Security Symposium","author":"Angel"},{"key":"ref23","article-title":"Coral: Fast succinct non-interactive zero-knowledge CFG proofs","author":"Angel","year":"2025","journal-title":"Cryptology ePrint Archive, Paper 2025\/1420"},{"key":"ref24","article-title":"Reef: Fast succinct non-interactive zero-knowledge regex proofs","volume-title":"Proceedings of the USENIX Security Symposium","author":"Angel"},{"key":"ref25","volume-title":"arkworks zksnark ecosystem","year":"2022"},{"key":"ref26","article-title":"Nebula: Efficient read-write memory and switchboard circuits for folding schemes","author":"Arun","year":"2024","journal-title":"Cryptology ePrint Archive, Paper 2024\/1605"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-58751-1_1"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/3658644.3690356"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/2422436.2422481"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40084-1_6"},{"key":"ref31","article-title":"Succinct noninteractive zero knowledge for a von neumann architecture","volume-title":"Proceedings of the USENIX Security Symposium","author":"Ben-Sasson"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1991.185352"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2522733"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2522733"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2025.241367"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-45721-1_26"},{"key":"ref37","article-title":"cq: Cached quotients for fast lookups","author":"Eagen","year":"2022","journal-title":"Cryptology ePrint Archive, Paper 2022\/1763"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/3460120.3484795"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/964001.964011"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.62056\/a3qjmpgxq"},{"key":"ref41","article-title":"plookup: A simplified polynomial protocol for lookup tables","author":"Gabizon","year":"2020","journal-title":"Cryptology ePrint Archive, Paper 2020\/315"},{"key":"ref42","volume-title":"Proposal: The turboPLONK program syntax for specifying SNARK programs.","author":"Gabizon","year":"2020"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38348-9_37"},{"key":"ref44","article-title":"Poseidon: A new hash function for zero-knowledge proof systems","volume-title":"Proceedings of the USENIX Security Symposium","author":"Grassi","year":"2021"},{"key":"ref45","article-title":"Zeroknowledge middleboxes","volume-title":"Proceedings of the USENIX Security Symposium","author":"Grubbs","year":"2022"},{"key":"ref46","volume-title":"Have i been pwned?","author":"Hunt"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/SP46215.2023.10179393"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17373-8_11"},{"key":"ref49","article-title":"The C programming language","author":"Kernighan","year":"1978","journal-title":"Prentice-Hall, Inc., USA"},{"key":"ref50","volume-title":"The Art of Computer Programming, Vol. I: Fundamental Algorithms.","author":"Knuth","year":"1968"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-68403-6_11"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-15985-5_13"},{"key":"ref53","volume-title":"SP1.","author":"Labs"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1979.1675439"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.56553\/popets-2025-0028"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1145\/505241.505242"},{"key":"ref57","article-title":"Privacypreserving regular expression matching using nondeterministic finite automata","author":"Luo","year":"2023","journal-title":"Cryptology ePrint Archive, Paper 2023\/643"},{"key":"ref58","article-title":"Practical proofs of parsing for context-free grammars","author":"Malvai","year":"2024","journal-title":"Cryptology ePrint Archive, Paper 2024\/562"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1145\/3143361.3143383"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-68403-6_10"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1109\/SP46214.2022.9833782"},{"key":"ref62","article-title":"Scaling verifiable computation using efficient set accumulators","volume-title":"Proceedings of the USENIX Security Symposium","author":"Ozdemir","year":"2020"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-57877-3_18"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-64948-6_19"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1145\/3658644.3690282"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1109\/SP46215.2023.10179430"},{"key":"ref68","article-title":"Proving the correct execution of concurrent services in zero-knowledge","volume-title":"Proceedings of the USENIX Symposium on Operating Systems Design and Implementation (OSDI)","author":"Setty","year":"2018"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1145\/2465351.2465359"},{"key":"ref70","article-title":"Customizable constraint systems for succinct arguments","author":"Setty","year":"2023","journal-title":"Cryptology ePrint Archive, Paper 2023\/552"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-58751-1_7"},{"key":"ref72","article-title":"Taking proof-based verified computation a few steps closer to practicality","volume-title":"Proceedings of the USENIX Security Symposium","author":"Setty","year":"2012"},{"key":"ref73","volume-title":"A brief history of lookup arguments","author":"Solberg","year":"2023"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78524-8_1"},{"key":"ref75","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2015.23097"},{"key":"ref76","article-title":"Mystique: Efficient conversions for zero-knowledge proofs with applications to machine learning","volume-title":"Proceedings of the USENIX Security Symposium","author":"Weng","year":"2021"},{"key":"ref77","article-title":"Lightweight authentication of web data via garble-then-prove","volume-title":"Proceedings of the USENIX Security Symposium","author":"Xie","year":"2024"},{"key":"ref78","article-title":"Zombie: Middleboxes that don\u2019t snoop","volume-title":"Proceedings of the USENIX Symposium on Networked Systems Design and Implementation (NSDI)","author":"Zhang","year":"2024"},{"key":"ref79","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978326"},{"key":"ref80","doi-asserted-by":"publisher","DOI":"10.1145\/3372297.3417239"},{"key":"ref81","doi-asserted-by":"publisher","DOI":"10.1109\/SP61157.2025.00168"},{"key":"ref82","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2021.3068195"}],"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\/11573567.pdf?arnumber=11573567","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,2]],"date-time":"2026-07-02T05:37:18Z","timestamp":1782970638000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11573567\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,5,18]]},"references-count":80,"URL":"https:\/\/doi.org\/10.1109\/sp63933.2026.00059","relation":{},"subject":[],"published":{"date-parts":[[2026,5,18]]}}}