Formal Verification of Circuit-Soundness in zkWasm, a General Purpose zkVM
Vilhelm Sjöberg, Roger Bai, Hao Chen, Xifeng Jin, Zhaozhong Ni, Sinka Gao, Ronghui Gu, Zhong Shao
2026Year
Ask about this paper
Ask your agent about it.
Lune has read the top-tier papers around this one, so every answer names the papers it rests on.
Your agent calls
Lunesearch_papers
Free to start. No credit card required.
Terminal
Install the CLIlune papers get 559c5a52-3a29-4d26-8cd5-bddd2e227702Related papers
- Automated Verification of Consistency in Zero-Knowledge Proof CircuitsJon Stephens, Shankara Pailoor, Isil DilligCAV 2025 · 2 citations
- Multi-theorem Designated-Verifier NIZK for QMAOmri ShmueliCRYPTO 2021 · 9 citations
- Scalable Verification of Zero-Knowledge ProtocolsMiguel Isabel, Clara Rodríguez-Núñez, Albert RubioS&P 2024 · 14 citations
- Bounded Verification for Finite-Field-Blasting - In a Compiler for Zero Knowledge ProofsAlex Ozdemir, Riad S. Wahby, Fraser Brown, Clark W. BarrettCAV 2023 · 11 citations
- ZKSMT: A VM for Proving SMT Theorems in Zero KnowledgeDaniel Luick, John C. Kolesar, Timos Antonopoulos, William R. Harris et al.USENIX Security 2024
