crate-crypto / go-eth-kzg
☆29Updated last week
Alternatives and similar repositories for go-eth-kzg:
Users that are interested in go-eth-kzg are comparing it to the libraries listed below
- Kate commitment based PLONK recursive aggregation circuit☆40Updated last year
- Benchmarks of popular zkVMs including Jolt☆59Updated 10 months ago
- Nova: Recursive SNARKs without trusted setup☆42Updated last year
- Implementation of zero-knowledge proof circuits for Tendermint.☆79Updated 10 months ago
- A PoC repo for a HyperNova impl☆82Updated last year
- A FRI verifier circuit for the Halo2 proof system☆76Updated 2 years ago
- A collection of learning materials on the Beam chain and Ream client.☆36Updated this week
- PoC of Revm execution in SGX☆79Updated last year
- ☆94Updated 6 months ago
- Benchmarking framework for general purpose zero-knowledge proofs languages and libraries☆100Updated 2 months ago
- Polynomials Identity Language☆68Updated 11 months ago
- Email verification circuit in halo2☆67Updated 7 months ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆81Updated this week
- A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team☆37Updated last year
- Crypto Gadgets for Plonky2☆71Updated 9 months ago
- Circom interpreter to arithmetic circuit description☆53Updated 5 months ago
- ☆17Updated last year
- ☆39Updated last year
- gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation☆22Updated 7 months ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 6 months ago
- RISC-V interactive fault proof tech☆100Updated 2 weeks ago
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆47Updated last year
- ZK Fault Proofs for Optimistic Rollups☆30Updated this week
- zero knowledge proof aggregator for general circuit☆72Updated 9 months ago
- Benchmark of multiple zk implementations.☆83Updated last year
- Solidity implementation of Nova proving system verifier☆61Updated 11 months ago
- keccak256 hash implementation in Circom☆78Updated 2 years ago
- Simple implementation of KZG commitments in C☆33Updated 2 years ago
- Monorepo for Summa Proof of Solvency Protocol☆97Updated 5 months ago
- SGX implementation of the TEE prover used in the Automata Multi-Prover AVS☆27Updated last month