Update on Project 7: Security

Cody Gunton - March 11, 2026

https://codygunton.github.io/talks-and-writing/2026-03-11-zkevm-breakout/

QR code to slides

RISC-V Compliance Testing

ACT4 test monitor

There are recent improvements to https://github.com/riscv/riscv-arch-test

  • RISCOF framework, more invasive to implement, is no more.
  • New tests!
  • Commitment to more legible release schedule.

TODO: update https://eth-act.github.io/zkevm-test-monitor/

Soundcalc

What it is: a Python tool to calculate number of bits of security.

Five zkVMs integrated by requested deadline
https://github.com/ethereum/soundcalc/blob/main/reports/summary.md

Thanks to the teams behind: Airbender, OpenVM, Pico, SP1, ZisK

What does formal verification give us...?

SNARK Specifications

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

Thanks for your attention!