Vers des capacités de calcul accrues : présentation succincte des calculateurs auxiliaires à ZK et aperçu des projets innovants
TechFlow SélectionTechFlow Sélection
Vers des capacités de calcul accrues : présentation succincte des calculateurs auxiliaires à ZK et aperçu des projets innovants
Embrassez l'avenir des coprocesseurs zk et ouvrez un monde de possibilités infinies.
Dédié à des analyses Web3 approfondiesRédaction : E
Traduction : TechFlow
En raison des limitations computationnelles imposées par les blockchains pour garantir la sécurité, les coprocesseurs ZK (Zero-Knowledge) deviennent progressivement un sujet d’intérêt croissant. Ils permettent d’améliorer les capacités de calcul tout en maintenant une sécurité robuste. Dans cet article, E, chercheur chez Galaxy Digital, explore le concept et le rôle des coprocesseurs ZK, ainsi que quelques projets actuellement en développement.
Généralement, un coprocesseur est un composant spécialisé qui assiste le processeur principal (CPU), en traitant plus efficacement certaines tâches afin d’améliorer l’efficacité et la vitesse globales du système informatique.
Un coprocesseur ZK constitue une couche d’interopérabilité qui exécute des calculs arbitraires et fournit un « reçu », c’est-à-dire une preuve mathématiquement valide confirmant que le calcul a été correctement effectué.
Chaque reçu inclut un identifiant cryptographique indiquant quel calcul a été exécuté, ainsi que les résultats publics éventuels de ce calcul.
Grâce à ces reçus, les machines peuvent clairement « prouver » qu’un calcul s’est bien produit. Il ne s’agit pas simplement d’affirmer qu’une opération a eu lieu, mais de fournir une trace vérifiable. C’est comme un audit computationnel fiable et sécurisé, sans besoin de confiance !
Pourquoi avons-nous besoin de coprocesseurs ZK ?
Les blockchains imposent des limites computationnelles, restreignant les opérations sur la couche L1/L2 à un petit ensemble d’opérations intrinsèquement sécurisées afin de préserver la sécurité globale. Les coprocesseurs ZK renforcent les capacités computationnelles, permettant d’exécuter un éventail plus large d’opérations tout en conservant une sécurité forte.
Quels protocoles construisent des coprocesseurs zk ?
Axiom
Axiom est un coprocesseur ZK pour Ethereum, offrant aux contrats intelligents un accès fiable à toutes les données présentes sur la chaîne, ainsi que la capacité d’y effectuer des calculs arbitraires.
Axiom est utile pour tout protocole ou application décentralisée (dApp) impliquant des données historiques sur la chaîne ou des calculs complexes, notamment la comptabilité fiable, la finance décentralisée dynamique, la gouvernance hors chaîne fiable ou encore les oracles fiables sur chaîne.
La mission d’Axiom est de rendre les fonctionnalités des preuves à divulgation nulle aussi accessibles et simples que possible dans les applications blockchain, afin de déclencher une nouvelle vague d’applications décentralisées plus riches et expressives, nécessitant le minimum de confiance.
Tanuki
Tanuki utilise Axiom pour fournir un système fiable et transparent permettant de calculer des scores de portefeuille basés sur des données historiques enregistrées sur la chaîne. Ces données peuvent être utilisées par des protocoles de notation de crédit comme Karma3labs, ou pour l’analyse de prix de NFT comme SPICYEST.
La solution de Tanuki constitue une alternative décentralisée permettant aux protocoles de calculer certains indicateurs de manière fiable, favorisant ainsi des interactions justes et transparentes. Traditionnellement, ces calculs ne pouvaient être réalisés que dans des systèmes centralisés et peu transparents.
Risc Zero
Risc Zero propose un zkVM pouvant s’exécuter sur n’importe quelle plateforme. Il s’agit d’un microcontrôleur virtuel / coprocesseur générant un reçu pour chaque programme exécuté, un peu comme une version sécurisée et virtuelle d’un Arduino.
Bonsai, proposé par RiscZero, est un réseau généraliste de preuves à divulgation nulle. Il permet d’effectuer des calculs hors chaîne destinés aux contrats intelligents blockchain.
Herodotus
Herodotus vise à fournir aux contrats intelligents un accès synchronisé aux données en chaîne provenant d’autres couches d’Ethereum. Selon eux, les preuves de stockage pourraient unifier l’état de plusieurs rollups, voire permettre des lectures synchronisées entre différentes couches d’Ethereum.
Poseidon ZKP
Poseidon ZKP cherche à combler le vide existant dans la création d’applications décentralisées (zkDApps) natives EVM. Il cible deux obstacles majeurs liés au développement d’applications centrées sur la confidentialité : la complexité cryptographique élevée rendant l’utilisation des ZKP difficile d’accès, et le coût élevé de la vérification en chaîne.
L’une des fonctionnalités développées par Poseidon ZKP consiste à créer des primitives ZKP composites sous forme de contrats intelligents. Sur cette base, ils proposent un agrégateur ZK-ZK capable de regrouper plusieurs preuves générées par des clients en une seule preuve, réduisant considérablement le coût moyen de vérification des preuves ZK après amortissement.
Pluto
Un autre projet discret, cofondé par Devloper, nommé Pluto, explore la manière de créer une expérience développeur fluide pour la scalabilité spécifique aux dApps.
Conclusion
Prêt à faire passer vos dApps à un nouveau niveau d’efficacité et de sécurité ? Adoptez l’avenir des coprocesseurs zk et ouvrez la porte à d’innombrables possibilités.
Bienvenue dans la communauté officielle TechFlow
Groupe Telegram :https://t.me/TechFlowDaily
Compte Twitter officiel :https://x.com/TechFlowPost
Compte Twitter anglais :https://x.com/BlockFlow_News
E
