polybase / zk-benchmarks
☆42Updated last year
Alternatives and similar repositories for zk-benchmarks:
Users that are interested in zk-benchmarks are comparing it to the libraries listed below
- Benchmarks of popular zkVMs including Jolt☆59Updated 10 months ago
- Nova: Recursive SNARKs without trusted setup☆42Updated last year
- Gas-efficient and blazing fast proving for private signaling☆81Updated last year
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆50Updated 3 weeks ago
- ☆35Updated 3 months ago
- Email verification circuit in halo2☆67Updated 7 months ago
- Crypto Gadgets for Plonky2☆71Updated 9 months ago
- Some very rough benchmarks between sha256 circuits in different proving systems☆49Updated 2 years ago
- ☆51Updated this week
- Honk Verifier in Solidity☆49Updated 4 months ago
- Cross-zk-rollup aggregation☆59Updated 2 years ago
- ☆49Updated 11 months ago
- Benchmarking Polynomial Commitments☆48Updated last year
- zkSNARK circuits for the Telepathy protocol☆53Updated last year
- PoC of Revm execution in SGX☆79Updated last year
- Export Circom verifier to Cairo☆49Updated 2 years ago
- A collection of the Notes on the Nova folding scheme explained from scratch☆28Updated 8 months ago
- Nova Verifier in Circom so it can be verified onChain☆58Updated last year
- Monorepo for Summa Proof of Solvency Protocol☆97Updated 5 months ago
- ☆2Updated 11 months ago
- Provides tools for testing circom circuits.☆58Updated 7 months ago
- Circuits library for matrix operations in circom☆32Updated 8 months ago
- Old, obsolete version of the Valida compiler; its replacement will become public later☆50Updated last year
- Sidecar to Enable Rollup Extensions☆72Updated this week
- In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU☆35Updated this week
- Solidity implementation of Nova proving system verifier☆61Updated 11 months ago
- My personal notebook for various zk-related topics☆48Updated last month
- Share private EVM state attestations using STARK proofs☆72Updated 2 years ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 6 months ago
- Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0