DelphinusLab / zkWasm-host-circuitsLinks
☆25Updated last month
Alternatives and similar repositories for zkWasm-host-circuits
Users that are interested in zkWasm-host-circuits are comparing it to the libraries listed below
Sorting:
- customizable halo2 circuits batcher☆31Updated last month
- High performance EraVM for zkSync.☆24Updated 2 months ago
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- ☆50Updated last year
- ☆51Updated 2 weeks ago
- ☆31Updated last year
- ☆39Updated 3 weeks ago
- ☆35Updated last month
- Email verification circuit in halo2☆68Updated 11 months ago
- A re-implemented ECC circuits with halo2.☆28Updated 7 months ago
- Frobenius sumcheck for vectorized boolean ops☆54Updated 2 months ago
- A library implementing GPU-accelerated cryptographic functionality for the zkSync prover.☆25Updated 10 months ago
- This repo compiles .zkasm to a json ready for the zkExecutor☆31Updated 8 months ago
- Rescue and Poseidon hash function implementations☆43Updated 10 months ago
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Updated 3 months ago
- Benchmark for adding Lasso lookup argument to halo2 backend☆36Updated last year
- Solidity implementation of Nova proving system verifier☆63Updated last year
- In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU☆38Updated 4 months ago
- A set of tooling related to halo2 circuits verification inside Solidity contracts☆64Updated 8 months ago
- zero knowledge proof aggregator for general circuit☆72Updated last year
- A collection of comparison-benchmarks for Nova & related Proving systems☆44Updated 2 years ago
- ☆22Updated last year
- Axiom smart contracts☆26Updated last year
- A FRI verifier circuit for the Halo2 proof system☆76Updated 2 years ago
- Kate commitment based PLONK recursive aggregation circuit☆40Updated last year
- bn254 pairing library for Cairo Zero☆26Updated 2 years ago
- ☆23Updated 6 months ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 10 months ago
- A PoC repo for a HyperNova impl☆83Updated last year
- ☆11Updated 5 months ago