matter-labs / z-prize-msm-gpu-combined
Combined solution from Matter Labs and Yrrid based on their respective submissions for the Z-Prize category Accelerating MSM Operations on GPU/FPGA
☆15Updated last year
Related projects ⓘ
Alternatives and complementary repositories for z-prize-msm-gpu-combined
- Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass☆21Updated last year
- Solidity verifier for Plonk☆41Updated 3 months ago
- High-performance Multi-scalar Multiplication for Pasta curves☆21Updated 11 months ago
- A note on multivariate lookup arguments☆10Updated last year
- A parallel proving service for ZKM.☆18Updated last month
- Rescue and Poseidon hash function implementations☆42Updated 3 months ago
- polynomial commitments from linear codes☆37Updated last year
- Accelerate Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆49Updated this week
- Polymath: Groth16 Is Not The Limit☆28Updated 2 months ago
- Benchmarks of all public available SNARK/STARK keccak circuits☆12Updated last year
- ☆20Updated this week
- Draft documents for standardization of Plonkish arithmetization☆23Updated 8 months ago
- RISC Zero Nova is inherit from Risc Zero but aim to replace STARK with Nova folding scheme☆29Updated last year
- ☆23Updated last year
- Starky implementation of Bls12-381☆12Updated 6 months ago
- 🪩 verify plonky3 proofs in plonky2☆19Updated 7 months ago
- powdr application running Ethereum tests via revm☆16Updated 4 months ago
- WebGPU MSM Implementation (BLS12-377 Curve) for ZPrize 2023☆12Updated this week
- Cryptographic protocols☆37Updated last year
- ☆18Updated last year
- ☆28Updated last year
- Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks☆16Updated last year
- In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU☆35Updated last week
- Polyexen demo of Plonkish Arithmetiation Format (Plaf) on the zkevm-circuits☆31Updated 9 months ago
- STARK book☆21Updated last month
- Implementation of the Grumpkin curve in Rust.☆29Updated last year
- DPC with Universal Setup☆45Updated last year
- [wip] implementing origami VDF☆13Updated last year
- Tendermint implementation of the blockchain of Aleo verifiable computing model built by LambdaClass☆16Updated last year