Stars
18
stars
written in Rust
Clear filter
🦀 Small exercises to get you used to reading and writing Rust code!
Educational blog posts for Rust beginners
A STARK prover and verifier for arbitrary computations
Nova: High-speed recursive zero-knowledge arguments from folding schemes
Performance and security acceleration for zkVMs.
Rust Poseidon implementation (contact: @porcuquine)
filecoin-project / bellperson
Forked from zkcrypto/bellmanzk-SNARK library
Implementation of incrementally verifiable ledger system