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
2026年份
问问这篇 Paper
问问你的智能体。
Lune 读过与它相关的顶会 Paper，每个回答都会注明依据哪几篇。
相关 Paper
- Automated Verification of Consistency in Zero-Knowledge Proof CircuitsJon Stephens, Shankara Pailoor, Isil DilligCAV 2025 · 被引用 2 次
- Multi-theorem Designated-Verifier NIZK for QMAOmri ShmueliCRYPTO 2021 · 被引用 9 次
- Scalable Verification of Zero-Knowledge ProtocolsMiguel Isabel, Clara Rodríguez-Núñez, Albert RubioS&P 2024 · 被引用 14 次
- Bounded Verification for Finite-Field-Blasting - In a Compiler for Zero Knowledge ProofsAlex Ozdemir, Riad S. Wahby, Fraser Brown, Clark W. BarrettCAV 2023 · 被引用 11 次
- ZKSMT: A VM for Proving SMT Theorems in Zero KnowledgeDaniel Luick, John C. Kolesar, Timos Antonopoulos, William R. Harris 等USENIX Security 2024
