mattgstevens/awesome-zero-knowledge-proofs 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

mattgstevens/awesome-zero-knowledge-proofs

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/mattgstevens/awesome-zero-knowledge-proofs)

Close

mattgstevens / awesome-zero-knowledge-proofsView on GitHubMore

• External links
• Readme badge

A collection of videos, reading materials and tools for learning all about the ZK side of crypto.

☆19Nov 5, 2018Updated 7 years ago

Alternatives and similar repositories for awesome-zero-knowledge-proofs

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

• CoinCulture / agnes

  View on GitHub
  BFT consensus in Rust
  ☆19Jan 26, 2022Updated 4 years ago
• pheymann / scala.bft

  View on GitHub
  Parallel Byzantine Fault Tolerance (R&D)
  ☆11Dec 14, 2017Updated 8 years ago
• ethereum-optimism / regenesis

  View on GitHub
  [Optimism] State Dumps & Regenesis Automation
  ☆15Apr 10, 2021Updated 5 years ago
• magmo / force-move-protocol

  View on GitHub
  A force-move protocol implementation
  ☆54Dec 10, 2022Updated 3 years ago
• commonwarexyz / battleware

  View on GitHub
  An onchain battle secured by a VRF, Timelock Encryption, and MMRs.
  ☆24Oct 21, 2025Updated 6 months ago
• GPUs on demand by Runpod - Special Offer Available • Ad
  Run AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
• PaulRBerg / awesome-zkp-starter-pack

  View on GitHub
  A curated collection of links for zero-knowledge proof cryptography used in blockchains
  ☆76Dec 2, 2024Updated last year
• novifinancial / librabft_simulator

  View on GitHub
  Discrete-event simulation for BFT consensus protocols
  ☆48Oct 13, 2021Updated 4 years ago
• arkworks-rs / dpc

  View on GitHub
  A library for decentralized private computation
  ☆19Jul 21, 2021Updated 4 years ago
• trinity-project / trinity-eth

  View on GitHub
  ☆13Feb 15, 2019Updated 7 years ago
• syallop / Join-Language

  View on GitHub
  Haskell Join-calculus DSL
  ☆24Jan 5, 2019Updated 7 years ago
• PerunEthereum / Perun

  View on GitHub
  Implementation of the Perun protocol
  ☆49Apr 11, 2020Updated 6 years ago
• dapp-studies / game-theory-study-group

  View on GitHub
  Notes and stuff related to the study group
  ☆15Feb 26, 2017Updated 9 years ago
• Unitychain / zkvote-node

  View on GitHub
  Using ZK-SNARK to Implement Decentralized Anonymous Voting on p2p Network
  ☆15Jun 8, 2020Updated 5 years ago
• counterfactual / monorepo

  View on GitHub
  Home for all packages related to the Counterfactual project
  ☆184Dec 12, 2019Updated 6 years ago
• Managed hosting for WordPress and PHP on Cloudways • Ad
  Managed hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
• arkworks-rs / ivls

  View on GitHub
  Implementation of incrementally verifiable ledger system
  ☆18Mar 24, 2021Updated 5 years ago
• akosba / mirage

  View on GitHub
  A zk-SNARK for randomized algorithms + linear-size universal circuits (https://eprint.iacr.org/2020/278)
  ☆18Jan 24, 2021Updated 5 years ago
• dalek-cryptography / zkp

  View on GitHub
  Experimental zero-knowledge proof compiler in Rust macros
  ☆166Oct 23, 2023Updated 2 years ago
• pirapira / evmverif

  View on GitHub
  An EVM code verification framework in Coq
  ☆44Oct 11, 2016Updated 9 years ago
• clabby / op-reth

  View on GitHub
  ☆18Mar 8, 2023Updated 3 years ago
• jonspock / cryptopdfs

  View on GitHub
  Various papers on crypto pertinent to zero knowledge proofs, etc
  ☆24Dec 7, 2019Updated 6 years ago
• kumavis / udapp

  View on GitHub
  ethereum universal dapp
  ☆27Oct 9, 2017Updated 8 years ago
• celer-network / cApps-eth

  View on GitHub
  Ethereum contracts of sample CelerX dApps
  ☆19Jan 23, 2023Updated 3 years ago
• drewstone / rust-miximus

  View on GitHub
  A zkSNARK implementation of a merkle tree membership preimage proof.
  ☆22May 6, 2019Updated 7 years ago
• Wordpress hosting with auto-scaling - Free Trial Offer • Ad
  Fully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
• ekmett / hybrid-vectors

  View on GitHub
  Hybrid vectors e.g. mixed boxed/unboxed vectors that are suitable for use with vector-algorithms
  ☆14Aug 29, 2025Updated 8 months ago
• ethereumjs / kzg-wasm

  View on GitHub
  KZG WASM Build suitable for EIP-4844 and PeerDAS (EIP-7594)
  ☆16Nov 3, 2025Updated 6 months ago
• cryptape / bft-rs

  View on GitHub
  An efficient and stable Rust library of BFT protocol for distributed system.
  ☆52Nov 4, 2019Updated 6 years ago
• the-real-blackh / cassandra-cql

  View on GitHub
  Haskell client for Cassandra's CQL protocol
  ☆28Jul 10, 2017Updated 8 years ago
• brownie / cashlib

  View on GitHub
  ZKPDL & cashlib: A language-based system for zero-knowledge proofs and electronic cash (e-cash).
  ☆55Mar 22, 2016Updated 10 years ago
• iwasaki-kenta / canteen

  View on GitHub
  ETHDenver 2018.
  ☆26Feb 18, 2018Updated 8 years ago
• refcell / carp

  View on GitHub
  C.A.R.P. - Claude Agent Registry Portal
  ☆22Aug 3, 2025Updated 9 months ago
• evmts / bun-starterkit

  View on GitHub
  A minimal EVMts+Viem+Bun starterkit
  ☆11Sep 11, 2023Updated 2 years ago
• ByteAtATime / scaffold-eth-svelte

  View on GitHub
  A Svelte port of Scaffold-ETH 2
  ☆15May 1, 2024Updated 2 years ago
• Deploy to Railway using AI coding agents - Free Credits Offer • Ad
  Use Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
• waskow-consensys / awesome-eulerbeats

  View on GitHub
  😎 A curated list of awesome EulerBeats resources.
  ☆12Mar 29, 2021Updated 5 years ago
• haskell-cryptography / blake2

  View on GitHub
  A Haskell library providing BLAKE2
  ☆11Jun 27, 2023Updated 2 years ago
• bitc / hs-vault-tool

  View on GitHub
  Haskell client library for HashiCorp's Vault tool (via HTTP API)
  ☆10Oct 28, 2021Updated 4 years ago
• ameensol / pools-ui

  View on GitHub
  ☆14Sep 5, 2023Updated 2 years ago
• uzyn / solc-loader

  View on GitHub
  Ethereum Solidity module for Webpack
  ☆14Oct 25, 2016Updated 9 years ago
• cpurta / geth-devnet

  View on GitHub
  Simple geth node running a private development network
  ☆15Jun 3, 2022Updated 3 years ago
• ethberlin-hackathon / ETHBerlin-KnowledgeBase

  View on GitHub
  [ATTN] The Knowledge Base for 2019 moved >>>
  ☆28Aug 6, 2019Updated 6 years ago