1 result found Sort:

risc0
risc0-lean4 risc0
4
60
apache-2.0
21
A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
lean zkvm lean4 risc0 riscv risc-v riscv32 zk-stark riscv32im zero-knowledge
Created 2022-11-26
281 commits to main branch, last one about a year ago