#audit
Bind the witness, or the witness binds you. Introduction Ziren is one of the more interesting zkVM targets we have looked at in a while, partly because it does not follow the now familiar RISC V path. It takes a MIPS32R2 execution...
If it is not in the statement, it belongs to the prover. Introduction Pico is exactly the kind of zkVM that rewards a close audit. On the surface, the pitch is compelling: a high performance, modular zkVM with multiple proving bac...
In zk systems, every shortcut becomes part of the threat model. Introduction Jolt is one of the more interesting zkVMs to read closely because it is not trying to hide its design tradeoffs. At a high level, Jolt takes a pragmatic...