We recently collaborated with @SuccinctLabs to verify the determinism of SP1 circuits using Picus—Veridise’s formal verification tool for zero-knowledge circuits.

This marks the first step toward formally verifying the entire SP1 zkVM 🧵

1/6