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.
☆54Updated 9 months ago
Alternatives and similar repositories for hardcaml_zprize:
Users that are interested in hardcaml_zprize are comparing it to the libraries listed below
- FPT: a Fixed-Point Accelerator for Torus Fully Homomorphic Encryption☆20Updated 7 months ago
- ZPrize 2022 - All qualified entries☆54Updated last year
- Chisel module for performing Multi-Scalar Multiplication☆12Updated 3 years ago
- An acceleration engine for proving SNARKS over the bn128 curve, targeted for AWS FPGAs☆54Updated 4 years ago
- A Hardware Implemented Poseidon Hasher☆18Updated 2 years ago
- blaze is a Rust library for ZK acceleration on Xilinx FPGAs.☆146Updated 5 months ago
- Low level arithmetic primitives in RTL☆23Updated 5 years ago
- ☆16Updated 6 months ago
- ZPrize entry for Accelerating NTT Operations on an FPGA☆11Updated 2 years ago
- Solves systems of polynomial equations.☆29Updated last year
- ☆16Updated last year
- cuZK: An Efficient GPU Implemetation of zkSNARK☆28Updated last year
- ☆19Updated 2 years ago
- building blocks for accelerating ZK proofs over binary fields☆44Updated 7 months ago
- A Risc-V CPU implemented as a zk-SNARK☆48Updated 2 years ago
- Zirgen compiler and RISC Zero circuits☆90Updated this week
- Zcash FPGA acceleration engine☆121Updated 4 years ago
- Reference GPU test harness for the "Accelerating MSM on GPU" challenge of ZPrize☆12Updated 2 years ago
- Lean circuit DSL for AIR☆54Updated this week
- FPGA-accelerated MSM☆26Updated 2 years ago
- OpenCL code generator for finite-field arithmetic over arbitrary prime fields☆97Updated last month
- Zero-knowledge template library☆193Updated 2 weeks ago
- Fast implementation of multi-scalar multiplication in WebAssembly☆33Updated 4 months ago
- Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆93Updated this week
- Optimized assembly implementations of crypto for the RV32I (RISC-V) architecture☆31Updated 4 years ago
- ☆32Updated last month
- Verifiable and confidential computation based on ZKP and FHE, powered by risc0 zkVM.☆82Updated last year
- Reference implementation in Python of Poseidon and optimized Poseidon (Neptune) hash functions☆80Updated last year
- ☆47Updated last year
- The hardware implementation of Poseidon hash function in SpinalHDL☆19Updated 2 years ago