16 repositorios
Awesome GitHub RepositoriesProof System Implementations
Libraries and frameworks for building and deploying zero-knowledge proof systems.
Explore 16 awesome GitHub repositories matching part of an awesome list · Proof System Implementations. Refine with filters or upvote what's useful.
Awesome Proof System Implementations GitHub Repositories
Encuentra los mejores repositorios con IA.Buscaremos los repositorios que mejor coincidan usando IA.
- scipr-lab/libsnark
scipr-lab/libsnark
1,927Ver en GitHubC++ library for zkSNARKs
C++ library for building zk-SNARKs.
C++ - zokrates/zokrates
Zokrates/ZoKrates
1,878Ver en GitHubA toolbox for zkSNARKs on Ethereum
Toolbox for implementing zk-SNARKs on Ethereum.
Rust - dalek-cryptography/bulletproofs
dalek-cryptography/bulletproofs
1,129Ver en GitHubA pure-Rust implementation of Bulletproofs using Ristretto.
High-performance Bulletproofs implementation in Rust.
Rust - zkcrypto/bellman
zkcrypto/bellman
1,121Ver en GitHubzk-SNARK library.
Rust language library for building zk-SNARK circuits.
Rust - pluto/ronkathon
pluto/ronkathon
Cryptography Educational Foundations
Learning-focused repository for zk-SNARK development.
Rust - christianlundkvist/libsnark-tutorial
christianlundkvist/libsnark-tutorial
Educational tutorial for working with the libsnark library.
- tongsuo-project/tongsuo
Tongsuo-Project/Tongsuo
Cryptographic library supporting various zero-knowledge proof primitives.
- adjoint-io/bulletproofs
adjoint-io/bulletproofs
Implementation of the Bulletproofs protocol for range proofs.
- luozhuzhang/zkps-circuit-snark
LuozhuZhang/zkps-circuit-snark
Example circuits and implementations for zk-SNARKs.
