yelhousni / zprize-GPU-MSM-harnessLinks
Reference GPU test harness for the "Accelerating MSM on GPU" challenge of ZPrize
☆12Updated 3 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
Sorting:
- An acceleration engine for proving SNARKS over the bn128 curve, targeted for AWS FPGAs☆58Updated 5 years ago
- Zero-knowledge template library☆205Updated last month
- ☆60Updated 3 years ago
- ZPrize 2022 - All qualified entries☆56Updated 2 years ago
- OpenCL code generator for finite-field arithmetic over arbitrary prime fields☆98Updated 3 months ago
- On O(1) Labs' reference machine, this SNARK prover is 3x faster than libsnark!☆98Updated 2 years ago
- spqlios arithmetic library for FHE and post-quantum crypto☆25Updated last week
- blaze is a Rust library for ZK acceleration on Xilinx FPGAs.☆144Updated last year
- zkInterface is a protocol for the interoperability of zero-knowledge frameworks.☆128Updated 2 years ago
- A Rust library for the Marlin preprocessing zkSNARK☆324Updated last year
- Zcash FPGA acceleration engine☆131Updated 5 years ago
- A GKR-based zero-knowledge proof protocol for CNN model inference.☆87Updated 2 years ago
- Hardcaml_zprize implements high performance, open source cryptographic solutions for large scale number theoretic transforms (NTT) and mu…☆59Updated last year
- Implementation of various primitives for bellman using CUDA (WIP)☆28Updated 6 years ago
- A ZKP-augmented fork of the OpenFHE library☆20Updated last year
- FPT: a Fixed-Point Accelerator for Torus Fully Homomorphic Encryption☆25Updated 2 months ago
- ☆20Updated last year
- C++ library for IOP-based zkSNARKs☆175Updated last year
- cuZK: An Efficient GPU Implemetation of zkSNARK☆34Updated 2 years ago
- Prototype implementations of various Collaborative zkSNARKs.☆130Updated 5 months ago
- (Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.☆312Updated 5 months ago
- A framework to run Fully Homomorphic Encryption computations (especially using the SEAL library) on Trusted Execution Environments, with …☆47Updated 2 years ago
- CUDA implementation of Fast Fourier Transformations on finite fields☆79Updated 5 years ago
- An implementation of Verifiable Delay Functions in Rust☆187Updated 4 years ago
- Implementations of popular elliptic curves☆310Updated last year
- ☆117Updated 4 years ago
- Rust implementation of the BMR16 arithmetic garbling scheme.☆34Updated 5 years ago
- Arithmatic circuits convertible to R1CS based on Bulletproofs☆91Updated 2 years ago
- An elastic proof system based on arkworks☆85Updated last year
- Recursive SNARKs based on Plonk and Halo☆116Updated 4 years ago