DelphinusLab / zkwasm-bookLinks
☆11Updated 5 months ago
Alternatives and similar repositories for zkwasm-book
Users that are interested in zkwasm-book are comparing it to the libraries listed below
Sorting:
- ☆25Updated this week
- ☆20Updated 3 months ago
- customizable halo2 circuits batcher☆31Updated last month
- ☆51Updated 2 weeks ago
- A re-implemented ECC circuits with halo2.☆28Updated 7 months ago
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- ☆18Updated last month
- ☆20Updated last year
- Pessimistic proof for the AggLayer.☆26Updated last year
- High performance EraVM for zkSync.☆24Updated 2 months ago
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆27Updated 2 weeks ago
- An API compatible port of the Stone prover.☆19Updated 7 months ago
- This repo introduces concepts on constraint degree and optimization technics, as well as example implementations of Range Checks using Pl…☆16Updated 2 months ago
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Updated 3 months ago
- ☆16Updated last year
- ☆50Updated last year
- ZKM Development Template/Framework☆25Updated last month
- ☆33Updated last year
- Rescue and Poseidon hash function implementations☆43Updated 10 months ago
- ☆39Updated this week
- Library and gadget to do regex string matches in halo2☆35Updated 11 months ago
- ☆40Updated 8 months ago
- ☆38Updated last month
- Prove multi-opens of EIP-4844 KZG blobs☆14Updated 2 years ago
- Frobenius sumcheck for vectorized boolean ops☆54Updated 2 months ago
- Implementation of Vector, Avail's data attestation bridge, in SP1.☆16Updated last month
- UPA is the proof aggregation engine built by NEBRA team.☆32Updated 2 months ago
- ☆25Updated 3 weeks ago
- ☆33Updated last year
- ☆17Updated 2 years ago