yelhousni / zprize-GPU-MSM-harness
Reference GPU test harness for the "Accelerating MSM on GPU" challenge of ZPrize
☆12Updated 2 years ago
Alternatives and similar repositories for zprize-GPU-MSM-harness:
Users that are interested in zprize-GPU-MSM-harness are comparing it to the libraries listed below
- OpenCL code generator for finite-field arithmetic over arbitrary prime fields☆94Updated this week
- ZPrize 2022 - All qualified entries☆53Updated last year
- ☆59Updated 3 years ago
- Zero-knowledge template library☆189Updated last week
- An acceleration engine for proving SNARKS over the bn128 curve, targeted for AWS FPGAs☆53Updated 4 years ago
- An elastic proof system based on arkworks☆80Updated last year
- Prototype implementations of various Collaborative zkSNARKs.☆122Updated 11 months ago
- cuZK: An Efficient GPU Implemetation of zkSNARK☆28Updated last year
- On O(1) Labs' reference machine, this SNARK prover is 3x faster than libsnark!☆95Updated last year
- blaze is a Rust library for ZK acceleration on Xilinx FPGAs.☆146Updated 4 months ago
- Reference implementation in Python of Poseidon and optimized Poseidon (Neptune) hash functions☆78Updated last year
- Recursive SNARKs based on Plonk and Halo☆115Updated 3 years ago
- zkInterface is a protocol for the interoperability of zero-knowledge frameworks.☆126Updated last year
- CUDA implementation of Fast Fourier Transformations on finite fields☆80Updated 5 years ago
- Rust Poseidon implementation (contact: @porcuquine)☆302Updated 2 weeks ago
- Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them☆197Updated 2 weeks ago
- R1CS constraints for bits, fields, and elliptic curves☆148Updated 2 weeks ago
- Tutorial for writing constraints in the `arkworks` framework☆224Updated 8 months ago
- Zirgen compiler and RISC Zero circuits☆80Updated this week
- WHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification☆87Updated this week
- ☆16Updated 5 months ago
- A Plonkish folding framework for Incrementally Verifiable Computation (IVC).☆159Updated this week
- A Rust library for building R1CS gadgets☆89Updated 3 years ago
- Submission for https://www.zprize.io/prizes/accelerating-msm-operations-on-gpu-fpga☆20Updated 2 years ago
- A GKR-based zero-knowledge proof protocol for CNN model inference.☆74Updated last year
- A Risc-V CPU implemented as a zk-SNARK☆48Updated 2 years ago
- A repo for our research papers☆223Updated last month
- Implementations of popular elliptic curves☆305Updated last year
- A framework to run Fully Homomorphic Encryption computations (especially using the SEAL library) on Trusted Execution Environments, with …☆42Updated 2 years ago
- A curated list of awesome things related to plonk proof system☆234Updated 6 months ago