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 est un outil de gestion de fonds et une passerelle de distribution blockchain conçus pour fonctionner comme un faucet crypto compatible EVM. Il automatise la distribution de devises natives et de jetons ERC20 tout en gérant la liquidité des hot wallets via des rechargements automatisés depuis des contrats de coffre-fort sécurisés. Le système se concentre sur la résistance aux attaques Sybil en intégrant plusieurs couches de vérification. Il utilise des exigences de preuve de travail (PoW), des défis captcha et une vérification d'identité via Gitcoin Passport, GitHub et les preuves à divulgation nulle de connaissance (ZKP) de Zupass pour déterminer l'éligibilité des utilisateurs et moduler les récompenses. La distribution est gérée par des contrôles de trafic incluant des plafonds de sortie globaux, une limitation des sessions simultanées et des restrictions sur les requêtes récurrentes. La plateforme fournit également des utilitaires pour la résolution de noms ENS et une interface frontend intégrable dans des sites web existants.

Ce projet est un moteur de base de données vérifiable qui fournit un système de preuve cryptographique SQL pour assurer l'intégrité des informations stockées et leur récupération. Il fonctionne comme un magasin de données avec preuves qui utilise des engagements cryptographiques pour empêcher la falsification des données et garantir que les résultats des requêtes sont exacts. Le système génère des preuves à divulgation nulle de connaissance (zero-knowledge proofs) pour fournir une preuve mathématique qu'une requête SQL a été exécutée correctement sans nécessiter une réexécution complète du processus. Ces preuves cryptographiques peuvent être exportées pour une validation on-chain, permettant aux smart contracts ou à des tiers de vérifier les résultats de la base de données de manière trustless. Le moteur inclut un processeur de requêtes SQL analytique haute performance capable d'exécuter des agrégations et des filtres complexes sur des millions de lignes avec des temps de réponse inférieurs à la seconde. Il maintient un pipeline d'ingestion de données sécurisé qui crée des hashs inviolables lors de l'entrée pour assurer l'intégrité de l'état de la base de données.

Blitzar est un moteur de preuve SQL vérifiable et une bibliothèque cryptographique conçue pour le calcul SQL vérifiable. Il permet l'exécution de requêtes de base de données hors chaîne tout en générant des preuves à divulgation nulle de connaissance (zero-knowledge proofs) qui certifient l'exactitude des résultats pour une vérification sur chaîne. Le projet se distingue par un accélérateur de preuve accéléré par GPU qui décharge les lourdes charges de travail cryptographiques vers les processeurs graphiques, réduisant le temps requis pour la génération de preuves succinctes. Il fournit des primitives cryptographiques haute performance pour les applications C++ et Rust, se concentrant sur les opérations de courbe elliptique et la multiplication multi-scalaire. Le système couvre une large surface de gestion de données et de sécurité, incluant l'intégration de données sans confiance qui combine l'indexation blockchain avec des jeux de données hors chaîne dans des tables relationnelles inviolables. Il utilise le consensus BFT et les signatures à seuil pour maintenir l'intégrité de l'état, parallèlement à des mécanismes pour la synchronisation de données basée sur le quorum et la livraison de résultats vérifiés via des callbacks de smart contract. La base de code fournit des liaisons natives pour C++ et Rust afin d'exposer ses ensembles d'outils cryptographiques et ses bibliothèques de calcul de preuve.

snarkOS is a distributed runtime environment and zero-knowledge proof blockchain designed for deploying and managing applications that rely on zero-knowledge cryptographic primitives. It functions as a decentralized ledger that uses zero-knowledge proofs to verify state transitions and transactions without revealing private data. The system utilizes a bonded-account consensus network where validators lock assets as collateral to secure a global state. It features an encrypted state ledger to track application data privately and a GPU-accelerated prover that offloads heavy cryptographic comput

Cloak est un ensemble d'outils de contournement de la censure conçus pour le tunneling proxy sécurisé et l'obfuscation du trafic internet. Il se concentre sur le contournement des pare-feux restrictifs et de la surveillance d'État en déguisant les connexions proxy en navigation web standard. Le projet utilise le masquage d'empreinte HTTP pour imiter les signatures de navigateurs courants et achemine le trafic via des réseaux de diffusion de contenu (CDN) pour masquer l'identité du serveur d'origine. Pour dissimuler davantage la finalité du serveur, il inclut un mécanisme de redirection des requêtes de connexion non authentifiées vers un site tiers. Le système implémente le chiffrement de la charge utile de transport et des chiffrements authentifiés pour empêcher l'inspection et la falsification des flux de données. Il prend en charge l'authentification sans aller-retour (0-RTT) via l'échange de clés pour éliminer les délais de handshake et utilise le multiplexage de connexion pour mapper plusieurs connexions logiques en une seule session. Les fonctionnalités supplémentaires incluent la gestion de l'accès réseau pour contrôler les permissions des utilisateurs et les limites de bande passante via une base de données persistante.

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