jakiro
Auteur: 0xnatalie Source: Chainfeeds
Pour trouver la solution d’efficacité d’évolutivité et de calcul de la technologie de la blockchain, la technologie du certificat de connaissance zéro est particulièrement importante.ZKVM (Zero-Knowledge Virtual Machine) est l’une des applications spécifiques de cette technologie.ZKVM, en tant que plate-forme informatique universelle basée sur ZKP, peut vérifier l’exactitude du calcul sans divulguer les détails des détails d’exécution.Il soutient également la tâche du grand volume de calcul en dehors de la chaîne.À l’heure actuelle, de nombreux projets tels que A16Z, Taiko, ZKM et d’autres projets développent des solutions ZKVM.
Introduction ZKVM
ZKVM est une plate-forme informatique universelle basée sur une preuve de connaissance zéro qui peut effectuer diverses tâches informatiques, notamment la mise en œuvre de contrats intelligents, de traitement des données et d’opérations d’algorithmes complexes.Sa fonction principale est de générer une preuve zéro-connaissance.Grâce à la technologie SNARKS, ces preuves peuvent être vérifiées sous la chaîne.
De plus, la conception de ZKVM n’est pas limitée aux transactions de crypto-monnaie. En même temps, vérifiez l’exactitude de la logique de traitement.
>
ZKVM compare d’autres machines virtuelles
Les machines virtuelles traditionnelles (VM) se réfèrent généralement à un environnement informatique complet pratiquement sur le matériel physique.Ces machines virtuelles atteignent principalement leurs fonctions grâce à l’isolement de la technologie de virtualisation matérielle et du niveau du système d’exploitation.Ils n’impliquent généralement pas le processus de vérification cryptée des applications ou des données en cours.
Zero-Knowledge Virtual Machine (ZKVM) utilise une technologie de preuve de connaissance Zero pour garantir la correction du processus d’exécution du programme.La conception de ZKVM se concentre sur la fourniture d’une plate-forme de vérification informatique générale, adaptée à divers scénarios d’application, et prend en charge une variété de langages de programmation, tels que Rust, C / C ++, et GO.Le processus de calcul et de vérification est souvent plus de temps que la machine virtuelle traditionnelle, car la génération de la preuve de connaissances nul est un processus dense informatique, qui nécessite un grand nombre de ressources informatiques, ce qui limite largement la vitesse de traitement des transactions (TPS) dans une large mesure .Bien que la technologie ZK actuelle ait fait des progrès significatifs dans une génération d’épreuves uniques, dans des conditions de charge élevées, la capacité de gérer les transactions à grande échelle est toujours limitée.La génération de chaque preuve peut prendre quelques secondes à quelques minutes, ce qui constitue des restrictions sur les applications qui nécessitent un débit élevé (telles que les systèmes de traitement de paiement à grande échelle).
ZKEVM est une implémentation spécifique de ZKVM.Il est entièrement compatible avec les contrats intelligents d’Ethereum et les outils de développement, tels que Solidity et Vyper.Par conséquent, ZKEVM ressemble plus à une version optimisée spécifique d’Ethereum.
Projet lié à ZKVM
Malgré les défis de la technologie ZK, certaines parties de projet montrent toujours leur force technique dans le développement de solutions ZKVM.
Jolt: Excellentes performances
Le 9 avril, A16Z a publié la mise en œuvre initiale de la solution ZKVM.
Contrairement à d’autres ZKVM basés sur le framework Stark, Jolt utilise Lasso pour trouver des paramètres et une technologie basée sur Sumcheck.Cette méthode d’innovation simplifie non seulement la mise en œuvre des nouvelles instructions de la machine virtuelle, mais améliore également la vitesse globale du système.La conception de Jolt met l’accent sur la facilité d’utilisation et l’efficacité.De plus, les performances de Jolt sont également très bonnes.
Risc Zero: calculs complexes de traitement efficaces
Risc Zero est une structure de snark récursive ZKVM, qui se caractérise par une méthode récursive qui soutient mutual imbriqué.Dans la technologie SNARKS, la preuve récursive peut être décomposée en preuves de gestion plus petites et plus faciles.Ces petites preuves peuvent être vérifiées indépendamment et finalement fusionnées en une grande preuve complète, ce processus n’affectera pas l’efficacité de la preuve.Le caractère unique de Risc Zero réside dans sa méthode récursive actuelle. plusieurs étapes de calcul dans plusieurs étapes de calcul.
Une autre unicité de Risc Zero est qu’elle utilise le SECT-V Instructions, qui est une ISA standard ouverte (ensemble d’instructions), qui vise à atteindre l’évolutivité et l’évolutivité.Ce choix garantit que Risc Zero peut utiliser des outils étendus et prendre en charge les écosystèmes pour faciliter l’accès et l’intégration aux systèmes existants par rapport à d’autres ZKVM qui peuvent utiliser une architecture propriétaire ou universelle.
L’année dernière, ils ont réussi un financement round de 40 millions de dollars.此轮融资由 Blockchain Capital 领投 ，， 其他知名投资者包括 Bain Capital Crypto 、 Galaxy Digital 、 IOSG Ventures 、 Rockawayx 、 Maven 11 、 Fenbushi Capital 、 Delphi Digital 等参与其中。
>
Succinct: convivial des développeurs
Succédé a développé ZKVM SP1.SP1 prend en charge l’architecture modulaire, permettant aux développeurs de personnaliser et d’élargir leurs fonctions par la «pré-compilation».La pré-traduction fait référence aux modules qui peuvent être ajoutés ou modifiés par les développeurs.
De plus, SP1 a construit un réseau de preuve décentralisé, simplifié le déploiement et l’exécution de la preuve, réduisant ainsi le seuil de l’utilisation de méthodes de cryptage avancées.Ce réseau permet aux développeurs de générer des preuves et de générer efficacement des preuves, fournissant une méthode simplifiée.
En mars, succinct a achevé un financement de 55 millions de dollars.Le financement a été dirigé par le paradigme.Le 13 mai, Success a annoncé le lancement du réseau de test SP1.
>
Taiko: Système multiples
Taiko a commencé à passer de ZKEVM à l’utilisation de ZKVM.Le concept de preuve multiple est proposé par Vitalik que Taiko montre qu’il s’agit du premier projet à mettre en œuvre ce concept.Ce système permet au ZKVM de Taiko de générer plusieurs types de preuve, améliorant ainsi la sécurité et la robustesse du système.Même s’il y a un problème avec un type de preuve, d’autres types de preuves peuvent continuer à garantir le fonctionnement normal du système et à détecter toute conversion d’état erronée dans le temps.De plus, le système de preuve HALO2-KZG est utilisé, de sorte que l’informatique complexe et les transactions à grande échelle peuvent maintenir l’efficacité et le faible coût.
En mars, Taiko a terminé le financement de la série A de 15 millions de dollars, qui a été investi par la faction LightSpeed, Hashed, Generation Ventures et Token Bay Capital.
>
ZKM: l’architecture MIPS est simple et stable
ZKM est le projet ZKVM élaboré par la Fondation Metis.Cette conception rend ZKP plus compatible avec la méthode de traitement informatique interne du système, accélérer la vitesse de fonctionnement et réduire les frais généraux de calcul liés à la mise en œuvre du protocole ZKP seul.Et la plupart des ZKVM actuels utilisent le langage Rust, et ZKM fournit un support natif de Golang.
MIPS (microprocesseur sans étapes de pipeline entrelacés) est la première génération d’instructions rationalisées pour l’architecture informatique.L’ensemble d’instructions MIPS est relativement simple et stable, et peut être largement utilisé dans divers appareils informatiques et systèmes intégrés.
ZKMIPS divise l’ensemble du programme MIPS en plusieurs segments.Les instructions de chaque paragraphe sont divisées en quatre types et appartiennent aux quatre tables de module correspondantes.ZKMIPS utilise la méthode de preuve Stark pour vérifier indépendamment les instructions de chaque table de module pour s’assurer que chaque opération dans le tableau est correcte et que chaque instruction dans le segment de programme est incluse dans son tableau de module correspondant.Vérifiez ensuite la séquence d’exécution de chaque segment de programme correspondant à l’exécution de l’ensemble du programme.De cette façon, même les programmes de la chaîne peuvent être vérifiés sur la chaîne, ce qui améliore la transparence et la confiance de l’exécution du programme.
ZKM a récemment lancé une nouvelle fiducie pour minimiser l’infrastructure d’interopérabilité multi-chaîne enchevêtrée des Rollups, en utilisant les ZKMIPS pour construire un cadre d’interopérabilité multi-chaîne qui n’a pas besoin d’être fiable, décentralisé.Contrairement au pont ZK troisième partie, il ne peut vérifier que le transfert d’actifs par le plaisir, mais tous les calculs peuvent être vérifiés, il est donc très sûr.La clé de cette interopérabilité est qu’il existe un mécanisme de preuve général qui peut générer une preuve sur une blockchain, puis vérifier sur une autre blockchain.L’une des différences entre ZKM et d’autres ZKVM est celle qui peut être générée pour toutes les preuves opérationnelles de connaissances zéro.ZKM intègre la sécurité au bas de l’architecture CPU / MIPS, afin que tous les logiciels de cette architecture puissent profiter de la même sécurité sans exiger que chaque logiciel effectue une certification zéro connaissance séparément.
De plus, les caractéristiques de ZKM sont:
-
Compatible avec toutes les machines virtuelles: ZKM est sous chaque machine virtuelle, ce qui le rend compatible avec divers moteurs de contrat intelligent blockchain, tels que MoveVM (ZKMVM), WASM (ZKWASM) et RustVM (ZKRVM).
-
Branchez: les développeurs peuvent utiliser ZKM sans modifier la bibliothèque de code existante.Fournit une adoption à faible coût et permet différents langages de contrat intelligents et même des langages de programmation traditionnels.
-
Stabilité à long terme: l’ensemble d’instructions MIPS est stable.
>
Les perspectives futures de ZKVM
Avec la maturité continue de la technologie de la blockchain et l’exploration continue des sociétés de pointe, les performances de ZKVM s’améliorent constamment, nous pouvons prévoir que le ZKVM jouera un rôle de plus en plus important dans le monde crypté, faisant partie de la technologie clé.Surtout au moment où la sensibilité des données et la demande de sécurité croisée augmentent, ZKVM offre des capacités de s’adapter à la demande du marché.Nous sommes impatients de surmonter diverses difficultés techniques, telles que l’optimisation des circuits et l’optimisation du système lui-même, de lancer ZKVM qui s’adapte parfaitement à divers langages de programmation et amené plus de développeurs à la nouvelle ère de Web3.
