Zéro-Knowledge Proof

Brevis est une plateforme de calcul vérifiable fondée sur les preuves à divulgation nulle de connaissance (ZK), qualifiée de « couche de calcul infinie » pour Web3. Sa méthode principale consiste à réaliser des calculs exigeants en off-chain, tout en laissant à la Blockchain la vérification d’une preuve concise.

Pico zkVM est la machine virtuelle Zero-Knowledge (zkVM) modulaire et open-source de Brevis (BREV). Elle offre aux développeurs la possibilité de programmer toute logique computationnelle en Rust et de produire une preuve Zero-Knowledge (ZK) certifiant la bonne exécution du calcul.

Le coprocesseur de données ZK supprime la limitation des Smart Contracts à accéder aux données historiques en autorisant la récupération off-chain de données historiques ou cross-chain à partir de nœuds d’archive, l’exécution des calculs, puis le renvoi d’une preuve à divulgation nulle de connaissance qui atteste à la fois du résultat et de l’authenticité et de la validité des données. Cette preuve peut être vérifiée par le contrat on-chain en quelques millisecondes. Le flux de données se déroule en quatre étapes : demande de l’application, calcul off-chain, génération de la preuve ZK, puis vérification on-chain et réception du résultat, ce qui permet d’obtenir des conclusions fiables sans avoir à rejouer l’ensemble des données.

Les oracles servent principalement à transférer des données externes et off-chain vers la blockchain, leur fiabilité étant assurée par les nœuds et les mécanismes d’incitation économique. Les co-processeurs ZK, comme Brevis, privilégient le calcul vérifiable des données historiques on-chain existantes, utilisant les preuves à divulgation nulle de connaissance pour autoriser une validation directe des résultats sur la blockchain. Ces deux technologies se situent à des extrémités opposées du flux de données blockchain et jouent des rôles complémentaires en matière de direction des données, de modèles de confiance et de capacités de calcul. Leurs limites ne sont pas strictement définies ; dans la pratique, les approches hybrides et collaboratives sont fréquemment mises en œuvre.

BREV est le token natif du réseau Brevis. Il permet trois fonctions essentielles : le paiement des frais de preuve, le stake des Provers et la gouvernance du protocole. coChain opère comme une blockchain proof-of-stake, intégrant des mécanismes de staking et de slashing sur Ethereum. Les validateurs soumettent leurs résultats sous forme de propositions à la chaîne de requêtes, ce qui ouvre une fenêtre de contestation. Si une proposition incorrecte est contestée avec succès grâce à une preuve à divulgation nulle de connaissance, le stake associé est slashed sur Ethereum. En l’absence de contestation, le résultat est accepté automatiquement, ce qui permet d’éviter le coût de la preuve.

La différence fondamentale entre Manta Pacific et Manta Atlantic réside dans leurs rôles fonctionnels. Pacific est un réseau modulaire Layer 2 sur Ethereum, spécialisé dans le déploiement et la mise à l'échelle d'applications décentralisées zero-knowledge (ZK). Atlantic, quant à lui, est un réseau Layer 1 ZK sur Polkadot, dédié à l'infrastructure d'identité de conformité on-chain reposant sur zkAddress et zkSBT. Les deux chaînes font partie de l'écosystème Manta Network et partagent le Token d'utilité natif MANTA, mais elles présentent des différences structurelles dans leurs écosystèmes sous-jacents, leurs stacks techniques et leurs groupes d'utilisateurs cibles.

Manta Network (MANTA) est un écosystème blockchain modulaire conçu pour les applications zero-knowledge (ZK), articulé autour de deux composantes : Manta Pacific — un réseau modulaire Layer 2 intégré à l'écosystème Ethereum — et Manta Atlantic, un réseau Layer 1 ZK reposant sur Polkadot. Pacific exploite la couche de disponibilité des données Celestia et l'environnement d'exécution EVM/zkEVM pour soutenir les applications décentralisées, tandis qu'Atlantic se concentre sur l'identité conforme on-chain, en offrant une infrastructure d'identité zero-knowledge programmable via zkSBT et zkAddress.

Universal Circuits est une bibliothèque de circuits pré-construits en tant que service ZK déployée sur Manta Pacific : les développeurs Solidity peuvent ajouter une fonctionnalité zero-knowledge à leurs dApps via des interfaces de contrat standard, sans avoir à passer à des langages ZK spécialisés comme Cairo ; parmi les applications typiques figurent les paiements conformes, la vérification d'identité et les jeux on-chain tels que zkShuffle.

zkAddress et zkSBT constituent les piliers de la confidentialité identitaire développés par Manta Network sur la chaîne Manta Atlantic. zkAddress offre des adresses de confidentialité réutilisables de type UTXO, tandis que zkSBT lie des justificatifs de conformité à cette adresse au moyen de preuves à connaissance nulle. Ensemble, ils forment l’infrastructure d’identité conforme de la chaîne Atlantic, permettant aux applications Web3 de vérifier les identités sans divulguer les données personnelles originales des utilisateurs.

Le Bridging d'actifs vers Manta Pacific implique un processus reproductible de verrouillage, Minting et correspondance des soldes entre le mainnet Ethereum et Manta Pacific, un réseau modulaire Layer 2, via un Bridge cross-chain. En tant que couche d'exécution du réseau Manta au sein de l'écosystème Ethereum, Manta Pacific permet le déploiement et l'interaction on-chain pour ETH, ERC-20 et d'autres actifs. Pour participer aux applications de l'écosystème du côté Pacific, les utilisateurs doivent d'abord comprendre comment le Bridge se déclenche, comment les états du système évoluent en interne et comment vérifier l'arrivée des fonds.

Zcash Orchard constitue le troisième pool de transactions protégées du réseau Zcash, reposant sur le système de preuve à divulgation nulle de connaissance Halo 2 pour renforcer l'efficacité, l'évolutivité et la mise à niveau à long terme des transactions privées. Contrairement à ses prédécesseurs Sprout et Sapling, Orchard réduit le recours à une configuration de confiance tout en optimisant les processus de génération et de vérification des preuves.

Le cœur du mécanisme de fonctionnement de Nockchain remplace les calculs de hachage du PoW traditionnel par des preuves à divulgation nulle de connaissance. Au lieu de se disputer les blocs via des opérations de hachage insignifiantes, les mineurs de Nockchain génèrent des preuves vérifiables pour participer au consensus du réseau. L'architecture de Nockchain intègre des composants comme NockVM, NockApp, Proofpower et Global Consensus SNARKs, tous conçus pour bâtir un réseau de preuves décentralisé au service de l'IA, des applications de confidentialité et du calcul vérifiable.

Nockchain est un réseau blockchain fondé sur Zero-Knowledge Proof-of-Work (ZKPoW). Son objectif principal est de remplacer les calculs de hachage insignifiants du PoW traditionnel par la génération de preuves à connaissance nulle vérifiables et concrètement utiles (ZK proving). Contrairement à Bitcoin, qui repose sur une compétition de taux de hachage, Nockchain oriente la puissance de calcul des mineurs vers la production de preuves de calcul vérifiables, instaurant ainsi un modèle de « Useful Proof of Work ».

Railgun et Tornado Cash sont tous deux des protocoles de confidentialité on-chain, mais leurs philosophies de conception et approches opérationnelles diffèrent considérablement. Tornado Cash agit davantage comme un mélangeur anonyme, utilisant des pools à dénomination fixe pour briser le lien entre les fonds. En revanche, Railgun est un protocole DeFi privé basé sur la technologie zk-SNARK, permettant des comptes confidentiels, des transactions confidentielles et des interactions anonymes avec des Smart Contracts.

Railgun est un protocole DeFi confidentiel reposant sur les blockchains EVM, exploitant les preuves zk-SNARK à divulgation nulle de connaissance pour dissimuler adresses, soldes, montants et activité on-chain, tout en maintenant la composabilité avec les protocoles de l'écosystème tels qu'Ethereum, Arbitrum et BNB Chain. Contrairement aux actifs de confidentialité ou aux mixeurs traditionnels, Railgun ne repose pas sur une blockchain autonome ; il permet plutôt d'effectuer des transactions privées et des interactions anonymes avec des smart contracts directement sur la chaîne native.