supranational / zprize-fpga-ntt

Related projects ⓘ

Alternatives and complementary repositories for zprize-fpga-ntt

• gbotrel / zprize-mobile-harness
  ☆19Updated 2 years ago
• fyquah / hardcaml_zprize
  Hardcaml_zprize implements high performance, open source cryptographic solutions for large scale number theoretic transforms (NTT) and mu…
  ☆53Updated 5 months ago
• z-prize / 2022-entries
  ZPrize 2022 - All qualified entries
  ☆52Updated last year
• cysic-labs / ZPrize-23-Prize1
  ☆15Updated 2 months ago
• bsdevlin / fpga_snark_prover
  An acceleration engine for proving SNARKS over the bn128 curve, targeted for AWS FPGAs
  ☆53Updated 4 years ago
• ingonyama-zk / open-binius
  building blocks for accelerating ZK proofs over binary fields
  ☆42Updated 3 months ago
• avras / nova-sha256
  Nova-based SHA256 benchmarks
  ☆30Updated 7 months ago
• JumpCrypto / cyclone
  FPGA-accelerated MSM
  ☆25Updated last year
• zkFHE / FHE-in-TEE
  A framework to run Fully Homomorphic Encryption computations (especially using the SEAL library) on Trusted Execution Environments, with …
  ☆41Updated last year
• enricobottazzi / zk-fhe
  Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme
  ☆110Updated 8 months ago
• speakspeak / cuZK
  cuZK: An Efficient GPU Implemetation of zkSNARK
  ☆25Updated last year
• Janmajayamall / bfv
  ☆26Updated 8 months ago
• geometryxyz / cq
  Let's go https://eprint.iacr.org/2022/1763.pdf
  ☆56Updated last year
• lattice-dogs / labrador
  ☆23Updated 2 months ago
• recmo / goldilocks
  A library for fast NTTs over the Goldilocks prime field
  ☆74Updated last month
• zkFHE / circomlib-fhe
  Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption
  ☆30Updated last year
• zhenfeizhang / pasta-solidity
  A Solidity implementation of Halo2's Pasta curves
  ☆48Updated last year
• lucasgleba / zkRiscV
  A Risc-V CPU implemented as a zk-SNARK
  ☆47Updated 2 years ago
• ingonyama-zk / modular_multiplication
  efficient modular multiplication research
  ☆14Updated last year
• jbaylina / nova-circom-verifier
  Nova Verifier in Circom so it can be verified onChain
  ☆58Updated last year
• zama-ai / verifiable-fhe-paper
  Verifiable FHE prototype
  ☆17Updated 3 months ago
• zama-ai / concrete-ntt
  ☆15Updated this week
• KULeuven-COSIC / fpt-demo
  FPT: a Fixed-Point Accelerator for Torus Fully Homomorphic Encryption
  ☆16Updated 3 months ago
• noir-lang / noir-bignum
  bignum
  ☆16Updated this week
• LBruyne / Scalable-Collaborative-zkSNARK
  Proof-of-concept implementation of scalable collaborative zk-SNARKs with fully distributed proof generation.
  ☆42Updated 2 weeks ago
• morgana-proofs / hashcaster
  Frobenius sumcheck for vectorized boolean ops
  ☆38Updated 2 months ago
• zkFHE / ringSNARK
  An implementation of the Rinocchio protocol (SNARK for Ring Arithmetic) over SEAL FHE ring elements
  ☆34Updated 11 months ago
• geometryxyz / functional-commitment
  Implementation of efficient function-hiding functional commitments https://eprint.iacr.org/2021/1342
  ☆13Updated last year
• ingonyama-zk / blaze
  blaze is a Rust library for ZK acceleration on Xilinx FPGAs.
  ☆142Updated last month
• lattice-based-zkSNARKs / lattice-zksnark
  lattice-based zkSNARKs over libsnark [ISW21]
  ☆29Updated last month