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.
☆60Updated 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
- A Hardware Implemented Poseidon Hasher☆19Updated 3 years ago
- Chisel module for performing Multi-Scalar Multiplication☆13Updated 3 years ago
- ZPrize entry for Accelerating NTT Operations on an FPGA☆16Updated 3 years ago
- FPT: a Fixed-Point Accelerator for Torus Fully Homomorphic Encryption☆26Updated 4 months ago
- ZPrize 2022 - All qualified entries☆55Updated 2 years ago
- blaze is a Rust library for ZK acceleration on Xilinx FPGAs.☆144Updated last year
- Solves systems of polynomial equations.☆30Updated 4 months ago
- Low level arithmetic primitives in RTL☆23Updated 5 years ago
- Formal verification of the zkWasm project☆15Updated last year
- Zcash FPGA acceleration engine☆131Updated 5 years ago
- ☆21Updated last year
- Lean circuit DSL☆118Updated this week
- cuZK: An Efficient GPU Implemetation of zkSNARK☆38Updated 2 years ago
- ☆96Updated this week
- spqlios arithmetic library for FHE and post-quantum crypto☆26Updated 2 months ago
- building blocks for accelerating ZK proofs over binary fields☆48Updated 6 months ago
- A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover☆74Updated 2 years ago
- Zirgen compiler and RISC Zero circuits☆122Updated last week
- Reference GPU test harness for the "Accelerating MSM on GPU" challenge of ZPrize☆12Updated 3 years ago
- The hardware implementation of Poseidon hash function in SpinalHDL☆20Updated 3 years ago
- Fast implementation of multi-scalar multiplication in WebAssembly☆34Updated last year
- just solve it - a CLI utility to run a portfolio of SMT solvers in parallel☆25Updated this week
- Hardware implementation of ORAM☆24Updated 8 years ago
- ☆11Updated last year
- Detailed and step by step implementation of RISC-V CPU from scratch using Verilog. This work is part of my academic course EE2003, Introd…☆30Updated 4 years ago
- zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements☆18Updated last week
- ☆20Updated 3 years ago
- OpenCL code generator for finite-field arithmetic over arbitrary prime fields☆99Updated 5 months ago
- A formal verification of Linear PCP SNARKs.☆60Updated last year