Leo's repositories
ethereum_formal_verification_overview
Overview of the formal verification projects in the Ethereum ecosystem.
powdr-brainfuck
ZK proofs for Brainfuck execution using powdr
zokrates_nova
Examples of Nova recursive proofs for ZoKrates programs.
bellperson
zk-SNARK library
babyjubjub-rs
BabyJubJub elliptic curve implementation in Rust
eigen-zkvm
A private zkVM basing on layered proof system
fil_pasta_curves
Rust implementation for zcash/pasta
poseidon-rs
Poseidon hash function
risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
Language:C++Apache-2.0000
zkevm-prover
zkEVM prover in C++