{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T15:31:28Z","timestamp":1773588688755,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":56,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,3,22]]},"DOI":"10.1145\/3779212.3790159","type":"proceedings-article","created":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T13:55:26Z","timestamp":1773150926000},"page":"697-714","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Evaluating Compiler Optimization Impacts on zkVM Performance"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0009-5249-2610","authenticated-orcid":false,"given":"Thomas","family":"Gassmann","sequence":"first","affiliation":[{"name":"ETH Z\u00fcrich, Z\u00fcrich, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5414-4120","authenticated-orcid":false,"given":"Stefanos","family":"Chaliasos","sequence":"additional","affiliation":[{"name":"Centre for Blockchain Technologies, University College London, London, United Kingdom and zkSecurity, New York, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9906-3073","authenticated-orcid":false,"given":"Thodoris","family":"Sotiropoulos","sequence":"additional","affiliation":[{"name":"ETH Z\u00fcrich, Z\u00fcrich, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2970-1391","authenticated-orcid":false,"given":"Zhendong","family":"Su","sequence":"additional","affiliation":[{"name":"ETH Z\u00fcrich, Z\u00fcrich, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2026,3,22]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2025. RISC Zero Guest Optimization Guide. https:\/\/dev.risczero.com\/ api\/zkvm\/optimization."},{"key":"e_1_3_2_1_2_1","unstructured":"a16z crypto. 2024. a16z crypto zkVM benchmarks. https:\/\/github.com\/a16z\/zkvm-benchmarks."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134104"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2628071.2628092"},{"key":"e_1_3_2_1_5_1","volume-title":"Jolt: SNARKs for Virtual Machines via Lookups. Cryptology ePrint Archive, Paper 2023\/1217. https:\/\/eprint.iacr.org\/2023\/1217","author":"Arun Arasu","year":"2023","unstructured":"Arasu Arun, Srinath Setty, and Justin Thaler. 2023. Jolt: SNARKs for Virtual Machines via Lookups. Cryptology ePrint Archive, Paper 2023\/1217. https:\/\/eprint.iacr.org\/2023\/1217"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3658644.3690356"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2022.3232813"},{"key":"e_1_3_2_1_8_1","unstructured":"Eli Ben-Sasson Iddo Bentov Yinon Horesh and Michael Riabzev. 2018. Scalable transparent and post-quantum secure computational integrity. IACR Cryptol. ePrint Arch. (2018) 46. http:\/\/eprint.iacr.org\/2018\/046"},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings of the 23rd USENIX Conference on Security Symposium","author":"Ben-Sasson Eli","year":"2014","unstructured":"Eli Ben-Sasson, Alessandro Chiesa, Eran Tromer, and Madars Virza. 2014. Succinct non-interactive zero knowledge for a von Neumann architecture. In Proceedings of the 23rd USENIX Conference on Security Symposium (San Diego, CA) (SEC'14). USENIX Association, USA, 781\u2013796."},{"key":"e_1_3_2_1_10_1","volume-title":"Transparent Arguments of RISC-V Integrity.","author":"Bruestle Jeremy","year":"2023","unstructured":"Jeremy Bruestle and Paul Gafni. 2023. RISC Zero zkVM: Scalable, Transparent Arguments of RISC-V Integrity. (2023). https:\/\/dev.risczero.com\/proof-system-in-detail.pdf"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3185768.3185771"},{"key":"e_1_3_2_1_12_1","unstructured":"Vitalik Buterin. 2025. Simple L1: Make a successful L1 by only doing the bare essentials. https:\/\/vitalik.eth.limo\/general\/2025\/05\/03\/simplel1.html"},{"key":"e_1_3_2_1_13_1","volume-title":"Proceedings of the 33rd USENIX Conference on Security Symposium","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 Proceedings of the 33rd USENIX Conference on Security Symposium (Philadelphia, PA, USA) (SEC '24). USENIX Association, USA, Article 216, 18 pages."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPICS.AFT.2024.6"},{"key":"e_1_3_2_1_15_1","unstructured":"NASA Advanced Supercomputing (NAS) Division. 2024. NAS Parallel Benchmarks. https:\/\/www.nas.nasa.gov\/software\/npb.html"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-71070-4_3"},{"key":"e_1_3_2_1_17_1","unstructured":"Jens Ernstberger Stefanos Chaliasos Liyi Zhou Philipp Jovanovic and Arthur Gervais. 2024b. Do You Need a Zero Knowledge Proof? Cryptology ePrint Archive Paper 2024\/050. https:\/\/eprint.iacr.org\/2024\/050"},{"key":"e_1_3_2_1_18_1","unstructured":"Ethereum Foundation. 2025. Ethproofs. https:\/\/ethproofs.org\/ Accessed: 2025-08-12."},{"key":"e_1_3_2_1_19_1","unstructured":"Joseph Rafael Ferrer. 2020. polybench-rs. https:\/\/github.com\/JRF63\/polybench-rs."},{"key":"e_1_3_2_1_20_1","volume-title":"Instruction Tables: Lists of instruction latencies, throughputs and micro-operation breakdowns for Intel, AMD, and VIA CPUs","author":"Fog Agner","year":"2022","unstructured":"Agner Fog. 2022. Instruction Tables: Lists of instruction latencies, throughputs and micro-operation breakdowns for Intel, AMD, and VIA CPUs. Technical University of Denmark. https:\/\/www.agner.org\/optimize\/instruction_tables.pdf Last updated: 2022-11-04."},{"key":"e_1_3_2_1_21_1","unstructured":"Matteo Frigo and abhi shelat. 2024. Anonymous credentials from ECDSA. Cryptology ePrint Archive Paper 2024\/2010. https:\/\/eprint.iacr.org\/2024\/2010"},{"key":"e_1_3_2_1_22_1","volume-title":"PLONK: Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge. Cryptology ePrint Archive, Paper 2019\/953. https:\/\/eprint.iacr.org\/2019\/953","author":"Gabizon Ariel","year":"2019","unstructured":"Ariel Gabizon, Zachary J. Williamson, and Oana Ciobotaru. 2019. PLONK: Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge. Cryptology ePrint Archive, Paper 2019\/953. https:\/\/eprint.iacr.org\/2019\/953"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2508.17518"},{"key":"e_1_3_2_1_24_1","unstructured":"Lior Goldberg Shahar Papini and Michael Riabzev. 2021. Cairo \u2013 a Turing-complete STARK-friendly CPU architecture. Cryptology ePrint Archive Paper 2021\/1063. https:\/\/eprint.iacr.org\/2021\/1063"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/22145.22178"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49896-5_11"},{"key":"e_1_3_2_1_27_1","unstructured":"John Guibas. 2024. SP1 Benchmarks. https:\/\/blog.succinct.xyz\/sp1-benchmarks-8-6-24\/ Accessed: 2025-08-15."},{"key":"e_1_3_2_1_28_1","unstructured":"Aligned Inc. 2024. zkVMs benchmarks. https:\/\/github.com\/yetanotherco\/zkvm_benchmarks."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1093\/biomet\/30.1-2.81"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-15985-5_13"},{"key":"e_1_3_2_1_31_1","unstructured":"Succinct Labs. 2024a. Reth Succinct Processor (RSP). https:\/\/github.com\/succinctlabs\/rsp."},{"key":"e_1_3_2_1_32_1","unstructured":"Succinct Labs. 2024b. SP1 Technical Whitepaper. (2024). Whitepaper."},{"key":"e_1_3_2_1_33_1","unstructured":"Succinct Labs. 2024c. Upgrading Blobstream to SP1. https:\/\/blog.succinct.xyz\/celestia-sp1. https:\/\/blog.succinct.xyz\/celestia-sp1 Accessed: 2025-07-15."},{"key":"e_1_3_2_1_34_1","unstructured":"Succinct Labs. 2024d. zkvm-perf. https:\/\/github.com\/succinctlabs\/zkvm-perf."},{"key":"e_1_3_2_1_35_1","unstructured":"Succinct Labs. 2025. SP1 GitHub. https:\/\/github.com\/succinctlabs\/sp1. GitHub repository."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.48550\/ARXIV.2408.00243"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3575693.3575711"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","unstructured":"Eduardo M. Martins Leonardo G. Fa\u00e9 Renato B. Hoffmann Lucas S. Bianchessi and Dalvan Griebler. 2025. NPB-Rust: NAS Parallel Benchmarks in Rust. arXiv:2502.15536 [cs.DC] doi:10.48550\/arXiv.2502.15536","DOI":"10.48550\/arXiv.2502.15536"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/36206.36194"},{"key":"e_1_3_2_1_41_1","unstructured":"Mashiat Mutmainnah. 2024. How to leverage RISC Zero's zkVM to scale Bitcoin. https:\/\/risczero.com\/blog\/how-to-leverage-risc-zeros-zkvm-to-scale-bitcoin"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2013.47"},{"key":"e_1_3_2_1_43_1","unstructured":"Louis-Noel Pouchet. 2010. PolyBench\/C - the Polyhedral Benchmark suite. https:\/\/www.cs.colostate.edu\/ pouchet\/software\/polybench\/."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454035"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.1711.04422"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2014.36"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/2499368.2451150"},{"key":"e_1_3_2_1_48_1","unstructured":"Srinath Setty Justin Thaler and Riad Wahby. 2023. Unlocking the lookup singularity with Lasso. Cryptology ePrint Archive Paper 2023\/1216. https:\/\/eprint.iacr.org\/2023\/1216"},{"key":"e_1_3_2_1_49_1","unstructured":"Succinct Labs. 2025. SP1 Documentation: Hardware Acceleration. https:\/\/docs.succinct.xyz\/docs\/sp1\/generating-proofs\/hardware-acceleration. Accessed: 2025-08-12."},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1561\/3300000030"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/3503222.3507744"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2505.08114"},{"key":"e_1_3_2_1_53_1","unstructured":"Verified zkEVM Initiative. 2025. Verified zkEVM. https:\/\/verified-zkevm.org\/"},{"key":"e_1_3_2_1_54_1","unstructured":"Andrew Waterman Yunsup Lee David A. Patterson and Krste Asanovi\u0107. 2016. The RISC-V Instruction Set Manual Volume I: User-Level ISA Version 2.1. Technical Report UCB\/EECS-2016-118. http:\/\/www2.eecs.berkeley.edu\/Pubs\/TechRpts\/2016\/EECS-2016-118.html"},{"key":"e_1_3_2_1_55_1","unstructured":"RISC Zero. 2025a. RISC Zero - Recursive Proving. https:\/\/dev.risczero.com\/api\/recursion."},{"key":"e_1_3_2_1_56_1","unstructured":"RISC Zero. 2025b. RISC Zero GitHub. https:\/\/github.com\/risc0\/risc0. GitHub repository."}],"event":{"name":"ASPLOS '26: 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems","location":"Pittsburgh PA USA","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems","SIGPLAN ACM Special Interest Group on Programming Languages","SIGARCH ACM Special Interest Group on Computer Architecture","SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2"],"original-title":[],"deposited":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T14:06:29Z","timestamp":1773583589000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3779212.3790159"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,3,22]]},"references-count":56,"alternative-id":["10.1145\/3779212.3790159","10.1145\/3779212"],"URL":"https:\/\/doi.org\/10.1145\/3779212.3790159","relation":{},"subject":[],"published":{"date-parts":[[2026,3,22]]},"assertion":[{"value":"2026-03-22","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}