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 10 months ago
Related projects: ⓘ
- Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass☆21Updated last year
- Rescue and Poseidon hash function implementations☆42Updated last month
- High-performance Multi-scalar Multiplication for Pasta curves☆20Updated 9 months ago
- Solidity verifier for Plonk☆41Updated last month
- A parallel proving service for ZKM.☆16Updated last week
- Benchmarks of all public available SNARK/STARK keccak circuits☆12Updated 11 months ago
- A library implementing GPU-accelerated cryptographic functionality for the zkSync prover.☆25Updated last month
- ☆23Updated 10 months ago
- RISC Zero Nova is inherit from Risc Zero but aim to replace STARK with Nova folding scheme☆29Updated last year
- Cryptographic protocols☆36Updated last year
- Tendermint implementation of the blockchain of Aleo verifiable computing model built by LambdaClass☆16Updated last year
- In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU☆34Updated 5 months ago
- Rust Ethereum virtual machine (revm) Is EVM written in rust that is focused on speed and simplicity☆13Updated 2 weeks ago
- 🪩 verify plonky3 proofs in plonky2☆17Updated 5 months ago
- Some very rough benchmarks between sha256 circuits in different proving systems☆49Updated 2 years ago
- Pessimistic proof for the AggLayer.☆25Updated 2 months ago
- Pairing-friendly elliptic curve library☆23Updated last month
- High performance EraVM for zkSync.☆21Updated this week
- polynomial commitments from linear codes☆35Updated 11 months ago
- Starky implementation of Bls12-381☆11Updated 4 months ago
- ☆28Updated last year
- Draft documents for standardization of Plonkish arithmetization☆23Updated 6 months ago
- ☆18Updated this week
- A note on multivariate lookup arguments☆10Updated last year
- Danksharding Builder with GPU acceleration☆50Updated last year
- Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks☆16Updated last year
- Simple implementation of KZG commitments in C☆33Updated last year
- ☆13Updated 3 months ago
- customizable halo2 circuits batcher☆27Updated last week
- Benchmark for adding Lasso lookup argument to halo2 backend☆29Updated 6 months ago