risc0 / risc0-lean4

A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
57Updated last year

Related projects

Alternatives and complementary repositories for risc0-lean4