fyquah / hardcaml_zprize
Hardcaml_zprize implements high performance, open source cryptographic solutions for large scale number theoretic transforms (NTT) and multi-scalar multiplications (MSM) in Hardcaml. Originally developed as submissions to the 2022 ZPrize competition.
☆53Updated 5 months ago
Related projects ⓘ
Alternatives and complementary repositories for hardcaml_zprize
- Chisel module for performing Multi-Scalar Multiplication☆12Updated 2 years ago
- ☆15Updated 2 months ago
- An acceleration engine for proving SNARKS over the bn128 curve, targeted for AWS FPGAs☆53Updated 4 years ago
- ZPrize 2022 - All qualified entries☆52Updated last year
- ZPrize entry for Accelerating NTT Operations on an FPGA☆10Updated 2 years ago
- FPT: a Fixed-Point Accelerator for Torus Fully Homomorphic Encryption☆16Updated 3 months ago
- A Hardware Implemented Poseidon Hasher☆18Updated 2 years ago
- blaze is a Rust library for ZK acceleration on Xilinx FPGAs.☆142Updated last month
- ☆19Updated 2 years ago
- Low level arithmetic primitives in RTL☆20Updated 4 years ago
- ☆15Updated last year
- A Risc-V CPU implemented as a zk-SNARK☆47Updated 2 years ago
- cuZK: An Efficient GPU Implemetation of zkSNARK☆25Updated last year
- FPGA-accelerated MSM☆25Updated last year
- building blocks for accelerating ZK proofs over binary fields☆42Updated 3 months ago
- Solves systems of polynomial equations.☆29Updated last year
- A framework to run Fully Homomorphic Encryption computations (especially using the SEAL library) on Trusted Execution Environments, with …☆41Updated last year
- ☆64Updated 3 weeks ago
- Zcash FPGA acceleration engine☆119Updated 4 years ago
- Welcome to the GPU-NTT-Optimization repository! We present cutting-edge algorithms and implementations for optimizing the Number Theoreti…☆21Updated 3 weeks ago
- A basic implementation of Yao's Garbled Circuits☆30Updated 2 years ago
- Zero-knowledge template library☆185Updated 2 weeks ago
- An elastic proof system based on arkworks☆76Updated 11 months ago
- Reference implementation in Python of Poseidon and optimized Poseidon (Neptune) hash functions☆76Updated last year
- FIPS 202 compliant SHA-3 core in Verilog☆18Updated 4 years ago
- The hardware implementation of Poseidon hash function in SpinalHDL☆17Updated 2 years ago
- OpenCL code generator for finite-field arithmetic over arbitrary prime fields☆91Updated 2 months ago
- Verifying OpenTitan☆22Updated last year
- Verifiable and confidential computation based on ZKP and FHE, powered by risc0 zkVM.☆79Updated last year
- Fast implementation of multi-scalar multiplication in WebAssembly☆32Updated 2 months ago