9 repository-uri
Authentication mechanisms that use ZK-proofs to derive identities from external providers without seed phrases.
Distinct from Zero-Knowledge Proof Frameworks: Focuses on the authentication/login flow rather than general privacy-preserving frameworks.
Explore 9 awesome GitHub repositories matching security & cryptography · Zero-Knowledge Authentication. Refine with filters or upvote what's useful.
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
Verifies user identities using cryptographic keys so that plain text passwords are never stored on the server.
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
Uses GPU hardware to significantly reduce the time and computational resources required to generate zero-knowledge proofs.
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
Authenticates users via identity providers using zero-knowledge proofs to derive blockchain addresses without seed phrases.
PoWFaucet este un instrument de gestionare a fondurilor blockchain și un gateway de distribuție conceput să funcționeze ca un faucet crypto compatibil cu EVM. Acesta automatizează livrarea monedelor native și a tokenurilor ERC20 către utilizatori, gestionând în același timp lichiditatea portofelelor fierbinți prin reîncărcări automate din contracte de tip vault securizate. Sistemul se concentrează pe rezistența la atacuri Sybil prin integrarea mai multor straturi de verificare. Utilizează cerințe de tip proof-of-work, provocări captcha și verificarea identității prin Gitcoin Passport, GitHub și Zupass (zero-knowledge proofs) pentru a determina eligibilitatea utilizatorilor și a modula valoarea recompenselor. Distribuția este gestionată prin controale de trafic, inclusiv limite globale de ieșire, limitarea sesiunilor concurente și restricții privind cererile recurente. Platforma oferă, de asemenea, utilitare pentru rezoluția numelor ENS și o interfață frontend care poate fi integrată în site-urile existente.
Uses Zupass zero-knowledge proofs to authenticate users and grant reward boosts.
Acest proiect este un motor de bază de date verificabil care oferă un sistem de dovezi criptografice SQL pentru a asigura integritatea informațiilor stocate și regăsirea acestora. Acesta funcționează ca un depozit de date care poartă dovezi și utilizează angajamente criptografice pentru a preveni manipularea datelor și a garanta că rezultatele interogărilor sunt corecte. Sistemul generează dovezi zero-knowledge pentru a oferi dovezi matematice că o interogare SQL a fost executată corect, fără a necesita o re-rulare completă a procesului. Aceste dovezi criptografice pot fi exportate pentru validare on-chain, permițând contractelor inteligente sau terților să verifice rezultatele bazei de date în mod trustless. Motorul include un procesor de interogări SQL analitice de înaltă performanță, capabil să execute agregări și filtre complexe peste milioane de rânduri cu timpi de răspuns sub o secundă. Menține un pipeline de ingestie a datelor securizat care creează hash-uri anti-manipulare în timpul introducerii pentru a asigura integritatea stării bazei de date.
Produces zero-knowledge proofs providing mathematical evidence that SQL queries were executed correctly.
Blitzar is a verifiable SQL proof engine and cryptographic library designed for verifiable SQL computation. It enables the execution of database queries off-chain while generating zero-knowledge proofs that certify the correctness of the results for on-chain verification. The project distinguishes itself through a GPU-accelerated proof accelerator that offloads heavy cryptographic workloads to graphics processors, reducing the time required for succinct proof generation. It provides high-performance cryptographic primitives for C++ and Rust applications, focusing on elliptic curve operations
Produces zero-knowledge proofs for query results against tamperproof tables for on-chain verification.
snarkOS este un mediu de runtime distribuit și un blockchain cu dovezi zero-knowledge, conceput pentru implementarea și gestionarea aplicațiilor care se bazează pe primitive criptografice zero-knowledge. Acesta funcționează ca un registru descentralizat care utilizează dovezi zero-knowledge pentru a verifica tranzițiile de stare și tranzacțiile fără a dezvălui date private. Sistemul utilizează o rețea de consens cu conturi garantate (bonded-account), unde validatorii blochează activele drept colateral pentru a securiza o stare globală. Dispune de un registru de stare criptat pentru a urmări datele aplicației în mod privat și un prover accelerat prin GPU care descarcă calculele criptografice grele către hardware-ul grafic pentru a crește viteza de dovedire. Proiectul oferă o ierarhie de noduri bazată pe roluri, constând în noduri validator, core și prover. Suprafața sa de capabilități acoperă operarea descentralizată a nodurilor, sincronizarea rețelei peer-to-peer și gestionarea stării criptate a aplicației. Instrumentele suplimentare includ o interfață de linie de comandă pentru controlul nodurilor, telemetrie pentru monitorizarea participării la consens și capacitatea de a boota rețele locale de dezvoltare.
Operates dedicated prover nodes to compute solutions and generate succinct non-interactive arguments of knowledge.
Cloak este un set de instrumente pentru evitarea cenzurii, conceput pentru tunelare proxy securizată și ofuscarea traficului de internet. Se concentrează pe ocolirea firewall-urilor restrictive și a supravegherii statale prin deghizarea conexiunilor proxy ca navigare web standard. Proiectul utilizează mascarea amprentelor HTTP pentru a imita semnăturile browserelor comune și direcționează traficul prin rețele de livrare de conținut (CDN) pentru a ascunde identitatea serverului de origine. Pentru a masca și mai mult scopul serverului, include un mecanism de redirecționare a cererilor de conexiune neautentificate către un site web terț. Sistemul implementează criptarea sarcinii utile (payload) de transport și cifruri de criptare autentificată pentru a preveni inspecția și manipularea fluxurilor de date. Suportă autentificarea zero round trip prin schimb de chei pentru a elimina întârzierile de handshake și folosește multiplexarea conexiunilor pentru a mapa mai multe conexiuni logice într-o singură sesiune. Capabilitățile suplimentare includ gestionarea accesului la rețea pentru a controla permisiunile utilizatorilor și limitele de lățime de bandă printr-o bază de date persistentă.
Verifies client identity on the first received packet using key exchange to eliminate handshake delays.
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
Produces cryptographic proofs and public signals using witnesses and proving schemes.