filecoin-project / ec-gpu
OpenCL code generator for finite-field arithmetic over arbitrary prime fields
☆91Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for ec-gpu
- Zero-knowledge template library☆185Updated 2 weeks ago
- A Rust library for building R1CS gadgets☆89Updated 3 years ago
- ZPrize 2022 - All qualified entries☆52Updated last year
- An elastic proof system based on arkworks☆76Updated 11 months ago
- A Plonkish folding framework for Incrementally Verifiable Computation (IVC).☆128Updated this week
- Benchmark of multiple zk implementations.☆82Updated last year
- R1CS constraints for bits, fields, and elliptic curves☆140Updated 3 weeks ago
- Rust implementation for zcash/pasta☆81Updated 11 months ago
- cuZK: An Efficient GPU Implemetation of zkSNARK☆25Updated last year
- ☆191Updated last week
- Evaluating & benchmarking ZKP compilation strategies.☆120Updated 11 months ago
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.☆78Updated this week
- Poseidon hash function☆73Updated last year
- Reference implementation for the Poseidon Snark-friendly Hash algorithm.☆209Updated 3 months ago
- Rust Poseidon implementation (contact: @porcuquine)☆276Updated 3 weeks ago
- blaze is a Rust library for ZK acceleration on Xilinx FPGAs.☆141Updated last month
- Rust PLONK implementation☆38Updated 2 months ago
- ☆173Updated 3 weeks ago
- An advanced fork of Nova (contact:@huitseeker)☆80Updated last week
- DPC with Universal Setup☆45Updated last year
- Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them☆178Updated 2 weeks ago
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.☆65Updated 2 months ago
- Submission for https://www.zprize.io/prizes/accelerating-msm-operations-on-gpu-fpga☆20Updated last year
- Elliptic curve group traits and utilities.☆91Updated 11 months ago
- ECFFT in Rust☆55Updated last year
- ☆40Updated 3 months ago
- WHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification☆50Updated last week
- A domain-specific language for writing AIR constraints for STARKs☆75Updated 2 months ago
- Implementations of popular elliptic curves☆303Updated 11 months ago
- On O(1) Labs' reference machine, this SNARK prover is 3x faster than libsnark!☆92Updated last year