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 6 months ago
Alternatives and similar repositories for hardcaml_zprize:
Users that are interested in hardcaml_zprize are comparing it to the libraries listed below
- An acceleration engine for proving SNARKS over the bn128 curve, targeted for AWS FPGAs☆53Updated 4 years ago
- Chisel module for performing Multi-Scalar Multiplication☆12Updated 2 years ago
- ZPrize entry for Accelerating NTT Operations on an FPGA☆10Updated 2 years ago
- ZPrize 2022 - All qualified entries☆52Updated last year
- ☆15Updated 3 months ago
- blaze is a Rust library for ZK acceleration on Xilinx FPGAs.☆142Updated 2 months ago
- A Hardware Implemented Poseidon Hasher☆18Updated 2 years ago
- Solves systems of polynomial equations.☆29Updated last year
- ☆16Updated last year
- Low level arithmetic primitives in RTL☆20Updated 4 years ago
- A Risc-V CPU implemented as a zk-SNARK☆48Updated 2 years ago
- FPT: a Fixed-Point Accelerator for Torus Fully Homomorphic Encryption☆16Updated 4 months ago
- ☆19Updated 2 years ago
- cuZK: An Efficient GPU Implemetation of zkSNARK☆26Updated last year
- Verifying OpenTitan☆23Updated last year
- building blocks for accelerating ZK proofs over binary fields☆42Updated 5 months ago
- FPGA-accelerated MSM☆25Updated last year
- Optimized assembly implementations of crypto for the RV32I (RISC-V) architecture☆31Updated 4 years ago
- The hardware implementation of Poseidon hash function in SpinalHDL☆19Updated 2 years ago
- ☆46Updated last year
- Accelerating MSM Operations on GPU/FPGA☆13Updated 2 years ago
- ☆26Updated 4 months ago
- Implementation of an RSA VDF evaluator targeting FPGAs.☆48Updated 5 years ago
- A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover☆61Updated last year
- Automated verification of uniqueness property for ZKP circuits☆41Updated 7 months ago
- FIPS 202 compliant SHA-3 core in Verilog☆18Updated 4 years ago
- A basic implementation of Yao's Garbled Circuits☆30Updated 2 years ago
- Acceleration of TFHE-based Homomorphic NAND Gate on FPGA☆14Updated 3 years ago
- Reference GPU test harness for the "Accelerating MSM on GPU" challenge of ZPrize☆12Updated 2 years ago
- A framework to run Fully Homomorphic Encryption computations (especially using the SEAL library) on Trusted Execution Environments, with …☆41Updated 2 years ago