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
• metacartel / meta-connect

  View on GitHub
  Meta Conneeeeeect
  ☆13Oct 7, 2018Updated 7 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 4 years ago
• magmo / force-move-protocol

  View on GitHub
  A force-move protocol implementation
  ☆54Dec 10, 2022Updated 3 years ago
• NordVPN Special Discount Offer • Ad
  Save on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
• commonwarexyz / battleware

  View on GitHub
  An onchain battle secured by a VRF, Timelock Encryption, and MMRs.
  ☆23Oct 21, 2025Updated 5 months ago
• PaulRBerg / awesome-zkp-starter-pack

  View on GitHub
  A curated collection of links for zero-knowledge proof cryptography used in blockchains
  ☆75Dec 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 5 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
• Managed Database hosting by DigitalOcean • Ad
  PostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
• counterfactual / monorepo

  View on GitHub
  Home for all packages related to the Counterfactual project
  ☆184Dec 12, 2019Updated 6 years ago
• 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
• tokamak-network / DEPRECATED-zvm

  View on GitHub
  Zero Knowledge based Ethereum Virtual Machine in Circom language
  ☆17Jun 3, 2025Updated 9 months 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
• drewstone / rust-miximus

  View on GitHub
  A zkSNARK implementation of a merkle tree membership preimage proof.
  ☆22May 6, 2019Updated 6 years ago
• celer-network / cApps-eth

  View on GitHub
  Ethereum contracts of sample CelerX dApps
  ☆19Jan 23, 2023Updated 3 years ago
• Simple, predictable pricing with DigitalOcean hosting • Ad
  Always know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
• 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 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
• dapp-studies / cryptoeconomics

  View on GitHub
  A collection of 🔥 resources & research on cryptoeconomics
  ☆27Apr 28, 2018Updated 7 years ago
• refcell / carp

  View on GitHub
  C.A.R.P. - Claude Agent Registry Portal
  ☆22Aug 3, 2025Updated 7 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
  ☆14May 1, 2024Updated last year
• 1-Click AI Models by DigitalOcean Gradient • Ad
  Deploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
• waskow-consensys / awesome-eulerbeats

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

  View on GitHub
  A Haskell library providing BLAKE2
  ☆11Jun 27, 2023Updated 2 years ago
• electric-sql / postgres-pglite

  View on GitHub
  Postgres fork used for PGlite
  ☆26Mar 19, 2026Updated last week
• ameensol / pools-ui

  View on GitHub
  ☆15Sep 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
• dshulyak / go-hotstuff

  View on GitHub
  Playing around with HotStuff BFT consensus protocol.
  ☆22Jan 24, 2020Updated 6 years ago