grandinetech / rust-kzg
Parallelized multi-backend KZG library for Ethereum Data Sharding (aka Proto-Danksharding, EIP-4844)
☆117Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for rust-kzg
- ☆147Updated 8 months ago
- ☆118Updated last month
- Monorepo for Summa Proof of Solvency Protocol☆96Updated 2 months ago
- ☆94Updated 3 months ago
- A suite of `no_std` components for the OP Stack state transition function and L2 chain derivation.☆136Updated this week
- A curated list of repos related to Circom☆94Updated last year
- Email verification circuit in halo2☆63Updated 4 months ago
- Polynomials Identity Language☆67Updated 8 months ago
- ☆117Updated 2 months ago
- A community-developed re-implementation of the Starkware Stone Prover☆70Updated 3 weeks ago
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆93Updated 3 months ago
- Tooling for creating collaborative SNARKs for Circom circuits.☆101Updated this week
- Include halo2 example circuits☆84Updated last year
- Technical documentation of the zkEVM☆88Updated 5 months ago
- OS for next iteration of the world computer☆45Updated last year
- Gas-efficient and blazing fast proving for private signaling☆81Updated 9 months ago
- Benchmarking framework for general purpose zero-knowledge proofs languages and libraries☆99Updated 7 months ago
- Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.☆238Updated 3 weeks ago
- barretenburg in rust (here we go)☆97Updated 10 months ago
- Template for integrating RISC Zero and Ethereum using Foundry☆105Updated 2 weeks ago
- Zirgen compiler and RISC Zero circuits☆55Updated this week
- A set of Zero Knowledge modules, written in Rust and designed to be used in other system programming environments.☆133Updated this week
- A PoC repo for a HyperNova impl☆82Updated last year
- A Cairo VM prover implemented using Winterfell☆156Updated 2 years ago
- Benchmark of multiple zk implementations.☆82Updated last year
- SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)☆69Updated 2 weeks ago
- Basic scaffolding for setting up and writing a Halo2 ZK circuit☆109Updated 10 months ago
- Implementation of PLUME: nullifier friendly signature scheme on ECDSA☆134Updated 2 weeks ago
- Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758☆121Updated last year
- Implementation of zero-knowledge proof circuits for Tendermint.☆79Updated 7 months ago