geometryxyz/proof-toolbox external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

geometryxyz/proof-toolbox

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/geometryxyz/proof-toolbox)

Close

geometryxyz / proof-toolboxView on GitHubMore

• External links
• Readme badge

Cryptographic protocols

☆38Apr 19, 2023Updated 2 years ago

Alternatives and similar repositories for proof-toolbox

Users that are interested in proof-toolbox are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• geometryxyz / mental-poker

  View on GitHub
  A library for mental poker (and other card games). Based on the Barnett-Smart protocol and the Bayer-Groth argument of correct shuffle
  ☆118Jan 29, 2025Updated last year
• geometryxyz / cq

  View on GitHub
  Let's go https://eprint.iacr.org/2022/1763.pdf
  ☆62May 22, 2023Updated 2 years ago
• lyronctk / zator

  View on GitHub
  Verifying a 512-layer CNN w/ Nova
  ☆173May 5, 2023Updated 2 years ago
• ingonyama-zk / modular_multiplication

  View on GitHub
  efficient modular multiplication research
  ☆15Feb 8, 2023Updated 3 years ago
• privacy-ethereum / Nova

  View on GitHub
  Nova: Recursive SNARKs without trusted setup
  ☆44Aug 21, 2023Updated 2 years ago
• geometryxyz / zkhack-groth-puzzle

  View on GitHub
  https://geometryresearch.xyz/notebook/zkhack-groth-challenge
  ☆50Aug 6, 2022Updated 3 years ago
• geometryxyz / technical_notes

  View on GitHub
  A collection of technical notes from the Geometry research team.
  ☆47Apr 17, 2023Updated 2 years ago
• cryptonetlab / testudo

  View on GitHub
  Testudo: Spartan + Groth16
  ☆53Feb 21, 2024Updated 2 years ago
• hrkrshnn / ethccgame

  View on GitHub
  ☆13Sep 17, 2022Updated 3 years ago
• maxgillett / halo2-fri-gadget

  View on GitHub
  A FRI verifier circuit for the Halo2 proof system
  ☆77Feb 22, 2023Updated 3 years ago
• clvv / rcc

  View on GitHub
  ☆27Sep 25, 2023Updated 2 years ago
• sampritipanda / msm-webgpu

  View on GitHub
  ☆19Dec 19, 2023Updated 2 years ago
• lyronctk / treasure-house

  View on GitHub
  Private treasuries enabled by ECDH and ZKPs
  ☆17Mar 31, 2023Updated 2 years ago
• ZcashFoundation / powersoftau-attestations

  View on GitHub
  ☆25Dec 4, 2022Updated 3 years ago
• geometryxyz / fk

  View on GitHub
  https://eprint.iacr.org/2020/1516.pdf
  ☆19Jan 2, 2023Updated 3 years ago
• thor314 / ccs-hack

  View on GitHub
  a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness
  ☆50Jul 5, 2023Updated 2 years ago
• rust-blockchain / verkle

  View on GitHub
  ☆15Jul 8, 2021Updated 4 years ago
• ingonyama-zk / zkctf-2023-writeups

  View on GitHub
  Write-ups submitted by CTF participants
  ☆35Jun 1, 2023Updated 2 years ago
• nulltea / spy-pets

  View on GitHub
  Universal covert privacy-enhancing transactions for any blockchain that supports ECDSA or Schnorr
  ☆29Jan 8, 2023Updated 3 years ago
• arnaucube / go-blindsecp256k1

  View on GitHub
  Blind signatures over secp256k1 elliptic curve
  ☆17May 17, 2022Updated 3 years ago
• rdi-berkeley / zkp-course-lecture3-code

  View on GitHub
  ☆61Jan 31, 2023Updated 3 years ago
• cronokirby / deevee

  View on GitHub
  Designatived verifier Schnorr signatures
  ☆13Nov 4, 2022Updated 3 years ago
• arnaucube / sigmabus-poc

  View on GitHub
  Proof of concept implementation of Sigmabus https://eprint.iacr.org/2023/1406
  ☆10Dec 20, 2023Updated 2 years ago
• alinush / asvc-paper

  View on GitHub
  Vector Commitments with Constant-Sized, Updatable Proofs and Linear-Sized Public Parameters
  ☆11Jun 3, 2021Updated 4 years ago
• z-prize / 2023-entries

  View on GitHub
  Source code for all entries from the 2023 ZPrize competition
  ☆25Jan 29, 2026Updated last month
• lambdaclass / simpleworks

  View on GitHub
  Arkworks made simple for us: the non cryptographer software plumbers
  ☆25Feb 8, 2023Updated 3 years ago
• privacy-ethereum / nova-bench

  View on GitHub
  A collection of comparison-benchmarks for Nova & related Proving systems
  ☆44Apr 6, 2023Updated 2 years ago
• privacy-ethereum / multifolding-poc

  View on GitHub
  A PoC repo for a HyperNova impl
  ☆83Aug 23, 2023Updated 2 years ago
• crate-crypto / qesa

  View on GitHub
  Efficient zero-knowledge arguments in the discrete log setting, revisited
  ☆16Mar 4, 2020Updated 6 years ago
• 0xPARC / plonkathon

  View on GitHub
  educational python plonk implementation, based on vitalik's py_plonk
  ☆223Jul 12, 2024Updated last year
• yrrid / submission-msm-gpu

  View on GitHub
  ☆12Dec 20, 2023Updated 2 years ago
• zooko / hash-function-survey

  View on GitHub
  a web page / paper
  ☆18Feb 24, 2017Updated 9 years ago
• zcash / sapling-security-analysis

  View on GitHub
  ☆14May 3, 2019Updated 6 years ago
• cronokirby / boo-hoo

  View on GitHub
  An implementation of ZKBoo
  ☆33May 10, 2022Updated 3 years ago
• SabaEskandarian / PunchCard

  View on GitHub
  A privacy-preserving digital version of punch cards used in store loyalty programs
  ☆11Apr 19, 2021Updated 4 years ago
• zhenfeizhang / pasta-solidity

  View on GitHub
  A Solidity implementation of Halo2's Pasta curves
  ☆50Mar 30, 2023Updated 2 years ago
• zkpstandard / wg-sigma-protocols

  View on GitHub
  ☆15Sep 20, 2025Updated 6 months ago
• matter-labs / rescue-poseidon

  View on GitHub
  Rescue and Poseidon hash function implementations
  ☆43Aug 15, 2024Updated last year
• snarkify / arkmsm

  View on GitHub
  ☆50Feb 11, 2025Updated last year