Awesome GitHub RepositoriesProof Verification Interfaces

Union is an interoperability messaging protocol and trust-minimized asset bridge designed to transport data and instructions across diverse blockchain ecosystems. It provides a zero-knowledge cross-chain bridge and a state verifier that uses zero-knowledge provers and light clients to validate blockchain state transitions without relying on trusted intermediaries. The project features a WebAssembly blockchain runtime that hosts virtualized smart contracts and stacks for extensible network functionality. It employs a modular relayer architecture and a decentralized mechanism for moving assets

fhevm is a full-stack blockchain framework designed to integrate Fully Homomorphic Encryption into smart contracts. It provides a platform for developing confidential smart contracts that can process encrypted data and execute private on-chain computations without decrypting the underlying information. The framework utilizes a coprocessor system to offload resource-intensive encrypted operations to an asynchronous service, improving blockchain performance and scalability. It incorporates a secure key management service based on multi-party computation and a zero-knowledge proof verifier to en

Chainlink is a decentralized oracle network that connects smart contracts to off-chain data, computation, and real-world systems. It provides a secure and reliable infrastructure for blockchain applications to access external information, execute automated workflows, and interact with other blockchains. The network is secured by a staking-based model where node operators lock LINK tokens as collateral, which can be slashed for poor performance, incentivizing honest and accurate data delivery. The platform distinguishes itself through a comprehensive set of capabilities that extend beyond basi

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

This is an open-source educational website that translates and localizes MIT's Missing Semester course, teaching practical computing skills for computer science students. The curriculum covers developer tooling, shell scripting, version control, security fundamentals, and open-source collaboration, with a focus on core computing skills including data processing pipelines, workflow automation, secure remote access, shell productivity, Vim editing, and Git version control. The project distinguishes itself by teaching command-line mastery, shell scripting, and automation to boost daily developer

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.

Grin est une implémentation de protocole et un nœud blockchain qui fournit un système de transaction confidentiel. Il utilise des engagements de Pedersen et le chiffrement homomorphe pour vérifier l'intégrité de la valeur et assurer une masse monétaire cohérente sans révéler les montants spécifiques des transactions ou les identités des participants. Le projet se distingue par un modèle d'échange de transactions interactif, où les portefeuilles coordonnent des échanges de données en plusieurs rounds pour construire des transactions signées. Pour maintenir l'anonymat, le système prend en charge la livraison de transactions routées en oignon et masque les adresses IP d'origine via des mécanismes de relais spécialisés. Il incorpore également une preuve de travail (PoW) gourmande en mémoire pour résister à la domination du minage ASIC et utilise un modèle de registre à élagage d'état avec un stockage Merkle Mountain Range pour réduire l'empreinte disque de la blockchain. La base de code couvre un large ensemble de capacités, incluant l'exécution d'échanges atomiques cross-chain sans confiance, la gestion de portefeuilles déterministes hiérarchiques et l'opération de nœuds réseau complets. Elle fournit des outils pour le minage limité par la mémoire, l'exécution de contrats cryptographiques via des timelocks, et la communication client-serveur sécurisée utilisant le chiffrement authentifié. Le nœud peut être déployé en tant qu'image de conteneur avec un support pour la persistance des données de cache.

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.

This project provides the formal technical specifications and reference logic for the Ethereum proof-of-stake consensus layer. It defines the standards for block production, state transition rules, and the beacon chain logic required to ensure consistent network agreement. The implementation covers specialized mechanisms for chain security and efficiency, including fork-choice algorithms for canonical chain determination, committee-based signature aggregation, and KZG-based blob commitments for data availability. It also specifies the protocols for light client synchronization using sync comm

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