crate-crypto / go-eth-kzg
☆30Updated last month
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
- ☆99Updated 9 months ago
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- Benchmarks of popular zkVMs including Jolt☆59Updated last year
- A FRI verifier circuit for the Halo2 proof system☆76Updated 2 years ago
- ☆44Updated last week
- The Ultimate ZK Proving Software Suite for Securing OP Rollups☆41Updated last week
- PoC of Revm execution in SGX☆80Updated last year
- ☆94Updated 8 months ago
- Geth-in-SGX provides an example of running go-ethereum in SGX☆75Updated last year
- gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation☆25Updated 10 months ago
- Implementation of Plonk by Hand in rust☆61Updated last year
- A Framework of Lattice-based Zero-knowledge Arguments in Rust☆48Updated 4 months ago
- Implementation of zero-knowledge proof circuits for Tendermint.☆81Updated last year
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 9 months ago
- SGX implementation of the TEE prover used in the Automata Multi-Prover AVS☆27Updated last month
- ☆79Updated this week
- rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.☆65Updated 3 weeks ago
- A collection of learning materials on the Beam chain and Ream client.☆42Updated last week
- Monorepo for Summa Proof of Solvency Protocol☆97Updated 8 months ago
- FFT, data-recovery and KZG commitments, a.k.a. Kate commitments, in Go - *super experimental*☆91Updated last year
- Provides tools for testing circom circuits.☆59Updated last week
- Honk Verifier in Solidity☆50Updated 6 months ago
- A curated list of repos related to Circom☆99Updated 2 years ago
- Simple implementation of KZG commitments in C☆35Updated 2 years ago
- Gas-efficient and blazing fast proving for private signaling☆81Updated last year
- A PoC repo for a HyperNova impl☆83Updated last year
- ☆60Updated 2 years ago
- Polynomials Identity Language☆68Updated last year
- ☆41Updated last year