bellman
by zkcrypto
zk-SNARK library.
AI summary
Circuit builder
A crate for building and implementing zk-SNARK circuits
- stars
- 1K
- forks
- 548
- watching
- 38
- awesome lists
- 2
Similar projects
Found by comparing what the projects do, not just their names.
Circuit builder
A Java library for building zk-SNARK circuits using libsnark as a backend.
zk proof library
Toolbox for implementing and deploying zkSNARKs on the Ethereum blockchain
zk-prover
A zk-SNARK implementation using circom and snarkjs for secure multi-party computation and decentralized applications.
PLONK library
A Rust implementation of PLONK proving system with optimized performance and genericity for curve types
Circuit compiler
A compiler for a specific circuit language used in zkSNARKs proofs
Zk-SNARK generator
A multi-party computation protocol for generating secure parameters using zk-SNARKs
Circuit builder
A JavaScript toolset for designing and analyzing digital circuits based on an elastic transactional protocol
zk-SNARK library
A tutorial and example code project for creating zk-SNARKs using the libsnark software library
zkSNARK prover
A GPU-based zkSNARK prover that aims to improve the performance of distributed verification processes for blockchain applications.
consensys/gnark1.5K
SNARK library
A fast zk-SNARK library with a high-level API to design circuits.
Compiler builder
An open-source project to build a fully operational Zig compiler from scratch.
zkEVM project
A proof-of-concept that demonstrates how to build a performant zkEVM using SP1 in Rust
Cryptographic library
Provides Rust compatibility with NaCl-family libraries for secure cryptographic functions.
Board demos
Bare-metal examples programs for a specific microcontroller board
Featured in 2 awesome lists
Each link jumps to the spot where the list mentions bellman.
