bellman
Circuit builder
A crate for building and implementing zk-SNARK circuits
zk-SNARK library.
1k stars
39 watching
543 forks
Language: Rust
last commit: 4 months ago
Linked from 2 awesome lists
matter-labs/awesome-zero-knowledge-proofs
ventali/awesome-zkRelated projects:
| Repository | Description | Stars |
|---|---|---|
 akosba/jsnark | A Java library for building zk-SNARK circuits using libsnark as a backend. | 210 |
 zokrates/zokrates | Toolbox for implementing and deploying zkSNARKs on the Ethereum blockchain | 1,828 |
 luozhuzhang/zkps-circuit-snark | A zk-SNARK implementation using circom and snarkjs for secure multi-party computation and decentralized applications. | 61 |
 zk-garage/plonk | A Rust implementation of PLONK proving system with optimized performance and genericity for curve types | 294 |
 iden3/circom_old | A compiler for a specific circuit language used in zkSNARKs proofs | 473 |
 ebfull/powersoftau | A multi-party computation protocol for generating secure parameters using zk-SNARKs | 140 |
 argumentcomputer/lurk-beta | A statically scoped Lisp-like language for proving computational claims using zk-SNARKs with an elliptic curve backend. | 434 |
 drom/reqack | A JavaScript toolset for designing and analyzing digital circuits based on an elastic transactional protocol | 29 |
 coder5876/libsnark-tutorial | A tutorial and example code project for creating zk-SNARKs using the libsnark software library | 190 |
 matter-labs-archive/snarkygpu | A GPU-based zkSNARK prover that aims to improve the performance of distributed verification processes for blockchain applications. | 23 |
 consensys/gnark | A fast zk-SNARK library with a high-level API to design circuits. | 1,435 |
 ziglang/zig-bootstrap | An open-source project to build a fully operational Zig compiler from scratch. | 386 |
 succinctlabs/sp1-reth | A proof-of-concept that demonstrates how to build a performant zkEVM using SP1 in Rust | 125 |
 rustcrypto/nacl-compat | Provides Rust compatibility with NaCl-family libraries for secure cryptographic functions. | 58 |
 jlogan03/nucleo-h723zg | Bare-metal examples programs for a specific microcontroller board | 1 |