fyquah / hardcaml_zprizeLinks
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.
☆58Updated last year
Alternatives and similar repositories for hardcaml_zprize
Users that are interested in hardcaml_zprize are comparing it to the libraries listed below
Sorting:
- An acceleration engine for proving SNARKS over the bn128 curve, targeted for AWS FPGAs☆58Updated 5 years ago
- ZPrize 2022 - All qualified entries☆56Updated 2 years ago
- Solves systems of polynomial equations.☆29Updated last month
- ZPrize entry for Accelerating NTT Operations on an FPGA☆14Updated 2 years ago
- ☆19Updated last year
- blaze is a Rust library for ZK acceleration on Xilinx FPGAs.☆144Updated 11 months ago
- FPT: a Fixed-Point Accelerator for Torus Fully Homomorphic Encryption☆25Updated last month
- ☆87Updated 2 months ago
- spqlios arithmetic library for FHE and post-quantum crypto☆24Updated 2 months ago
- OpenCL code generator for finite-field arithmetic over arbitrary prime fields☆98Updated 2 months ago
- Formal verification of the zkWasm project☆15Updated last year
- Chisel module for performing Multi-Scalar Multiplication☆13Updated 3 years ago
- Lean circuit DSL☆98Updated this week
- A Risc-V CPU implemented as a zk-SNARK☆50Updated 3 years ago
- ☆48Updated 2 years ago
- A Hardware Implemented Poseidon Hasher☆18Updated 3 years ago
- Reference GPU test harness for the "Accelerating MSM on GPU" challenge of ZPrize☆12Updated 3 years ago
- ☆30Updated 3 years ago
- cuZK: An Efficient GPU Implemetation of zkSNARK☆31Updated 2 years ago
- Low level arithmetic primitives in RTL☆23Updated 5 years ago
- ☆10Updated last year
- Python3 implementation of the Pippenger algorithm for fast multi-exponentiation☆22Updated 2 years ago
- building blocks for accelerating ZK proofs over binary fields☆45Updated 3 months ago
- A formal verification of Linear PCP SNARKs.☆56Updated last year
- ☆20Updated 3 years ago
- A framework to run Fully Homomorphic Encryption computations (especially using the SEAL library) on Trusted Execution Environments, with …☆47Updated 2 years ago
- Fast implementation of multi-scalar multiplication in WebAssembly☆34Updated 10 months ago
- Zcash FPGA acceleration engine☆128Updated 5 years ago
- (Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.☆310Updated 4 months ago
- just solve it - a CLI utility to run a portfolio of SMT solvers in parallel☆25Updated 8 months ago