Preprint
Sep 2026
Efficient Branch-and-Bound Testing and Verification of zkVMs
Zero-knowledge virtual machines (zkVMs) enable verifiable execution of general-purpose programs by translating virtual machine semantics into algebraic constraints over execution traces. The correctness of these constraints is critical: a single incorrect constraint can admit forged proofs (under-constrained) or reject...
Hideaki Takahashi, Suman Jana, Junfeng Yang
· 0 citations