Login
From:
Formal Land Blog
(Uncensored)
subscribe
🥷 Formal verification of an OpenVM chip
https://formal.land/blog/2025/08/13/verification-of-openvm-branch-eq
links
backlinks
Tagged with:
determinism
zero-knowledge
zkvm
In this blog post, we present the formal verification of the determinism of the BranchEq circuit of the OpenVM zkVM. This zkVM provides an implementation of RISC-V with Plonky3, and appears to be very fast even on a CPU.
Roast topics
Find topics
Find it!
