Miscompilations threaten zkVM guarantees in SP1 and Jolt
48 miscompilations affect SP1 and 46 affect Jolt, allowing attackers to force wrong outputs via guest code.
Stories per day · 30 days
2 stories, newest first · one card per story
Stories tagged #zkvm
Efficient Branch-and-Bound Testing and Verification of zkVMs
ZEBRA verifies zkVM constraint systems via branch-and-bound cardinality counting, finding 11 zero-day bugs across five real-world zkVMs and running 51.5x faster than SMT verification.