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
  ☆57Updated 5 years ago
• z-prize / 2022-entries
  ZPrize 2022 - All qualified entries
  ☆56Updated 2 years ago
• ingonyama-zk / blaze
  blaze is a Rust library for ZK acceleration on Xilinx FPGAs.
  ☆143Updated 11 months ago
• lvella / polynomial-solver
  Solves systems of polynomial equations.
  ☆29Updated last week
• Verified-zkEVM / clean
  Lean circuit DSL
  ☆91Updated this week
• cysic-labs / ZPrize-23-Prize1
  ☆19Updated last year
• mitschabaude / montgomery
  Fast implementation of multi-scalar multiplication in WebAssembly
  ☆34Updated 9 months ago
• google / jaxite
  ☆86Updated last month
• tfhe / spqlios-arithmetic
  spqlios arithmetic library for FHE and post-quantum crypto
  ☆23Updated last month
• risc0 / risc0-lean4
  A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
  ☆70Updated 2 years ago
• filecoin-project / ec-gpu
  OpenCL code generator for finite-field arithmetic over arbitrary prime fields
  ☆99Updated last month
• BoltonBailey / formal-snarks-project
  A formal verification of Linear PCP SNARKs.
  ☆56Updated last year
• connormas / MultiScalarMultiplication
  Chisel module for performing Multi-Scalar Multiplication
  ☆13Updated 3 years ago
• supranational / zprize-fpga-ntt
  ZPrize entry for Accelerating NTT Operations on an FPGA
  ☆13Updated 2 years ago
• ZcashFoundation / zcash-fpga
  Zcash FPGA acceleration engine
  ☆128Updated 5 years ago
• Verified-zkEVM / ArkLib
  Formally Verified Arguments of Knowledge in Lean
  ☆104Updated this week
• gbotrel / zprize-mobile-harness
  ☆20Updated 2 years ago
• KULeuven-COSIC / vFHE
  ☆10Updated last year
• supranational / hardware
  Low level arithmetic primitives in RTL
  ☆23Updated 5 years ago
• lucasgleba / zkRiscV
  A Risc-V CPU implemented as a zk-SNARK
  ☆50Updated 3 years ago
• ingonyama-zk / open-binius
  building blocks for accelerating ZK proofs over binary fields
  ☆45Updated 3 months ago
• KULeuven-COSIC / fpt-demo
  FPT: a Fixed-Point Accelerator for Torus Fully Homomorphic Encryption
  ☆25Updated 3 weeks ago
• a16z / jsi
  just solve it - a CLI utility to run a portfolio of SMT solvers in parallel
  ☆25Updated 7 months ago
• Koukyosyumei / zkFuzz
  ZK Circuit Fuzzer (IEEE S&P'26)
  ☆25Updated last week
• reilabs / proven-zk
  A support library for working with zero knowledge cryptography in Lean 4.
  ☆39Updated 3 weeks ago
• ingonyama-zk / poseidon-hash
  Reference implementation in Python of Poseidon and optimized Poseidon (Neptune) hash functions
  ☆85Updated last year
• circify / circ
  (Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.
  ☆310Updated 3 months ago
• zkFHE / FHE-in-TEE
  A framework to run Fully Homomorphic Encryption computations (especially using the SEAL library) on Trusted Execution Environments, with …
  ☆46Updated 2 years ago
• CertiKProject / zkwasm-fv
  Formal verification of the zkWasm project
  ☆14Updated last year
• speakspeak / cuZK
  cuZK: An Efficient GPU Implemetation of zkSNARK
  ☆32Updated 2 years ago