A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool