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.
☆57Updated 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:
- Solves systems of polynomial equations.☆29Updated 2 years ago
- An acceleration engine for proving SNARKS over the bn128 curve, targeted for AWS FPGAs☆57Updated 5 years ago
- ZPrize 2022 - All qualified entries☆55Updated last year
- ZPrize entry for Accelerating NTT Operations on an FPGA☆13Updated 2 years ago
- ☆18Updated 10 months ago
- A Risc-V CPU implemented as a zk-SNARK☆49Updated 2 years ago
- blaze is a Rust library for ZK acceleration on Xilinx FPGAs.☆144Updated 9 months ago
- ☆20Updated 2 years ago
- building blocks for accelerating ZK proofs over binary fields☆45Updated last month
- Fast implementation of multi-scalar multiplication in WebAssembly☆34Updated 8 months ago
- Lean circuit DSL☆87Updated this week
- ☆10Updated last year
- Chisel module for performing Multi-Scalar Multiplication☆13Updated 3 years ago
- just solve it - a CLI utility to run a portfolio of SMT solvers in parallel☆25Updated 6 months ago
- ☆83Updated last week
- Formally Verified Arguments of Knowledge in Lean☆84Updated this week
- cuZK: An Efficient GPU Implemetation of zkSNARK☆30Updated last year
- A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover☆71Updated 2 years ago
- A Hardware Implemented Poseidon Hasher☆18Updated 3 years ago
- Python3 implementation of the Pippenger algorithm for fast multi-exponentiation☆21Updated 2 years ago
- A support library for working with zero knowledge cryptography in Lean 4.☆38Updated last month
- A basic implementation of Yao's Garbled Circuits☆29Updated 3 years ago
- Reference implementation in Python of Poseidon and optimized Poseidon (Neptune) hash functions☆82Updated last year
- Formal verification of the zkWasm project☆12Updated 11 months ago
- A formal verification of Linear PCP SNARKs.☆55Updated last year
- addition chains☆20Updated 7 years ago
- OpenCL code generator for finite-field arithmetic over arbitrary prime fields☆99Updated last week
- FPGA-accelerated MSM☆26Updated 2 years ago
- ☆48Updated last year
- Notebooks showing how to use CryptoUtilities☆13Updated 3 months ago