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.
☆56Updated 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:
- 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☆57Updated 5 years ago
- ☆17Updated 9 months ago
- ZPrize entry for Accelerating NTT Operations on an FPGA☆13Updated 2 years ago
- ZPrize 2022 - All qualified entries☆55Updated last year
- Solves systems of polynomial equations.☆29Updated last year
- A Hardware Implemented Poseidon Hasher☆18Updated 3 years ago
- FPT: a Fixed-Point Accelerator for Torus Fully Homomorphic Encryption☆25Updated 10 months ago
- Verifying OpenTitan☆26Updated last year
- Low level arithmetic primitives in RTL☆23Updated 5 years ago
- blaze is a Rust library for ZK acceleration on Xilinx FPGAs.☆144Updated 8 months ago
- ☆19Updated 2 years ago
- A Risc-V CPU implemented as a zk-SNARK☆49Updated 2 years ago
- just solve it - a CLI utility to run a portfolio of SMT solvers in parallel☆25Updated 4 months ago
- cuZK: An Efficient GPU Implemetation of zkSNARK☆29Updated last year
- ☆17Updated last year
- ☆10Updated last year
- FPGA-accelerated MSM☆26Updated 2 years ago
- building blocks for accelerating ZK proofs over binary fields☆45Updated last week
- Zirgen compiler and RISC Zero circuits☆96Updated this week
- A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover☆70Updated 2 years ago
- The hardware implementation of Poseidon hash function in SpinalHDL☆19Updated 3 years ago
- Pairing operations over the BLS12-381 elliptic curve in Haskell☆14Updated 3 years ago
- ☆47Updated last year
- Optimized assembly implementations of crypto for the RV32I (RISC-V) architecture☆31Updated 4 years ago
- A framework for formally verifying hardware security modules to be free of hardware, software, and timing side-channel vulnerabilities 🔏☆33Updated 4 months ago
- ☆40Updated 4 months ago
- Accelerating MSM Operations on GPU/FPGA☆15Updated 2 years ago
- ECFFT in Rust☆58Updated last year
- Fast implementation of multi-scalar multiplication in WebAssembly☆34Updated 6 months ago