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 هي أداة لإدارة أموال البلوكشين وبوابة توزيع مصممة لتعمل كصنبور عملات رقمية متوافق مع EVM. تقوم الأداة بأتمتة تسليم العملات الأصلية للشبكة ورموز ERC20 للمستخدمين، مع إدارة سيولة المحفظة الساخنة من خلال عمليات إعادة تعبئة تلقائية من عقود خزنة آمنة. يركز النظام على مقاومة هجمات Sybil من خلال دمج طبقات متعددة من التحقق. يستخدم متطلبات إثبات العمل (PoW)، وتحديات الكابتشا، والتحقق من الهوية عبر Gitcoin Passport وGitHub وZupass (إثباتات المعرفة الصفرية) لتحديد أهلية المستخدم وتعديل مبالغ المكافآت. تتم إدارة التوزيع من خلال ضوابط حركة المرور بما في ذلك حدود التدفق العالمية، وتقييد الجلسات المتزامنة، وقيود الطلبات المتكررة. توفر المنصة أيضاً أدوات لحل أسماء ENS وواجهة أمامية يمكن تضمينها في المواقع الإلكترونية الحالية.

هذا المشروع عبارة عن محرك قاعدة بيانات قابل للتحقق يوفر نظام إثبات تشفيري لـ SQL لضمان سلامة المعلومات المخزنة واسترجاعها. يعمل كمخزن بيانات حامل للإثبات يستخدم التزامات تشفيرية لمنع التلاعب بالبيانات وضمان دقة نتائج الاستعلام. يولد النظام إثباتات المعرفة الصفرية (zero-knowledge proofs) لتقديم أدلة رياضية على أن استعلام SQL قد تم تنفيذه بشكل صحيح دون الحاجة إلى إعادة تشغيل العملية بالكامل. يمكن تصدير هذه الإثباتات التشفيرية للتحقق منها على السلسلة، مما يسمح للعقود الذكية أو أطراف ثالثة بالتحقق من نتائج قاعدة البيانات بشكل موثوق. يتضمن المحرك معالج استعلامات SQL تحليلي عالي الأداء قادر على تنفيذ تجميعات وفلاتر معقدة عبر ملايين الصفوف مع أوقات استجابة أقل من ثانية. يحافظ على خط أنابيب استيعاب بيانات آمن ينشئ تجزئات مقاومة للتلاعب أثناء الإدخال لضمان سلامة حالة قاعدة البيانات.

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

snarkOS هو بيئة وقت تشغيل موزعة وبلوكشين لإثبات المعرفة الصفرية (Zero-knowledge proof) مصمم لنشر وإدارة التطبيقات التي تعتمد على بدائيات التشفير ذات المعرفة الصفرية. يعمل كسجل لامركزي يستخدم إثباتات المعرفة الصفرية للتحقق من انتقالات الحالة والمعاملات دون الكشف عن البيانات الخاصة. يستخدم النظام شبكة إجماع للحسابات المضمونة حيث يقوم المدققون بقفل الأصول كضمان لتأمين حالة عالمية. يتميز بسجل حالة مشفر لتتبع بيانات التطبيق بشكل خاص ومُثبت (Prover) معزز بـ GPU يقوم بتفريغ الحسابات التشفيرية الثقيلة إلى أجهزة الرسوميات لزيادة سرعة الإثبات. يوفر المشروع تسلسلاً هرمياً للعقد يعتمد على الأدوار يتكون من عقد المدقق، والعقد الأساسية، وعقد الإثبات. يغطي سطح قدراته تشغيل العقد اللامركزية، ومزامنة الشبكة من نظير إلى نظير، وإدارة حالة التطبيق المشفرة. تشمل الأدوات الإضافية واجهة سطر أوامر للتحكم في العقد، وقياسات عن بعد لمراقبة المشاركة في الإجماع، والقدرة على تهيئة شبكات التطوير المحلية.

Cloak عبارة عن مجموعة من أدوات تجاوز الرقابة مصممة للأنفاق الوكيلة الآمنة (Proxy tunneling) وتعتيم حركة مرور الإنترنت. يركز على تجاوز جدران الحماية المقيدة ومراقبة الدولة من خلال تمويه اتصالات الوكيل كأنها تصفح ويب عادي. يستخدم المشروع تقنية انتحال بصمة HTTP لتقليد توقيعات المتصفحات الشائعة وتوجيه حركة المرور عبر شبكات توصيل المحتوى (CDN) لإخفاء هوية خادم الأصل. ولإخفاء غرض الخادم بشكل أكبر، يتضمن آلية لإعادة توجيه طلبات الاتصال غير المصرح بها إلى موقع ويب تابع لجهة خارجية. يطبق النظام تشفير حمولة النقل (Transport payload encryption) وشفرات التشفير الموثقة لمنع فحص وتلاعب تدفقات البيانات. كما يدعم المصادقة بدون رحلة ذهاب وإياب (Zero round trip) عبر تبادل المفاتيح للقضاء على تأخيرات المصافحة، ويستخدم تعدد إرسال الاتصالات (Connection multiplexing) لربط اتصالات منطقية متعددة في جلسة واحدة. تشمل الإمكانيات الإضافية إدارة الوصول إلى الشبكة للتحكم في أذونات المستخدم وحدود النطاق الترددي من خلال قاعدة بيانات دائمة.

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