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 es una herramienta de gestión de fondos y pasarela de distribución para blockchain, diseñada para operar como un faucet de criptomonedas compatible con EVM. Automatiza la entrega de monedas nativas de la red y tokens ERC20 a los usuarios, mientras gestiona la liquidez de la hot wallet mediante recargas automáticas desde contratos de bóveda seguros. El sistema se enfoca en la resistencia contra ataques Sybil integrando múltiples capas de verificación. Emplea requisitos de prueba de trabajo (PoW), desafíos de captcha y verificación de identidad mediante Gitcoin Passport, GitHub y pruebas de conocimiento cero (ZKP) de Zupass para determinar la elegibilidad del usuario y modular las cantidades de recompensa. La distribución se gestiona mediante controles de tráfico que incluyen límites globales de salida, limitación de sesiones concurrentes y restricciones de solicitudes recurrentes. La plataforma también proporciona utilidades para la resolución de nombres ENS y una interfaz frontend que puede integrarse en sitios web existentes.

Este proyecto es un motor de base de datos verificable que proporciona un sistema de prueba criptográfica SQL para asegurar la integridad de la información almacenada y su recuperación. Funciona como un almacén de datos que lleva pruebas y utiliza compromisos criptográficos para prevenir la manipulación de datos y garantizar que los resultados de las consultas sean precisos. El sistema genera pruebas de conocimiento cero para proporcionar evidencia matemática de que una consulta SQL se ejecutó correctamente sin requerir una re-ejecución completa del proceso. Estas pruebas criptográficas pueden exportarse para validación on-chain, permitiendo que contratos inteligentes o terceros verifiquen los resultados de la base de datos de forma confiable. El motor incluye un procesador de consultas SQL analíticas de alto rendimiento capaz de ejecutar agregaciones y filtros complejos sobre millones de filas con tiempos de respuesta inferiores a un segundo. Mantiene un pipeline de ingesta de datos seguro que crea hashes a prueba de manipulaciones durante la entrada para asegurar la integridad del estado de la base de datos.

Blitzar es un motor de pruebas SQL verificables y una librería criptográfica diseñada para la computación SQL verificable. Permite la ejecución de consultas de base de datos fuera de la cadena (off-chain) mientras genera pruebas de conocimiento cero que certifican la corrección de los resultados para su verificación en la cadena (on-chain). El proyecto se distingue por un acelerador de pruebas basado en GPU que descarga cargas de trabajo criptográficas pesadas a procesadores gráficos, reduciendo el tiempo requerido para la generación de pruebas sucintas. Proporciona primitivas criptográficas de alto rendimiento para aplicaciones en C++ y Rust, centrándose en operaciones de curvas elípticas y multiplicación multiescalar. El sistema cubre una amplia superficie de gestión de datos y seguridad, incluyendo la integración de datos sin confianza (trustless) que combina la indexación de blockchain con conjuntos de datos fuera de la cadena en tablas relacionales a prueba de manipulaciones. Utiliza consenso BFT y firmas de umbral para mantener la integridad del estado, junto con mecanismos para la sincronización de datos basada en quórum y la entrega de resultados verificados mediante callbacks de contratos inteligentes. El código base proporciona bindings nativos para C++ y Rust para exponer sus conjuntos de herramientas criptográficas y librerías de computación de pruebas.

snarkOS es un entorno de ejecución distribuido y blockchain de prueba de conocimiento cero (zero-knowledge proof) diseñado para desplegar y gestionar aplicaciones que dependen de primitivas criptográficas de conocimiento cero. Funciona como un libro mayor descentralizado que utiliza pruebas de conocimiento cero para verificar transiciones de estado y transacciones sin revelar datos privados. El sistema utiliza una red de consenso de cuentas vinculadas donde los validadores bloquean activos como garantía para asegurar un estado global. Cuenta con un libro mayor de estado cifrado para rastrear datos de la aplicación de forma privada y un probador acelerado por GPU que descarga cálculos criptográficos pesados al hardware gráfico para aumentar la velocidad de prueba. El proyecto proporciona una jerarquía de nodos basada en roles que consiste en nodos validadores, centrales y probadores. Su superficie de capacidades cubre la operación de nodos descentralizados, sincronización de red peer-to-peer y la gestión del estado cifrado de la aplicación. Herramientas adicionales incluyen una interfaz de línea de comandos para el control de nodos, telemetría para monitorear la participación en el consenso y la capacidad de arrancar redes de desarrollo locales.

Cloak is a set of censorship circumvention tools designed for secure proxy tunneling and internet traffic obfuscation. It focuses on bypassing restrictive firewalls and state surveillance by disguising proxy connections as standard web browsing. The project utilizes HTTP fingerprint masquerading to imitate common browser signatures and routes traffic through content delivery networks to mask the identity of the origin server. To further hide the server's purpose, it includes a mechanism to redirect unauthenticated connection requests to a third-party website. The system implements transport

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