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.
☆51Updated 2 months ago
Related projects: ⓘ
- Chisel module for performing Multi-Scalar Multiplication☆12Updated 2 years ago
- An acceleration engine for proving SNARKS over the bn128 curve, targeted for AWS FPGAs☆52Updated 4 years ago
- ☆11Updated this week
- ZPrize 2022 - All qualified entries☆50Updated 11 months ago
- blaze is a Rust library for ZK acceleration on Xilinx FPGAs.☆139Updated 6 months ago
- A Hardware Implemented Poseidon Hasher☆18Updated 2 years ago
- ☆15Updated 11 months ago
- Low level arithmetic primitives in RTL☆20Updated 4 years ago
- The hardware implementation of Poseidon hash function in SpinalHDL☆16Updated 2 years ago
- Welcome to the GPU-NTT-Optimization repository! We present cutting-edge algorithms and implementations for optimizing the Number Theoreti…☆14Updated 5 months ago
- FPT: a Fixed-Point Accelerator for Torus Fully Homomorphic Encryption☆15Updated 3 weeks ago
- Zcash FPGA acceleration engine☆117Updated 4 years ago
- Reference GPU test harness for the "Accelerating MSM on GPU" challenge of ZPrize☆12Updated 2 years ago
- FPGA-accelerated MSM☆25Updated last year
- Accelerating MSM Operations on GPU/FPGA☆10Updated 2 years ago
- ☆61Updated this week
- Optimized assembly implementations of crypto for the RV32I (RISC-V) architecture☆31Updated 3 years ago
- Reference implementation in Python of Poseidon and optimized Poseidon (Neptune) hash functions☆76Updated 10 months ago
- A Risc-V CPU implemented as a zk-SNARK☆44Updated 2 years ago
- ☆19Updated last year
- OpenCL code generator for finite-field arithmetic over arbitrary prime fields☆89Updated 3 weeks ago
- An elastic proof system based on arkworks☆74Updated 8 months ago
- ☆12Updated 3 weeks ago
- A basic implementation of Yao's Garbled Circuits☆30Updated 2 years ago
- ECFFT in Rust☆55Updated 11 months ago
- ☆43Updated last year
- Research repository for distributed GPU based zkSNARKs prover☆23Updated 5 years ago
- FIPS 202 compliant SHA-3 core in Verilog☆17Updated 3 years ago
- Implementation of an RSA VDF evaluator targeting FPGAs.☆47Updated 4 years ago
- ☆10Updated 10 months ago