kunxian xia's repositories
bellman
zk-SNARK library
Language:RustNOASSERTION000
Language:RustNOASSERTION000
lotus
Implementation of the Filecoin protocol, written in Go
Language:GoNOASSERTION000
miden
STARK-based virtual machine
Language:RustMIT000
rust-fil-proofs
Proofs for Filecoin in Rust
Language:RustNOASSERTION000
sapling-crypto
Zcash "Sapling" cryptography
Language:RustNOASSERTION000
NOASSERTION000