Alternatives and similar repositories for hardcaml_zprize

Users that are interested in hardcaml_zprize are comparing it to the libraries listed below

• bsdevlin / fpga_snark_prover
  An acceleration engine for proving SNARKS over the bn128 curve, targeted for AWS FPGAs
  ☆58Updated 5 years ago
• z-prize / 2022-entries
  ZPrize 2022 - All qualified entries
  ☆56Updated 2 years ago
• lvella / polynomial-solver
  Solves systems of polynomial equations.
  ☆29Updated last month
• cysic-labs / ZPrize-23-Prize1
  ☆19Updated last year
• supranational / hardware
  Low level arithmetic primitives in RTL
  ☆23Updated 5 years ago
• supranational / zprize-fpga-ntt
  ZPrize entry for Accelerating NTT Operations on an FPGA
  ☆15Updated 2 years ago
• KULeuven-COSIC / vFHE
  ☆10Updated last year
• ZcashFoundation / zcash-fpga
  Zcash FPGA acceleration engine
  ☆129Updated 5 years ago
• ingonyama-zk / blaze
  blaze is a Rust library for ZK acceleration on Xilinx FPGAs.
  ☆144Updated last year
• connormas / MultiScalarMultiplication
  Chisel module for performing Multi-Scalar Multiplication
  ☆13Updated 3 years ago
• KULeuven-COSIC / fpt-demo
  FPT: a Fixed-Point Accelerator for Torus Fully Homomorphic Encryption
  ☆25Updated 2 months ago
• lucasgleba / zkRiscV
  A Risc-V CPU implemented as a zk-SNARK
  ☆51Updated 3 years ago
• google / jaxite
  ☆88Updated last week
• mitschabaude / montgomery
  Fast implementation of multi-scalar multiplication in WebAssembly
  ☆34Updated 11 months ago
• filecoin-project / ec-gpu
  OpenCL code generator for finite-field arithmetic over arbitrary prime fields
  ☆98Updated 3 months ago
• speakspeak / cuZK
  cuZK: An Efficient GPU Implemetation of zkSNARK
  ☆31Updated 2 years ago
• a16z / jsi
  just solve it - a CLI utility to run a portfolio of SMT solvers in parallel
  ☆25Updated 9 months ago
• wborgeaud / python-pippenger
  Python3 implementation of the Pippenger algorithm for fast multi-exponentiation
  ☆22Updated 2 years ago
• risc0 / risc0-lean4
  A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
  ☆72Updated 2 years ago
• gbotrel / zprize-mobile-harness
  ☆20Updated 3 years ago
• datenlord / TRIDENT
  A Hardware Implemented Poseidon Hasher
  ☆18Updated 3 years ago
• tfhe / spqlios-arithmetic
  spqlios arithmetic library for FHE and post-quantum crypto
  ☆25Updated this week
• CertiKProject / zkwasm-fv
  Formal verification of the zkWasm project
  ☆15Updated last year
• reilabs / proven-zk
  A support library for working with zero knowledge cryptography in Lean 4.
  ☆40Updated 2 months ago
• ingonyama-zk / open-binius
  building blocks for accelerating ZK proofs over binary fields
  ☆45Updated 4 months ago
• sunblaze-ucb / Orion
  ☆30Updated 3 years ago
• Verified-zkEVM / clean
  Lean circuit DSL
  ☆105Updated last week
• Veridise / Coda
  ☆48Updated 2 years ago
• benlwk / Tensorcrypto
  ☆13Updated 3 years ago
• BoltonBailey / formal-snarks-project
  A formal verification of Linear PCP SNARKs.
  ☆57Updated last year