Awesome GitHub RepositoriesZero-Knowledge Proof Frameworks

Union is an interoperability messaging protocol and trust-minimized asset bridge designed to transport data and instructions across diverse blockchain ecosystems. It provides a zero-knowledge cross-chain bridge and a state verifier that uses zero-knowledge provers and light clients to validate blockchain state transitions without relying on trusted intermediaries. The project features a WebAssembly blockchain runtime that hosts virtualized smart contracts and stacks for extensible network functionality. It employs a modular relayer architecture and a decentralized mechanism for moving assets

Anoma is a distributed operating system designed to abstract the complexities of blockchain networks into a unified interface for cross-chain coordination. At its core, the platform utilizes a resource-based state machine and an intent-centric execution model, where user-defined goals are processed and settled by decentralized solvers rather than through direct, manual execution. This architecture enables the creation of applications that operate across heterogeneous distributed networks while maintaining a consistent developer and user experience. The platform distinguishes itself through a

fhevm is a full-stack blockchain framework designed to integrate Fully Homomorphic Encryption into smart contracts. It provides a platform for developing confidential smart contracts that can process encrypted data and execute private on-chain computations without decrypting the underlying information. The framework utilizes a coprocessor system to offload resource-intensive encrypted operations to an asynchronous service, improving blockchain performance and scalability. It incorporates a secure key management service based on multi-party computation and a zero-knowledge proof verifier to en

This project serves as a comprehensive technical reference and educational platform for the Ethereum ecosystem. It provides a deep dive into the fundamental architecture of decentralized ledger systems, covering the core mechanisms that enable trustless state transitions, cryptographic security, and network consensus. The documentation distinguishes itself by bridging high-level conceptual frameworks with practical implementation details. It details the lifecycle of smart contract development, from source code compilation and bytecode analysis to deployment and interaction patterns. Furthermo

WTF-Solidity is a comprehensive educational curriculum and learning platform designed to guide developers through the complexities of smart contract development and blockchain infrastructure. It serves as a technical resource for mastering the Ethereum ecosystem, providing structured tutorials that cover everything from fundamental programming concepts to advanced virtual machine operation codes. The project distinguishes itself through an integrated on-chain certification system that issues verifiable digital credentials to students upon the successful completion of course modules. By combin

This project serves as a comprehensive educational roadmap and technical resource collection for developers building decentralized finance applications. It provides a structured curriculum that guides users through the entire lifecycle of blockchain development, from mastering smart contract architecture and security best practices to integrating decentralized infrastructure into modern web applications. The repository distinguishes itself by offering a holistic view of the decentralized ecosystem, bridging the gap between low-level protocol interaction and high-level application design. It c

Chainlink is a decentralized oracle network that connects smart contracts to off-chain data, computation, and real-world systems. It provides a secure and reliable infrastructure for blockchain applications to access external information, execute automated workflows, and interact with other blockchains. The network is secured by a staking-based model where node operators lock LINK tokens as collateral, which can be slashed for poor performance, incentivizing honest and accurate data delivery. The platform distinguishes itself through a comprehensive set of capabilities that extend beyond basi

go-ibax is a blockchain protocol platform and decentralized application infrastructure used to deploy networks with custom governance and token economics. It provides a foundation for building decentralized applications through a framework that integrates identity management and on-chain data storage. The project features a multilingual virtual machine capable of executing smart contracts written in Go, Rust, and Solidity. It implements a sharded blockchain network to increase throughput and a privacy layer utilizing zero-knowledge proofs and homomorphic encryption to anonymize transaction da

CryptPad is a self-hosted, zero-knowledge office suite designed for real-time collaborative editing and content management. It provides a privacy-centric infrastructure where documents, files, and notes are encrypted in the browser before transmission, ensuring that the server administrator cannot access the underlying data. The platform implements zero-knowledge user authentication, utilizing cryptographic keys to verify identities so that plain text passwords are never stored on the server. To further isolate sensitive operations, the system employs a security architecture that separates th

Tachyon is a suite of hardware-accelerated engines and modular infrastructure for generating succinct non-interactive arguments of knowledge and polynomial commitments. It provides a GPU-accelerated zero-knowledge proof backend and a prover system designed to construct proofs from high-level circuit descriptions. The project distinguishes itself through a GPU cryptographic accelerator that offloads elliptic curve operations, field arithmetic, and cryptographic hashes to graphics hardware. This infrastructure includes a specialized polynomial commitment engine and modular components that allow

Sui is a blockchain platform featuring an object-centric state model and resource-oriented smart contracts. It utilizes parallel transaction execution to increase network throughput and supports programmable transaction blocks that bundle multiple operations into single atomic units. The platform distinguishes itself with a capability-based access control system and zero-knowledge login mechanisms, enabling users to authenticate via identity providers without seed phrases. It also implements deterministic object addressing to allow predictable state lookups and supports the creation of soulbo

This is an open-source educational website that translates and localizes MIT's Missing Semester course, teaching practical computing skills for computer science students. The curriculum covers developer tooling, shell scripting, version control, security fundamentals, and open-source collaboration, with a focus on core computing skills including data processing pipelines, workflow automation, secure remote access, shell productivity, Vim editing, and Git version control. The project distinguishes itself by teaching command-line mastery, shell scripting, and automation to boost daily developer

libsignal is a cryptographic library that implements the Signal Protocol, providing the core primitives for end-to-end encrypted messaging with forward secrecy and deniable authentication. It includes the Double Ratchet algorithm for iteratively deriving fresh encryption keys per message, and the X3DH key agreement protocol for establishing shared secrets between parties asynchronously. A session state machine maintains cryptographic state across message exchanges, supporting recovery and out-of-order delivery. The library extends beyond basic messaging encryption with capabilities such as ze

Naabu is a port scanner library and tool that probes hosts for open ports using SYN, CONNECT, and UDP methods to identify active services. It functions as a Go library for embedding port scanning into programs, and as a standalone tool that accepts targets as hostnames, IP addresses, CIDR ranges, or ASN numbers. The tool discovers live hosts before scanning, filters ports by range or top lists, and can integrate with Nmap for service version detection. The project distinguishes itself through its SYN-based port probing approach that sends TCP SYN packets and analyzes responses without complet

PoWFaucet ist ein Blockchain-Tool für die Fondsverwaltung und ein Distributions-Gateway, das als EVM-kompatibler Krypto-Faucet fungiert. Es automatisiert die Bereitstellung von nativen Netzwerkwährungen und ERC20-Token an Nutzer und verwaltet die Liquidität von Hot Wallets durch automatisierte Nachfüllungen aus sicheren Vault-Contracts. Das System setzt auf Sybil-Resistenz durch die Integration mehrerer Verifizierungsebenen. Es nutzt Proof-of-Work-Anforderungen, Captcha-Challenges und Identitätsprüfungen via Gitcoin Passport, GitHub und Zupass Zero-Knowledge-Proofs, um die Berechtigung der Nutzer zu prüfen und die Belohnungshöhe anzupassen. Die Verteilung wird durch Traffic-Kontrollen gesteuert, darunter globale Auszahlungslimits, Begrenzungen gleichzeitiger Sitzungen und Einschränkungen für wiederkehrende Anfragen. Die Plattform bietet zudem Utilities für die ENS-Namensauflösung sowie ein Frontend-Interface, das in bestehende Websites eingebettet werden kann.

Dieses Projekt ist eine verifizierbare Datenbank-Engine, die ein kryptografisches SQL-Beweissystem bereitstellt, um die Integrität gespeicherter Informationen und deren Abruf sicherzustellen. Es fungiert als beweisgestützter Datenspeicher, der kryptografische Commitments nutzt, um Datenmanipulationen zu verhindern und die Genauigkeit von Abfrageergebnissen zu garantieren. Das System generiert Zero-Knowledge-Proofs, um mathematische Beweise dafür zu liefern, dass eine SQL-Abfrage korrekt ausgeführt wurde, ohne dass ein vollständiger erneuter Durchlauf des Prozesses erforderlich ist. Diese kryptografischen Beweise können für die On-Chain-Validierung exportiert werden, was es Smart Contracts oder Dritten ermöglicht, Datenbankergebnisse vertrauenslos zu verifizieren. Die Engine umfasst einen leistungsstarken analytischen SQL-Abfrageprozessor, der komplexe Aggregationen und Filter über Millionen von Zeilen mit Antwortzeiten im Sub-Sekunden-Bereich ausführen kann. Es unterhält eine sichere Daten-Ingestion-Pipeline, die während der Eingabe manipulationssichere Hashes erstellt, um die Integrität des Datenbankzustands zu gewährleisten.

Zcash is a privacy-preserving cryptocurrency that operates a blockchain where transactions can be shielded using zero-knowledge proofs. Its reference full node, zcashd, stores the complete transaction history and validates both transparent and shielded transactions, preserving confidentiality for sender, receiver, and amount. The node implements the Sapling and Orchard shielded protocols, with Orchard using the Halo2 proving scheme to eliminate the need for a trusted setup. It offers a dual-address model that lets users choose per transaction between transparent (fully public) and shielded (p

Grin is a protocol implementation and blockchain node that provides a confidential transaction system. It uses Pedersen Commitments and homomorphic encryption to verify value integrity and ensure a consistent money supply without revealing specific transaction amounts or participant identities. The project distinguishes itself through an interactive transaction exchange model, where wallets coordinate multi-round data exchanges to build signed transactions. To maintain anonymity, the system supports onion-routed transaction delivery and masks originating IP addresses through specialized relay

Blitzar ist eine verifizierbare SQL-Proof-Engine und kryptografische Bibliothek, die für verifizierbare SQL-Berechnungen entwickelt wurde. Sie ermöglicht die Ausführung von Datenbankabfragen off-chain, während Zero-Knowledge-Proofs generiert werden, die die Korrektheit der Ergebnisse für die on-chain-Verifizierung zertifizieren. Das Projekt zeichnet sich durch einen GPU-beschleunigten Proof-Accelerator aus, der rechenintensive kryptografische Workloads auf Grafikprozessoren auslagert und so die für die Generierung prägnanter Proofs erforderliche Zeit reduziert. Es bietet hochperformante kryptografische Primitive für C++- und Rust-Anwendungen, mit Fokus auf elliptische Kurvenoperationen und Multi-Skalar-Multiplikation. Das System deckt eine breite Fläche an Datenmanagement und Sicherheit ab, einschließlich trustless Datenintegration, die Blockchain-Indizierung mit off-chain-Datensätzen zu manipulationssicheren relationalen Tabellen kombiniert. Es nutzt BFT-Konsens und Threshold-Signaturen zur Aufrechterhaltung der Statusintegrität, neben Mechanismen für Quorum-basierte Datensynchronisation und verifizierte Ergebniszustellung via Smart-Contract-Callbacks. Die Codebasis bietet native Bindings für C++ und Rust, um ihre kryptografischen Toolsets und Proof-Berechnungsbibliotheken offenzulegen.