Alternatives and similar repositories for frog-zone

Users that are interested in frog-zone are comparing it to the libraries listed below

• Okm165 / binius-web-snark
  Binius circuits web demos
  ☆14Updated 6 months ago
• jtriley2p / etherleaks
  Ring Signature-like Protocol for Anonymous Ethereum Signatures
  ☆9Updated 7 months ago
• armanthepythonguy / Useless-ZKVM
  ☆11Updated this week
• 0xAlcibiades / rusty-pong
  A modern Pong game implemented with Bevy and Rapier
  ☆8Updated 3 months ago
• GaloisInc / zk-lean
  zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements
  ☆13Updated last week
• phantomzone-org / obfustopia
  We're living in Obfustopia
  ☆27Updated 6 months ago
• skip-mev / skip-go-fast-solver
  Skip Go fast solver repository
  ☆8Updated 3 weeks ago
• pluto / edge
  client side proving
  ☆32Updated 4 months ago
• argumentcomputer / sphinx
  An observatory fork of SP1
  ☆71Updated 5 months ago
• arkworks-rs / spongefish
  Fiat-Shamir for the masses.
  ☆68Updated 2 weeks ago
• brech1 / keaki
  Extractable Witness Encryption for KZG Commitments
  ☆29Updated 7 months ago
• andrewmilson / ecfft
  Elliptic Curve Fast Fourier Transform built on @arkworks-rs
  ☆67Updated 2 years ago
• ingonyama-zk / smallfield-super-sumcheck
  Proof of concept implementation of sumcheck over fields of small characteristics.
  ☆14Updated last month
• Rate-Limiting-Nullifier / kzg-rln
  RLN on KZG
  ☆20Updated last year
• agglayer / pessimistic-proof
  Pessimistic proof for the AggLayer.
  ☆26Updated last year
• 0xPARC / pod2
  wip pod2 & spec
  ☆14Updated this week
• Dhole / polyexen
  Polynomial Expression Engine
  ☆35Updated last year
• MachinaIO / diamond-io
  Diamond iO implementation https://eprint.iacr.org/2025/236
  ☆74Updated this week
• Yoii-Inc / zk-mpc
  ☆27Updated last month
• PetraProver / PetraVM
  A verifiable supercomputer
  ☆73Updated 2 weeks ago
• zkemail / noir-jwt
  Noir library to verify JWT tokens, and prove claims.
  ☆28Updated 2 months ago
• zkmopro / gpu-acceleration
  Explorations on mobile-first GPU acceleration, currently support MSM.
  ☆20Updated this week
• recmo / goldilocks
  A library for fast NTTs over the Goldilocks prime field
  ☆79Updated 9 months ago
• worldfnd / ProveKit
  Client side zero-knowledge proving.
  ☆75Updated this week
• succinctlabs / hypercube-verifier
  ☆38Updated last month
• privacy-scaling-explorations / nova-by-hand
  A collection of the Notes on the Nova folding scheme explained from scratch
  ☆28Updated last year
• vicsn / witness-encryption-functional-commitment
  Based on https://eprint.iacr.org/2022/1510
  ☆26Updated 8 months ago
• Janmajayamall / bfv
  ☆26Updated last year
• succinctlabs / kzg-rs
  Rust implementation of KZG point evaluation
  ☆33Updated last month
• h-hafezi / kzh_fold
  ☆23Updated last month