Update on Project 7: Security

Cody Gunton - April 8, 2026

https://codygunton.github.io/talks-and-writing/2026-04-08-zkevm-breakout/

QR code to slides

RISC-V Compliance

  • Testing: Across three different zkVMs, I identified and reported many bugs and RISC-V compliance issues. Will report more after further consultation.

  • Fuzzing: Grantees reporting and finding bugs; will disclose publicly in time.

  • Specs: "Golden Model" updates: https://github.com/riscv/sail-riscv/pull/1468
    sail-riscv PR #1468

What does formal verification give us...?

SNARK Specifications

https://codygunton.github.io/openvm/: Markdown guide to the Python implementation, the latter being the proposed starter.

Thanks for your attention!