risc0 topic

List risc0 repositories

risc0-lean4

54
Stars
3
Forks
Watchers

A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover

verified publisher icon risc0