risc0 / risc0-lean4Links

A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
68Updated 2 years ago

Alternatives and similar repositories for risc0-lean4

Users that are interested in risc0-lean4 are comparing it to the libraries listed below

Sorting: