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.
☆59Updated 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
- Solves systems of polynomial equations.☆29Updated 2 months ago
- ZPrize 2022 - All qualified entries☆56Updated 2 years ago
- Formal verification of the zkWasm project☆15Updated last year
- ☆20Updated last year
- Zcash FPGA acceleration engine☆131Updated 5 years ago
- ZPrize entry for Accelerating NTT Operations on an FPGA☆15Updated 3 years ago
- blaze is a Rust library for ZK acceleration on Xilinx FPGAs.☆144Updated last year
- Fast implementation of multi-scalar multiplication in WebAssembly☆34Updated 11 months ago
- spqlios arithmetic library for FHE and post-quantum crypto☆26Updated 2 weeks ago
- just solve it - a CLI utility to run a portfolio of SMT solvers in parallel☆25Updated 10 months ago
- Low level arithmetic primitives in RTL☆23Updated 5 years ago
- A Risc-V CPU implemented as a zk-SNARK☆51Updated 3 years ago
- Chisel module for performing Multi-Scalar Multiplication☆13Updated 3 years ago
- Lean circuit DSL☆107Updated this week
- ☆88Updated this week
- Python3 implementation of the Pippenger algorithm for fast multi-exponentiation☆22Updated 2 years ago
- building blocks for accelerating ZK proofs over binary fields☆47Updated 5 months ago
- FPT: a Fixed-Point Accelerator for Torus Fully Homomorphic Encryption☆25Updated 2 months ago
- ☆48Updated 2 years ago
- Research repository for distributed GPU based zkSNARKs prover☆23Updated 7 years ago
- A basic implementation of Yao's Garbled Circuits☆30Updated 3 years ago
- A support library for working with zero knowledge cryptography in Lean 4.☆44Updated 3 months ago
- A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover☆72Updated 2 years ago
- A formal verification of Linear PCP SNARKs.☆56Updated last year
- A Hardware Implemented Poseidon Hasher☆19Updated 3 years ago
- addition chains☆20Updated 7 years ago
- zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements☆15Updated this week
- ☆30Updated 3 years ago
- (Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.☆312Updated 5 months ago