Alternatives and similar repositories for puzzle

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

• SafeAILab / zkDL
  zkDL, an open source toolkit for zero-knowledge proofs of deep learning powered by CUDA
  ☆49Updated 2 years ago
• guruvamsi-policharla / zkpot
  A prototype implementation of zero-knowledge proofs of training introduced in eprint:2023/1345
  ☆16Updated 2 years ago
• sragss / gpu-sumcheck
  ☆12Updated last year
• supranational / pasta-msm
  High-performance Multi-scalar Multiplication for Pasta curves
  ☆24Updated 5 months ago
• levs57 / protostar-works
  bottom text
  ☆16Updated 2 years ago
• zhenfeizhang / origami
  [wip] implementing origami VDF
  ☆13Updated 2 years ago
• odyssey2077 / halo2-cairo
  verify cairo execution in Halo2
  ☆15Updated 2 years ago
• geometryxyz / halo2-cq
  ☆14Updated 2 years ago
• h-hafezi / kzh_fold
  ☆28Updated 3 months ago
• ed255 / polyexen-demo
  Polyexen demo of Plonkish Arithmetiation Format (Plaf) on the zkevm-circuits
  ☆31Updated last year
• phantomzone-org / poulpy
  A backend agnostic modular FHE library over the Torus using bivariate polynomial representation
  ☆50Updated 3 weeks ago
• hashcloak / plonky2-merkle-trees
  ☆15Updated 2 years ago
• zkpstandard / wg-sigma-protocols
  ☆15Updated 4 months ago
• zama-ai / verifiable-fhe-paper
  Verifiable FHE prototype
  ☆27Updated last year
• matter-labs / z-prize-msm-gpu-combined
  Combined solution from Matter Labs and Yrrid based on their respective submissions for the Z-Prize category Accelerating MSM Operations o…
  ☆16Updated 2 years ago
• geometryxyz / sangria_impl
  An implementation of Sangria
  ☆17Updated 2 years ago
• noir-lang / noir_bigcurve
  ☆14Updated 2 weeks ago
• privacy-ethereum / sol-whir
  Solidity libraries and contracts for verifying WHIR proofs on the EVM.
  ☆28Updated last year
• cursive-team / zk-summit
  Connect with ZK Summit 11 attendees by tapping NFC cards to share digital signatures
  ☆20Updated last year
• arnaucube / protogalaxy-poc
  ProtoGalaxy folding scheme PoC implementation https://eprint.iacr.org/2023/1106.pdf
  ☆41Updated 2 years ago
• uiuc-kang-lab / zkml
  SysX
  ☆34Updated last year
• PrimeIntellect-ai / pccl
  PCCL (Prime Collective Communications Library) implements fault tolerant collective communications over IP
  ☆141Updated 4 months ago
• emilianobonassi / zkml-community-calls
  notes for community call for ZKML Community
  ☆19Updated 3 years ago
• 0xPolygonZero / hyperstark
  Early prototype.
  ☆23Updated 2 years ago
• morgana-proofs / hashcaster
  Frobenius sumcheck for vectorized boolean ops
  ☆56Updated 9 months ago
• arnaucube / sigmabus-poc
  Proof of concept implementation of Sigmabus https://eprint.iacr.org/2023/1406
  ☆10Updated 2 years ago
• openvm-org / stark-backend
  Proof system backends for OpenVM.
  ☆32Updated this week
• geometryxyz / sparkworks
  Simple trait that enables using FPGA VariableBaseMsm developed by ingonyama
  ☆10Updated 3 years ago
• avras / nova-sha256
  Nova-based SHA256 benchmarks
  ☆31Updated 8 months ago
• Janmajayamall / tfhe-research
  ☆13Updated 2 years ago