From b124e5decabcce6bf20047a182e0a964d364aee1 Mon Sep 17 00:00:00 2001
From: Alexander Hicks <25369263+alexanderlhicks@users.noreply.github.com>
Date: Wed, 5 Aug 2026 00:29:56 +0100
Subject: [PATCH] Links to formal verification reference repositories

Formal Methods -> Formal Verification to avoids confusion between possible desired flavours formal methods.
Adds links to the repositories for the cited existing zkVM formal verification repositories.
---
 handbooks/zkvm-handbook.md | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/handbooks/zkvm-handbook.md b/handbooks/zkvm-handbook.md
index dae9365..c4c96ea 100644
--- a/handbooks/zkvm-handbook.md
+++ b/handbooks/zkvm-handbook.md
@@ -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