Starred repositories
10
stars
written in Lean
Clear filter
Lean 4 programming language and theorem prover
Formally Verified Arguments of Knowledge in Lean
A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
a zero-knowledge proof-carrying code platform for Lean 4
Extracting the semantics of Noir to Lean for formal verification
zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements
SC: Ethereum - zk(E)VM Verification - WHIR Lean Blueprint