Awesome GitHub RepositoriesZero-Knowledge Authentication

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

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.

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.

snarkOS ist eine verteilte Laufzeitumgebung und eine Zero-Knowledge-Proof-Blockchain, die für die Bereitstellung und Verwaltung von Anwendungen entwickelt wurde, die auf kryptografischen Zero-Knowledge-Primitiven basieren. Es fungiert als dezentrales Ledger, das Zero-Knowledge-Proofs verwendet, um Zustandsübergänge und Transaktionen zu verifizieren, ohne private Daten preiszugeben. Das System nutzt ein Bonded-Account-Konsensnetzwerk, bei dem Validatoren Vermögenswerte als Sicherheit hinterlegen, um einen globalen Zustand zu sichern. Es verfügt über ein verschlüsseltes Zustands-Ledger zur privaten Verfolgung von Anwendungsdaten und einen GPU-beschleunigten Prover, der rechenintensive kryptografische Berechnungen auf Grafikhardware auslagert, um die Proving-Geschwindigkeit zu erhöhen. Das Projekt bietet eine rollenbasierte Node-Hierarchie, bestehend aus Validator-, Core- und Prover-Nodes. Der Funktionsumfang deckt den Betrieb dezentraler Nodes, die Synchronisation von Peer-to-Peer-Netzwerken und die Verwaltung verschlüsselter Anwendungszustände ab. Zusätzliche Tools umfassen ein Command-Line-Interface für die Node-Steuerung, Telemetrie zur Überwachung der Konsens-Teilnahme und die Möglichkeit, lokale Entwicklungsnetzwerke zu booten.

Cloak ist eine Sammlung von Tools zur Umgehung von Zensur, die für sicheres Proxy-Tunneling und die Verschleierung von Internetverkehr entwickelt wurden. Der Fokus liegt darauf, restriktive Firewalls und staatliche Überwachung zu umgehen, indem Proxy-Verbindungen als normales Web-Browsing getarnt werden. Das Projekt nutzt HTTP-Fingerprint-Masquerading, um gängige Browser-Signaturen zu imitieren, und leitet den Datenverkehr über Content Delivery Networks, um die Identität des Ursprungsservers zu maskieren. Um den Zweck des Servers weiter zu verbergen, enthält es einen Mechanismus, um nicht authentifizierte Verbindungsanfragen auf eine Drittanbieter-Website umzuleiten. Das System implementiert Transport-Payload-Verschlüsselung und authentifizierte Verschlüsselungsalgorithmen, um die Inspektion und Manipulation von Datenströmen zu verhindern. Es unterstützt Zero-Round-Trip-Authentifizierung via Schlüsselaustausch, um Handshake-Verzögerungen zu eliminieren, und nutzt Connection-Multiplexing, um mehrere logische Verbindungen in einer einzigen Sitzung abzubilden. Zusätzliche Funktionen umfassen Netzwerkzugriffsverwaltung zur Steuerung von Benutzerrechten und Bandbreitenbegrenzungen über eine persistente Datenbank.

Remix is a comprehensive blockchain development environment and Ethereum smart contract IDE. It provides a complete workspace for writing, compiling, deploying, and debugging smart contracts across simulated and public blockchain networks. The project distinguishes itself as a specialized toolchain for EVM debugging and analysis, offering opcode-level transaction stepping and state memory analysis. It also includes a dedicated zero-knowledge proof toolchain for compiling ZK circuits and generating cryptographic proofs, alongside an AI-powered coding assistant for code generation and explanati