Skip to content

Links to formal verification reference repositories #39

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
codygunton merged 1 commit into from
Aug 5, 2026
Merged

Links to formal verification reference repositories #39

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 3 additions & 3 deletions handbooks/zkvm-handbook.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -25,11 +25,11 @@ requirements, which are further described in subsequent sections.
precisely, preference is given to zkVMs maintained by established execution-layer teams or
credible working groups

## Formal Methods Requirements
## Formal Verification Requirements

The use of formal verification for the prevention of circuit-correctness bugs has been proven
effective in recent efforts targeting SP1, OpenVM, Pico, and ZisK. Specific coverage expectations
will be published later.
effective in recent efforts targeting [SP1](https://github.com/succinctlabs/sp1-lean), [OpenVM](https://github.com/openvm-org/openvm-fv), [Pico](https://github.com/NethermindEth/pico-fv), and [ZisK](https://github.com/eth-act/zisk-fv).
Specific coverage expectations will be published later.

## The Reference Cluster

Expand Down
Loading