matter-labs / z-prize-msm-gpu
Submission for https://www.zprize.io/prizes/accelerating-msm-operations-on-gpu-fpga
☆20Updated 2 years ago
Alternatives and similar repositories for z-prize-msm-gpu:
Users that are interested in z-prize-msm-gpu are comparing it to the libraries listed below
- ☆39Updated 2 months ago
- Expander Compiler☆33Updated this week
- DPC with Universal Setup☆45Updated last year
- Benchmark of multiple zk implementations.☆83Updated last year
- AppliedZKP's zkEVM Documentation☆25Updated 7 months ago
- ☆55Updated 3 months ago
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- ☆25Updated this week
- Kate commitment based PLONK recursive aggregation circuit☆40Updated last year
- Polynomials Identity Language☆68Updated last year
- ☆50Updated 2 weeks ago
- Rescue and Poseidon hash function implementations☆42Updated 6 months ago
- halo2 ecc circuit☆116Updated 2 years ago
- ☆39Updated last year
- A Framework of Lattice-based Zero-knowledge Arguments in Rust☆43Updated last month
- SGX implementation of the TEE prover used in the Automata Multi-Prover AVS☆27Updated last month
- Simplified educational python plonk implementation☆41Updated 3 weeks ago
- ☆94Updated 6 months ago
- Email verification circuit in halo2☆67Updated 8 months ago
- The revised version and future updates can be found here 👉https://github.com/ZKPunk-Org/zk-insights☆47Updated 3 months ago
- A collection of comparison-benchmarks for Nova & related Proving systems☆42Updated last year
- A PoC repo for a HyperNova impl☆82Updated last year
- In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU☆35Updated 2 weeks ago
- Let's go https://eprint.iacr.org/2022/1763.pdf☆58Updated last year
- ☆21Updated last year
- ☆23Updated last year
- customizable halo2 circuits batcher☆30Updated 2 months ago
- Circom interpreter to arithmetic circuit description☆53Updated 5 months ago
- Combined solution from Matter Labs and Yrrid based on their respective submissions for the Z-Prize category Accelerating MSM Operations o…☆15Updated last year
- A FRI verifier circuit for the Halo2 proof system☆76Updated 2 years ago