
Using Lean to Formally Verify the Correctness of SP1
Today, we’re sharing progress on formally verifying the correctness of SP1 in collaboration with Nethermind, experts in formal methods with a strong focus on enhancing the security of zero-knowledge proofs. Last week, we announced our work on using formal verification tools to prove the determinism of SP1. While determinism