Qu'est-ce que zkVM ? En savoir plus sur zkVM dans cet article

zkVM a été publié pour très bien résoudre ces problèmes, mais qu'est-ce que zkVM ? Il y a encore beaucoup de gens qui ne comprennent pas. D'après les données réelles, zkVM est une machine virtuelle qui utilise une preuve sans connaissance pour garantir la sécurité, la vérifiabilité et la fiabilité. En termes simples, l'utilisateur peut revenir au nouvel état en saisissant le. ancien état et programme.

Qu'est-ce que zkVM ?

zkVM est une machine virtuelle qui peut garantir la sécurité des fonctionnalités de confiance grâce à une preuve sans connaissance, c'est-à-dire en saisissant l'état d'origine et le programme générera un nouvel état. zkVM offre facilité d'utilisation, polyvalence, simplicité et récursivité. Les développeurs n'ont pas besoin de maîtriser le développement sans connaissance et peuvent atteindre l'exhaustivité de Turing. Il n'est pas nécessaire de générer à plusieurs reprises le circuit de l'ensemble de la machine virtuelle. La vérification de la machine virtuelle peut être effectuée via la machine virtuelle.

zkVM est une plate-forme informatique générale basée sur une preuve de connaissance nulle qui peut effectuer diverses tâches informatiques, notamment l'exécution de contrats intelligents, le traitement de données et des opérations algorithmiques complexes. Sa fonction principale est de générer des preuves sans connaissance qui vérifient l'exactitude des calculs sans révéler les détails d'exécution. Grâce à la technologie SNARK, ces preuves peuvent être vérifiées hors chaîne, et le vérificateur n'a pas besoin de réexécuter l'intégralité du processus de calcul sur la blockchain et de payer des coûts de calcul coûteux.

La conception de zkVM ne se limite pas aux transactions de crypto-monnaie. Sa polyvalence lui permet d'être déployé dans une variété de scénarios d'application, tels que le traitement des données médicales, la gestion de la chaîne d'approvisionnement, les systèmes de vote secret, etc. sécurité. En même temps, vérifiez l’exactitude de la logique de traitement.

Quels sont les projets zkVM ?

Les projets zkVM actuels incluent principalement Jolt, RISCZero, Succinct, etc. Malgré les défis de la technologie zk, certains projets sur le marché ont encore démontré leur solidité technique dans le développement de solutions zkVM. L'après-midi est une introduction détaillée :

1. Jolt

Jolt est un nouveau type de zkVM. Sa principale caractéristique est qu'il s'exécute rapidement et qu'il est plus facile pour les développeurs de développer et d'effectuer des audits de code.

Contrairement aux autres zkVM basés sur le framework STARK, Jolt utilise les paramètres de recherche Lasso et la technologie basée sur sumcheck. Cette approche innovante simplifie non seulement la mise en œuvre de nouvelles instructions de machine virtuelle, mais augmente également la vitesse globale du système.

La conception de Jolt met l'accent sur la facilité d'utilisation et l'efficacité. Sa base de code est très simplifiée. Chaque instruction CPU dans Jolt peut être implémentée avec seulement 50 lignes de code Rust. De plus, les performances de Jolt sont également très bonnes lors des tests de référence préliminaires, il peut effectuer des preuves sans connaissance plus de 5 fois plus rapidement que RISC Zero et 2 fois plus rapidement que SP1.

2. RISC Zero

RISC Zero est un zkVM avec une structure SNARK récursive. Il se caractérise par une méthode récursive qui prend en charge l'imbrication des preuves. Dans la technologie SNARK, la récursivité peut décomposer des preuves complexes en preuves plus petites et plus gérables. Ces petites preuves peuvent être vérifiées de manière indépendante et éventuellement combinées en une grande preuve complète, un processus qui n'affecte pas la validité de la preuve. RISCZero est unique dans son approche de mise en œuvre de la récursivité, intégrant de manière transparente plusieurs couches de preuves dans une seule chaîne de preuves, ce qui non seulement réduit la charge de calcul et la quantité de données à traiter, mais maintient également le processus de vérification à travers plusieurs étapes de calcul. .sécurité et intégrité.

Une autre caractéristique unique de RISC Zero est qu'il utilise le jeu d'instructions RISC-V, une norme ouverte ISA (Instruction Set Architecture) conçue pour l'évolutivité et l'extensibilité. Ce choix garantit que RISC Zero peut profiter d'un large écosystème d'outils et de support, ce qui facilite l'accès et l'intégration dans les systèmes existants par rapport aux autres zkVM pouvant utiliser des architectures propriétaires ou moins générales.

3. Succinct

Succinct a développé zkVM SP1, qui est personnalisé pour exécuter du code écrit en Rust ou tout autre langage pouvant être compilé par LLVM, avec une plus grande flexibilité et facilité d'utilisation. SP1 prend en charge une architecture modulaire, permettant aux développeurs de personnaliser et d'étendre ses fonctionnalités grâce à la « précompilation ». La précompilation fait référence à des modules spécifiques qui peuvent être ajoutés ou modifiés par les développeurs. Ces modules améliorent les fonctionnalités de la machine virtuelle principale afin qu'elle puisse gérer des tâches ou des opérations spécifiques plus efficacement.

De plus, SP1 construit un réseau de preuves décentralisé, simplifiant le déploiement et l'exécution des preuves, abaissant ainsi le seuil d'utilisation de méthodes de cryptage avancées. Le réseau offre une approche rationalisée en permettant aux développeurs de générer efficacement des preuves en un seul clic.

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!