Les coprocesseurs ZK (coprocesseurs) deviennent progressivement un sujet de grande attention en raison des contraintes de calcul imposées par la blockchain à des fins de sécurité. Il permet d'augmenter la puissance de calcul tout en maintenant une sécurité renforcée. Dans cet article, Galaxy Digital Researcher E explique ce qu'est le coprocesseur ZK, ce qu'il fait et certains des projets en cours de construction.
** D'une manière générale, un coprocesseur est un composant spécialisé qui aide le processeur à augmenter l'efficacité et la vitesse globales d'un système informatique en traitant certaines tâches plus habilement. **
Le coprocesseur ZK est une couche d'interopérabilité qui effectue des calculs arbitraires et fournit un "reçu", qui est une preuve mathématiquement valide que le calcul a été effectué correctement.
Chaque reçu comprend un identifiant cryptographique qui indique quel calcul a été effectué et enregistre toutes les sorties publiques du calcul.
Avec ces reçus, la machine peut "prouver" sans ambiguïté que le calcul a eu lieu. Cela fait plus que simplement indiquer que le calcul a eu lieu, cela fournit une trace vérifiable. C'est comme un audit informatique sécurisé et sans confiance !
**Pourquoi avons-nous besoin d'un coprocesseur ZK ? **
La blockchain impose des contraintes sur la puissance de calcul, limitant les opérations sur L1/L2 à un petit ensemble d'opérations intrinsèquement sûres pour assurer la sécurité. **Les coprocesseurs ZK améliorent la puissance de calcul, permettant d'effectuer un plus large éventail d'opérations tout en maintenant une sécurité renforcée. **
**Quels sont les protocoles du coprocesseur zk en cours de construction ? **
Axiom est le coprocesseur ZK d'Ethereum qui fournit des contrats intelligents avec un accès sans confiance à toutes les données de la chaîne et la possibilité de calculer des expressions arbitraires dessus.
Axiom est utile pour tout protocole ou dapp qui implique des données historiques en chaîne ou des calculs d'expression, y compris la comptabilité sans confiance, la DeFi dynamique, la gouvernance hors chaîne sans confiance et l'attente d'oracles en chaîne sans confiance.
La mission d'Axiom est de rendre la puissance des preuves à connaissance nulle aussi accessible et utilisable que possible dans les applications en chaîne, débloquant une nouvelle vague d'applications décentralisées plus riches et plus expressives, minimisées par la confiance.
Tanuki s'appuie sur Axiom pour fournir un système sans confiance et transparent pour le calcul du score de portefeuille basé sur des données historiques en chaîne. Ces données peuvent être utilisées dans des protocoles de notation de crédit tels que Karma3labs, des analyses de tarification NFT telles que SPICYEST, etc.
La solution de Tanuki est une alternative décentralisée qui permet aux protocoles de calculer des métriques pertinentes sans confiance, facilitant ainsi des interactions justes et transparentes. Traditionnellement, ces calculs n'étaient possibles que dans des systèmes centralisés et moins transparents.
Risc Zero fournit un zkVM qui peut fonctionner sur n'importe quelle plate-forme. C'est un microcontrôleur/coprocesseur virtuel qui génère des reçus pour chaque programme qu'il exécute, un peu comme un Adruino virtuel sécurisé.
RiscZero's Bonsai est un réseau de preuve à usage général sans connaissance. Il offre la possibilité d'effectuer des calculs hors chaîne pour les contrats intelligents blockchain.
Herodotus vise à fournir des contrats intelligents avec un accès synchrone aux données en chaîne à partir d'autres couches Ethereum. Ils soutiennent que la preuve de stockage peut unifier l'état de plusieurs Rollups et même permettre des lectures synchrones entre les couches Ethereum.
Poseidon ZKP vise à combler le vide dans la création de zkDApps natifs EVM. Il cible deux obstacles majeurs au développement de zkDApps axés sur la confidentialité : la barrière élevée à l'entrée pour l'utilisation des ZKP en raison de la complexité cryptographique et la vérification onéreuse en chaîne.
Une fonctionnalité développée par Poseidon ZKP implique la création de primitives ZKP composables en tant que contrats intelligents. Sur cette base, ils fournissent un agrégateur ZK-ZK, qui combine les preuves générées par un lot de clients en une seule preuve, ce qui réduit considérablement le coût de vérification ZKP amorti.
Pluto, un autre projet discret cofondé par Devloper, explore comment créer une expérience de développeur transparente pour une évolutivité spécifique à dApp.
Prêt à porter vos dApps vers de nouveaux sommets en termes d'efficacité et de sécurité ? Embrassez l'avenir des coprocesseurs zk, débloquant des possibilités infinies.
Voir l'original
Le contenu est fourni à titre de référence uniquement, il ne s'agit pas d'une sollicitation ou d'une offre. Aucun conseil en investissement, fiscalité ou juridique n'est fourni. Consultez l'Avertissement pour plus de détails sur les risques.
Un article pour comprendre le coprocesseur ZK : concept, principe de fonctionnement et projets de pointe
Auteur original : E.
Les coprocesseurs ZK (coprocesseurs) deviennent progressivement un sujet de grande attention en raison des contraintes de calcul imposées par la blockchain à des fins de sécurité. Il permet d'augmenter la puissance de calcul tout en maintenant une sécurité renforcée. Dans cet article, Galaxy Digital Researcher E explique ce qu'est le coprocesseur ZK, ce qu'il fait et certains des projets en cours de construction.
** D'une manière générale, un coprocesseur est un composant spécialisé qui aide le processeur à augmenter l'efficacité et la vitesse globales d'un système informatique en traitant certaines tâches plus habilement. **
Le coprocesseur ZK est une couche d'interopérabilité qui effectue des calculs arbitraires et fournit un "reçu", qui est une preuve mathématiquement valide que le calcul a été effectué correctement.
Chaque reçu comprend un identifiant cryptographique qui indique quel calcul a été effectué et enregistre toutes les sorties publiques du calcul.
Avec ces reçus, la machine peut "prouver" sans ambiguïté que le calcul a eu lieu. Cela fait plus que simplement indiquer que le calcul a eu lieu, cela fournit une trace vérifiable. C'est comme un audit informatique sécurisé et sans confiance !
**Pourquoi avons-nous besoin d'un coprocesseur ZK ? **
La blockchain impose des contraintes sur la puissance de calcul, limitant les opérations sur L1/L2 à un petit ensemble d'opérations intrinsèquement sûres pour assurer la sécurité. **Les coprocesseurs ZK améliorent la puissance de calcul, permettant d'effectuer un plus large éventail d'opérations tout en maintenant une sécurité renforcée. **
**Quels sont les protocoles du coprocesseur zk en cours de construction ? **
Axiom est le coprocesseur ZK d'Ethereum qui fournit des contrats intelligents avec un accès sans confiance à toutes les données de la chaîne et la possibilité de calculer des expressions arbitraires dessus.
Axiom est utile pour tout protocole ou dapp qui implique des données historiques en chaîne ou des calculs d'expression, y compris la comptabilité sans confiance, la DeFi dynamique, la gouvernance hors chaîne sans confiance et l'attente d'oracles en chaîne sans confiance.
La mission d'Axiom est de rendre la puissance des preuves à connaissance nulle aussi accessible et utilisable que possible dans les applications en chaîne, débloquant une nouvelle vague d'applications décentralisées plus riches et plus expressives, minimisées par la confiance.
Tanuki s'appuie sur Axiom pour fournir un système sans confiance et transparent pour le calcul du score de portefeuille basé sur des données historiques en chaîne. Ces données peuvent être utilisées dans des protocoles de notation de crédit tels que Karma3labs, des analyses de tarification NFT telles que SPICYEST, etc.
La solution de Tanuki est une alternative décentralisée qui permet aux protocoles de calculer des métriques pertinentes sans confiance, facilitant ainsi des interactions justes et transparentes. Traditionnellement, ces calculs n'étaient possibles que dans des systèmes centralisés et moins transparents.
Risc Zero fournit un zkVM qui peut fonctionner sur n'importe quelle plate-forme. C'est un microcontrôleur/coprocesseur virtuel qui génère des reçus pour chaque programme qu'il exécute, un peu comme un Adruino virtuel sécurisé.
RiscZero's Bonsai est un réseau de preuve à usage général sans connaissance. Il offre la possibilité d'effectuer des calculs hors chaîne pour les contrats intelligents blockchain.
Herodotus vise à fournir des contrats intelligents avec un accès synchrone aux données en chaîne à partir d'autres couches Ethereum. Ils soutiennent que la preuve de stockage peut unifier l'état de plusieurs Rollups et même permettre des lectures synchrones entre les couches Ethereum.
Poseidon ZKP vise à combler le vide dans la création de zkDApps natifs EVM. Il cible deux obstacles majeurs au développement de zkDApps axés sur la confidentialité : la barrière élevée à l'entrée pour l'utilisation des ZKP en raison de la complexité cryptographique et la vérification onéreuse en chaîne.
Une fonctionnalité développée par Poseidon ZKP implique la création de primitives ZKP composables en tant que contrats intelligents. Sur cette base, ils fournissent un agrégateur ZK-ZK, qui combine les preuves générées par un lot de clients en une seule preuve, ce qui réduit considérablement le coût de vérification ZKP amorti.
Pluto, un autre projet discret cofondé par Devloper, explore comment créer une expérience de développeur transparente pour une évolutivité spécifique à dApp.
Prêt à porter vos dApps vers de nouveaux sommets en termes d'efficacité et de sécurité ? Embrassez l'avenir des coprocesseurs zk, débloquant des possibilités infinies.