Proving the Wrong Program: Miscompilations as a Threat to zkVM Guarantees

Hui Xuan Tan, Stefanos Chaliasos, Alastair F. Donaldson

A zero-knowledge virtual machine (zkVM) lets an untrusted prover convince a verifier that a program, typically Rust compiled to RISC-V, ran correctly. The proof covers the compiled…