Lors de la récente conférence Devcon, Justin Drake, membre clé de la fondation Ethereum, a présenté la proposition Beam Chain, visant à améliorer la couche de consensus de l'Ethereum grâce aux technologies zkSNARK et zkVM, afin d'améliorer la scalabilité, la sécurité et l'efficacité du réseau. Cette vision souligne une fois de plus l'importance de la zkVM. En tant que machine virtuelle de preuves à divulgation nulle généralisée, la zkVM peut traiter des calculs complexes de manière plus flexible et efficace, tout en se libérant de la dépendance à la logique des contrats intelligents traditionnels.
Veuillez entrer le texte source à traduire.
Sous cette impulsion, des projets tels que RISC Zero, Succinct et Cysic sont considérés comme des acteurs importants de l'innovation dans ce domaine. En particulier, RISC Zero, avec zkVM basé sur l'architecture RISC-V, a développé une série d'outils open source tels que Zeth, Kailua et Bonsai, qui ont non seulement amélioré les performances de la validation de bloc et du Rollup, mais ont également fourni un support technique pour la mise à niveau ZK d'ETH.
Veuillez entrer le texte source à traduire.
Veuillez entrer le texte source à traduire.
Matrice de produits d'écosystème RISC zkVM : des technologies de base aux applications de scénarios
Veuillez entrer le texte source à traduire.
RISC Zero est une implémentation zkVM basée sur l'architecture d'ensemble d'instructions RISC-V. En tant que plate-forme de calcul de connaissance zéro universelle, elle prend en charge plusieurs langages de programmation populaires tels que Rust et C++, et peut presque exécuter n'importe quelle tâche de calcul. Comparée à d'autres plateformes de technologie de connaissance zéro, les prouveurs et les validateurs de RISC Zero sont entièrement open source, et les développeurs peuvent générer et valider des preuves localement. De plus, le validateur de RISC Zero est compatible avec plusieurs plates-formes et peut s'adapter à différents écosystèmes de chaînes de blocs, simplifiant ainsi le processus de développement d'applications décentralisées.
Veuillez entrer le texte source à traduire.
En juin de cette année, RISC Zero a publié zkVM 1.0. zkVM 1.0 prend en charge non seulement plusieurs langages et des tâches de calcul complexes, mais utilise également la technologie des Continuations pour diviser les calculs à grande échelle en plusieurs segments, permettant ainsi une efficacité élevée dans le calcul et la vérification parallèles. Selon la feuille de route, RISC Zero prévoit d'améliorer les performances et les coûts de zkVM de 20 fois d'ici la fin de 2024, en optimisant des éléments tels que la migration complète du processus de preuve vers le GPU (80% terminé), l'introduction de nouveaux designs de circuits RISC-V v2, ainsi que des optimisations spécifiques pour les circuits récursifs. Parallèlement, RISC Zero intègre une série de modules d'accélération pour les algorithmes RSA, Keccak, ECDSA, etc., visant à améliorer les performances des tâches liées à Ethereum et des opérations de cryptage.
Veuillez entrer le texte source à traduire.
Autour des capacités fondamentales de zkVM, RISC Zero a également développé une série d'outils et de produits open source. Par exemple, le service de preuve via le réseau Bonsai permet aux développeurs de générer des preuves de connaissance zéro sans matériel dédié ; l'outil Steel permet de déplacer des calculs complexes de l'EVM vers un environnement hors chaîne tout en maintenant la vérifiabilité des résultats, ce qui réduit les coûts d'exécution sur la chaîne ; et Blobstream Zero offre plus de possibilités de partage et de vérification des données dans l'écosystème de la chaîne de blocs modulaire en reliant la couche de disponibilité des données Celestia.
Veuillez entrer le texte source à traduire.
Zeth: Prouver que tout le bloc Ethereum est correctement construit
Veuillez entrer le texte source à traduire.
Zeth est un vérificateur de preuves de connaissance nulle open source pour les blocs Ethereum, développé par RISC Zero basé sur sa technologie zkVM. Il peut vérifier la validité des blocs Ethereum à l'aide de preuves de connaissance nulle, sans dépendre des validateurs traditionnels ou des comités de synchronisation. RISC Zero définit Zeth comme un zkEVM de type 0, entièrement compatible avec le protocole Ethereum, et améliore l'efficacité du développement grâce à la réutilisation du code.
Veuillez entrer le texte source à traduire.
Le co-fondateur d'Éther, Vitalik Buterin, a classé le zkEVM en quatre types dans l'article "Différents types de zk-EVMs", dont le Type-1 vise à être entièrement équivalent à Éther sans compromis; le Type-2 s'efforce d'être entièrement équivalent à l'EVM, mais pas entièrement équivalent à Éther; le Type-3 est presque équivalent à l'EVM; le Type-4 est totalement incompatible avec Éther.
Veuillez entrer le texte source à traduire.
Veuillez entrer le texte source à traduire.
Grâce aux performances élevées du RISC Zero zkVM, Zeth peut vérifier les blocs ETH en quelques minutes. Les données de test montrent que Zeth peut générer des preuves de bloc à une vitesse de 1,1 MHz et, en utilisant la fonction de "continuations", étendre la vitesse à 4,7 MHz à 6,3 MHz sur un cluster GPU. Cette optimisation de performance réduit également le coût de génération de preuve. Selon les tests, le coût de génération de preuve pour un bloc contenant 182 transactions est seulement de 21,72 USD, soit environ 0,11 USD par transaction.
Veuillez entrer le texte source à traduire.
En même temps, lors du développement de Zeth, l'équipe RISC Zero a pleinement utilisé les composants de l'écosystème Rust, tels que revm, ethers et alloy, permettant aux développeurs de mettre en œuvre rapidement la fonction de preuve de bloc et de l'appliquer à différents scénarios. Cette conception offre aux développeurs plus de flexibilité pour ajuster la logique de construction de blocs selon les besoins et pour s'adapter aux futures propositions d'amélioration d'ETH.
Veuillez entrer le texte source à traduire.
Au niveau de l'application, Zeth fournit des solutions efficaces pour zk Rollup, les clients légers et les ponts inter-chaînes. La construction traditionnelle de zk Rollup et zkEVM nécessite beaucoup de temps et d'argent, ce qui décourage les petites équipes. En revanche, Zeth, basé sur une architecture zkVM modulaire, permet aux développeurs de personnaliser facilement la logique de validation des blocs. Par exemple :
Veuillez entrer le texte source à traduire.
zk Rollup: Zeth peut rapidement réaliser la preuve de bloc, réduisant ainsi le cycle de développement et les investissements en capital de ZK Rollup.
Client léger : vérification de la validité des blocs sans reconstruire les blocs, réduisant ainsi les coûts d'exécution.
Pont inter-chaînes : Zeth peut vérifier l'exactitude des données inter-chaînes sans divulguer d'informations sensibles sur la chaîne grâce à ZKP, ce qui réduit la dépendance à l'égard des tiers et diminue le risque d'attaques inter-chaînes.
Veuillez entrer le texte source à traduire.
En mai de cette année, Zeth s'est étendu avec succès pour prendre en charge l'extraction de données de blocs Optimism à partir du réseau principal d'Éther et générer des blocs de vérification ZKP pour vérifier la précision, et prend également en charge la vérification en chaîne. En d'autres termes, avec Zeth, Optimism peut vérifier les transactions de manière plus efficace et résoudre les litiges transactionnels.
Veuillez entrer le texte source à traduire.
Bonsai: permet aux développeurs de générer des preuves sans utiliser leur propre matériel
Veuillez entrer le texte source à traduire.
Bonsai is a remote proof service designed for zkVM applications, which allows developers to generate proofs without using their own hardware, thus solving the contradiction between limited on-chain computing resources and high costs. With Bonsai, developers only need to define the zkVM application and input data to be executed, and Bonsai will run the computation in the background and generate the corresponding zero-knowledge proof. This process does not require developers to deploy additional hardware devices. At the same time, Bonsai utilizes a large number of GPU clusters to support parallel processing of multiple computing tasks. In addition, Bonsai provides a simple and easy-to-use API and SDK interface, allowing developers to easily integrate it into existing systems, further reducing development difficulties.
Veuillez entrer le texte source à traduire.
Basé sur ce service de preuve à distance, RISC Zero a lancé l'outil open source Bonsai Pay, qui combine l'authentification d'identité OAuth2.0 et la technologie ZKP, permettant aux utilisateurs d'envoyer ou de recevoir des jetons sur le réseau Ethereum via leur compte Google. Par exemple, lorsque Alice souhaite transférer des fonds à Bob, Alice peut saisir l'adresse e-mail Google de Bob et le montant du transfert via Bonsai Pay. Ensuite, Bob peut se connecter à Bonsai Pay, saisir son adresse e-mail et effectuer une vérification d'identité de compte Google. Bonsai Pay générera un jeton d'autorisation utilisant OAuth 2.0 pour prouver que Bob est bien le propriétaire de cette adresse e-mail. Ensuite, Bonsai Pay appelle le service de preuve Bonsai pour générer une preuve à divulgation nulle, prouvant que le compte Google de Bob est lié à l'adresse du portefeuille. Une fois que le contrat intelligent a vérifié la preuve, les fonds sont débloqués et transférés vers l'adresse du portefeuille de Bob.
Veuillez entrer le texte source à traduire.
Pendant tout le processus, Bonsai Pay a vérifié, grâce à la technologie ZKP, le fait que le compte Google de Bob est lié à son adresse de portefeuille, tout en évitant de divulguer des informations spécifiques sur le compte Google.
Veuillez entrer le texte source à traduire.
Veuillez entrer le texte source à traduire.
Une autre application importante de Bonsai est le co-processeur Bonsai ZK (ZK Co-processor). Il utilise la technologie de preuve de connaissance nulle pour déplacer les tâches de calcul complexes de la chaîne vers une chaîne secondaire et génère une preuve immuable pour garantir l'exactitude des résultats. De plus, le déploiement du co-processeur Bonsai est également très simple. Les développeurs n'ont qu'à écrire une application zkVM pour gérer la logique et appeler Bonsai via un contrat Solidity simple pour exécuter le calcul et vérifier les résultats. Pendant tout le processus, le service de preuve Bonsai est responsable de la génération de preuves de connaissance nulle pour les calculs hors chaîne, et ces preuves peuvent être vérifiées sur la chaîne.
Veuillez entrer le texte source à traduire.
Le coprocesseur Bonsai ZK est conçu pour les applications sur chaîne nécessitant des performances élevées et des coûts réduits. Par exemple, dans la gouvernance DAO, il peut déplacer les calculs de vote complexes hors de la chaîne, ce qui réduit considérablement les frais de gaz sur la chaîne. Bonsai DAO Governor a réduit de plus de 50% le coût en gaz de chaque vote grâce au coprocesseur, ce qui améliore efficacement l'efficacité de la gouvernance et réduit les obstacles à la participation.
Veuillez entrer le texte source à traduire.
Boundless: couche de calcul vérifiable
Veuillez entrer le texte source à traduire.
Dans l'architecture de la blockchain traditionnelle, pour assurer la validité des transactions, tous les nœuds doivent exécuter à nouveau tous les calculs pour chaque transaction. Bien que ce mode de "réexécution globale" garantisse la sécurité et la cohérence, il entraîne également des coûts de calcul extrêmement élevés. Pour résoudre ce problème, RISC Zero a lancé Boundless, qui permet à un seul nœud d'effectuer les calculs, de générer une preuve de connaissance nulle vérifiable, et aux autres nœuds de simplement vérifier cette preuve pour confirmer les résultats, sans avoir à réexécuter les calculs.
Veuillez entrer le texte source à traduire.
Boundless simplifie le processus de validation grâce à une technique de combinaison récursive. Il fusionne plusieurs petites preuves de connaissance nulle en une seule preuve globale, ce qui permet au vérificateur de ne vérifier qu'une seule preuve globale plutôt que de vérifier chaque étape individuelle. Pour optimiser davantage l'efficacité de génération des preuves de connaissance nulle, Boundless intègre un circuit de cryptographie dédié qui optimise l'efficacité des tâches courantes telles que les calculs de hachage et la vérification des signatures numériques.
Veuillez entrer le texte source à traduire.
De plus, les développeurs n'ont pas besoin de comprendre en profondeur la technologie de la connaissance nulle lorsqu'ils utilisent Boundless. Ils peuvent simplement écrire des applications dans des langages de programmation familiers tels que Rust ou Solidity. Actuellement, Boundless est accessible gratuitement aux développeurs. Ces derniers n'ont pas besoin de migrer les systèmes existants ou de mettre à jour les contrats de vérification pour utiliser les services de preuve fournis par Boundless, et ainsi construire et déployer rapidement des applications de connaissance nulle sur n'importe quelle blockchain.
Veuillez entrer le texte source à traduire.
Veuillez entrer le texte source à traduire.
Blobstream Zero: un pont inter-chaînes pour zkVM simplifiant la validation de données inter-chaînes
Veuillez entrer le texte source à traduire.
Blobstream Zero est un pont inter-chaînes basé sur zkVM développé en collaboration par RISC Zero et Celestia, dans le but de connecter de manière transparente la couche de disponibilité des données de Celestia à l'écosystème existant de blockchain modulaire. En partageant et en vérifiant les données sur Celestia, Blobstream Zero permet un transfert et une vérification plus pratiques des données entre les chaînes.
Veuillez entrer le texte source à traduire.
En tant que produit public entièrement open source, Blobstream Zero permet à tout projet ou développeur d'exécuter une instance locale et de générer des preuves de connaissance zéro. De plus, Blobstream Zero peut également prendre en charge les coprocesseurs ZK. Les coprocesseurs ZK sont essentiellement des outils de calcul hors chaîne, ils nécessitent donc des données fiables pour effectuer des calculs. Blobstream Zero peut obtenir des données à partir de blockchains telles que Celestia, et peut prouver la fiabilité des données transférées en générant des preuves ZK.
Veuillez entrer le texte source à traduire.
Steel: Un nouveau paradigme de Smart Contract avec exécution hors chaîne et validation en chaîne
Veuillez entrer le texte source à traduire.
Steel est un outil open source lancé par RISC Zero qui utilise la technologie zkVM pour réaliser l'exécution de contrats intelligents vérifiables hors chaîne. Avec Steel, les développeurs peuvent déplacer l'exécution des opérations EVM hors de la chaîne, tout en générant des preuves à divulgation nulle, garantissant ainsi l'authenticité et la vérifiabilité des résultats de calcul.
Veuillez entrer le texte source à traduire.
Les contrats intelligents traditionnels nécessitent une exécution complète de la logique sur la chaîne, ce qui entraîne non seulement des coûts élevés en gaz, mais limite également le développement d'applications complexes. Le mécanisme de calcul hors chaîne et de vérification en chaîne de Steel résout ce problème. Par exemple, dans un contrat intelligent simple, vérifier si le solde ERC20 d'un compte est supérieur à 1 et incrémenter une variable de compteur. La méthode traditionnelle nécessite une exécution complète de la logique sur la chaîne, tandis que Steel effectue le calcul hors chaîne et génère une preuve de connaissance nulle, la chaîne ne devant que vérifier la preuve, sans avoir à exécuter à nouveau la logique du contrat.
Veuillez entrer le texte source à traduire.
Actuellement, RISC Zero a publié Steel 1.0 et des partenaires ont déjà utilisé cet outil pour développer des applications à des fins lucratives. Par exemple, dans un appel de contrat impliquant environ 400 000 opérations SLOAD, le calcul a été déplacé hors chaîne via Steel, puis une preuve de connaissance nulle générée a été vérifiée sur la chaîne. Le coût de génération de la preuve est inférieur à 10 dollars, et le coût de vérification sur chaîne est inférieur à 300 000 Gas.
Veuillez entrer le texte source à traduire.
Kailua: Une solution hybride ZK pour stimuler l'innovation de l'architecture Rollup
Veuillez entrer le texte source à traduire.
Après avoir publié Zeth, RISC Zero a lancé Kailua, offrant ainsi une solution de mise à niveau hybride ZK Rollup pour Optimistic Rollup. Les Rollup optimistes traditionnels nécessitent généralement une période de défi de 7 jours, ce qui ralentit la finalité des transactions, tandis que les ZK Rollup peuvent réaliser rapidement la finalité, mais le coût continu de génération de preuves de connaissance nulle est trop élevé. Kailua combine les avantages des deux en équilibrant les coûts et l'efficacité grâce à une architecture hybride. En tant qu'extension du framework Optimism Kona, Kailua prend en charge l'exécution non modifiée de Kona sur zkVM et introduit un mécanisme innovant de résolution des litiges, réduisant les exigences de mise en jeu et diminuant les retards de finalité, améliorant ainsi l'efficacité et la disponibilité du système.
Veuillez entrer le texte source à traduire.
Dans l'architecture de Kailua, le mécanisme de résolution des litiges adopte une conception nouvelle. Tout d'abord, son mécanisme de résolution des litiges supprime les contraintes de temps, permettant aux validateurs de disposer d'un temps suffisant pour générer des preuves en cas de situations spéciales telles que les interruptions de réseau, renforçant ainsi la résilience du système. Même dans des situations extrêmes, l'architecture étendue RISC Zero zkVM de Kailua peut terminer les preuves en une heure. De plus, la fonction de vérification à la demande de Kailua permet aux développeurs de configurer la fréquence de vérification de manière flexible, ce qui permet une transition progressive vers le mode Rollup de vérification complète à moindre coût.
Veuillez entrer le texte source à traduire.
Contrairement à ZK Rollup, la conception de Kailua ne nécessite pas de génération continue de preuves. Pour les Rollup à faible fréquence ou avec des exigences de contrat intelligent spéciales, Kailua offre une option plus rentable. En même temps, Kailua réduit considérablement les exigences de mise en jeu du Rollup. Le montant de la mise en jeu traditionnelle pour le Rollup optimiste augmente de manière linéaire avec une période de finalité plus longue, tandis que la conception optimisée de Kailua fixe les exigences de mise en jeu, permettant ainsi au système de maintenir la sécurité et l'activité à moindre coût même sur une longue période.
Veuillez entrer le texte source à traduire.
Actuellement, Kailua est entièrement open source. Les développeurs peuvent déployer un réseau de test Optimism local à l'aide de ses outils en ligne de commande et le mettre à niveau rapidement pour prendre en charge un réseau avec des preuves de faute ZK. Kailua prend également en charge la simulation de propositions de faute pour aider les développeurs à comprendre comment les validateurs contestent les états incorrects en utilisant zkVM, approfondissant ainsi leur compréhension du mécanisme de résolution des litiges. À l'avenir, Kailua continuera à optimiser les coûts et les performances, ainsi qu'à étendre son support à davantage de frameworks Rollup.
Veuillez entrer le texte source à traduire.
Résumé
Veuillez entrer le texte source à traduire.
Comme on peut le voir dans le texte ci-dessus, la matrice de produits zkVM de RISC Zero stimule le développement de la technologie de preuve de connaissance nulle dans plusieurs domaines. Zeth et Kailua se concentrent sur l'optimisation de l'architecture Rollup, ce qui améliore l'efficacité de la vérification des blocs et la vitesse de résolution des litiges. Bonsai offre des services de preuve à distance, ce qui réduit la dépendance matérielle et les coûts d'exploitation, permettant aux développeurs de construire des applications de manière plus efficace. Blobstream Zero vérifie efficacement les données inter-chaînes, offrant un soutien fiable à l'écosystème blockchain modulaire. De plus, Steel réduit les coûts en gaz de l'exécution des contrats intelligents en utilisant un modèle de calcul hors-chaîne et de vérification en chaîne.
Veuillez entrer le texte source à traduire.
Bien sûr, tout en améliorant continuellement la matrice de produits zkVM, RISC Zero continue également à promouvoir l'innovation de la technologie sous-jacente de zkVM. Récemment, la version 1.2 de RISC Zero zkVM a été publiée, introduisant une nouvelle méthode de précompilation qui permet aux développeurs de déployer la logique de précompilation avec l'application elle-même, sans avoir à être intégrée au zkVM lui-même. Cela signifie que les développeurs peuvent ajouter une nouvelle logique de précompilation sans avoir à modifier les contrats de vérification sur la chaîne ou la configuration des validateurs, et sans avoir à bifurquer ou à apporter des modifications majeures au zkVM pour optimiser les performances. De plus, en utilisant la précompilation définie par l'application, les coûts de génération de preuve peuvent être réduits. Par exemple, après l'intégration de la précompilation RSA par Automata, le nombre d'opérations est passé de 39 millions à 217 000, soit une réduction d'environ 180 fois des coûts.
Veuillez entrer le texte source à traduire.
Avec l'optimisation continue de la technologie zkVM, son potentiel de développement sera progressivement mis en évidence dans plusieurs scénarios d'application. Cependant, pour libérer au mieux ce potentiel, il est encore nécessaire de dépendre de la collaboration écologique et de la mise en œuvre technique.
Veuillez entrer le texte source à traduire.
La cinquième édition des prix annuels de sélection et des RTY AWARD 2025 est ouverte aux votes !
Création de records ! Près de 300 projets et individus ont été sélectionnés par des données, des inscriptions publiques et des recommandations communautaires pour cette phase de vote. Qui sont les pionniers qui poussent Web3 et Crypto vers le grand public ? Cliquez sur l'image pour voter et soutenir votre favori de l'année !
Cliquez sur l'image ci-dessous pour voter immédiatement!
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.
Décryptage de la matrice de produits RISC Zero : comment aider Ethereum à avancer vers un avenir ZK ?
Lors de la récente conférence Devcon, Justin Drake, membre clé de la fondation Ethereum, a présenté la proposition Beam Chain, visant à améliorer la couche de consensus de l'Ethereum grâce aux technologies zkSNARK et zkVM, afin d'améliorer la scalabilité, la sécurité et l'efficacité du réseau. Cette vision souligne une fois de plus l'importance de la zkVM. En tant que machine virtuelle de preuves à divulgation nulle généralisée, la zkVM peut traiter des calculs complexes de manière plus flexible et efficace, tout en se libérant de la dépendance à la logique des contrats intelligents traditionnels. Veuillez entrer le texte source à traduire. Sous cette impulsion, des projets tels que RISC Zero, Succinct et Cysic sont considérés comme des acteurs importants de l'innovation dans ce domaine. En particulier, RISC Zero, avec zkVM basé sur l'architecture RISC-V, a développé une série d'outils open source tels que Zeth, Kailua et Bonsai, qui ont non seulement amélioré les performances de la validation de bloc et du Rollup, mais ont également fourni un support technique pour la mise à niveau ZK d'ETH. Veuillez entrer le texte source à traduire.
Veuillez entrer le texte source à traduire.
Matrice de produits d'écosystème RISC zkVM : des technologies de base aux applications de scénarios
Veuillez entrer le texte source à traduire. RISC Zero est une implémentation zkVM basée sur l'architecture d'ensemble d'instructions RISC-V. En tant que plate-forme de calcul de connaissance zéro universelle, elle prend en charge plusieurs langages de programmation populaires tels que Rust et C++, et peut presque exécuter n'importe quelle tâche de calcul. Comparée à d'autres plateformes de technologie de connaissance zéro, les prouveurs et les validateurs de RISC Zero sont entièrement open source, et les développeurs peuvent générer et valider des preuves localement. De plus, le validateur de RISC Zero est compatible avec plusieurs plates-formes et peut s'adapter à différents écosystèmes de chaînes de blocs, simplifiant ainsi le processus de développement d'applications décentralisées. Veuillez entrer le texte source à traduire. En juin de cette année, RISC Zero a publié zkVM 1.0. zkVM 1.0 prend en charge non seulement plusieurs langages et des tâches de calcul complexes, mais utilise également la technologie des Continuations pour diviser les calculs à grande échelle en plusieurs segments, permettant ainsi une efficacité élevée dans le calcul et la vérification parallèles. Selon la feuille de route, RISC Zero prévoit d'améliorer les performances et les coûts de zkVM de 20 fois d'ici la fin de 2024, en optimisant des éléments tels que la migration complète du processus de preuve vers le GPU (80% terminé), l'introduction de nouveaux designs de circuits RISC-V v2, ainsi que des optimisations spécifiques pour les circuits récursifs. Parallèlement, RISC Zero intègre une série de modules d'accélération pour les algorithmes RSA, Keccak, ECDSA, etc., visant à améliorer les performances des tâches liées à Ethereum et des opérations de cryptage. Veuillez entrer le texte source à traduire. Autour des capacités fondamentales de zkVM, RISC Zero a également développé une série d'outils et de produits open source. Par exemple, le service de preuve via le réseau Bonsai permet aux développeurs de générer des preuves de connaissance zéro sans matériel dédié ; l'outil Steel permet de déplacer des calculs complexes de l'EVM vers un environnement hors chaîne tout en maintenant la vérifiabilité des résultats, ce qui réduit les coûts d'exécution sur la chaîne ; et Blobstream Zero offre plus de possibilités de partage et de vérification des données dans l'écosystème de la chaîne de blocs modulaire en reliant la couche de disponibilité des données Celestia. Veuillez entrer le texte source à traduire.
Zeth: Prouver que tout le bloc Ethereum est correctement construit
Veuillez entrer le texte source à traduire. Zeth est un vérificateur de preuves de connaissance nulle open source pour les blocs Ethereum, développé par RISC Zero basé sur sa technologie zkVM. Il peut vérifier la validité des blocs Ethereum à l'aide de preuves de connaissance nulle, sans dépendre des validateurs traditionnels ou des comités de synchronisation. RISC Zero définit Zeth comme un zkEVM de type 0, entièrement compatible avec le protocole Ethereum, et améliore l'efficacité du développement grâce à la réutilisation du code. Veuillez entrer le texte source à traduire. Le co-fondateur d'Éther, Vitalik Buterin, a classé le zkEVM en quatre types dans l'article "Différents types de zk-EVMs", dont le Type-1 vise à être entièrement équivalent à Éther sans compromis; le Type-2 s'efforce d'être entièrement équivalent à l'EVM, mais pas entièrement équivalent à Éther; le Type-3 est presque équivalent à l'EVM; le Type-4 est totalement incompatible avec Éther. Veuillez entrer le texte source à traduire.
Veuillez entrer le texte source à traduire.
Grâce aux performances élevées du RISC Zero zkVM, Zeth peut vérifier les blocs ETH en quelques minutes. Les données de test montrent que Zeth peut générer des preuves de bloc à une vitesse de 1,1 MHz et, en utilisant la fonction de "continuations", étendre la vitesse à 4,7 MHz à 6,3 MHz sur un cluster GPU. Cette optimisation de performance réduit également le coût de génération de preuve. Selon les tests, le coût de génération de preuve pour un bloc contenant 182 transactions est seulement de 21,72 USD, soit environ 0,11 USD par transaction.
Veuillez entrer le texte source à traduire.
En même temps, lors du développement de Zeth, l'équipe RISC Zero a pleinement utilisé les composants de l'écosystème Rust, tels que revm, ethers et alloy, permettant aux développeurs de mettre en œuvre rapidement la fonction de preuve de bloc et de l'appliquer à différents scénarios. Cette conception offre aux développeurs plus de flexibilité pour ajuster la logique de construction de blocs selon les besoins et pour s'adapter aux futures propositions d'amélioration d'ETH.
Veuillez entrer le texte source à traduire.
Au niveau de l'application, Zeth fournit des solutions efficaces pour zk Rollup, les clients légers et les ponts inter-chaînes. La construction traditionnelle de zk Rollup et zkEVM nécessite beaucoup de temps et d'argent, ce qui décourage les petites équipes. En revanche, Zeth, basé sur une architecture zkVM modulaire, permet aux développeurs de personnaliser facilement la logique de validation des blocs. Par exemple :
Veuillez entrer le texte source à traduire.
Bonsai: permet aux développeurs de générer des preuves sans utiliser leur propre matériel
Veuillez entrer le texte source à traduire. Bonsai is a remote proof service designed for zkVM applications, which allows developers to generate proofs without using their own hardware, thus solving the contradiction between limited on-chain computing resources and high costs. With Bonsai, developers only need to define the zkVM application and input data to be executed, and Bonsai will run the computation in the background and generate the corresponding zero-knowledge proof. This process does not require developers to deploy additional hardware devices. At the same time, Bonsai utilizes a large number of GPU clusters to support parallel processing of multiple computing tasks. In addition, Bonsai provides a simple and easy-to-use API and SDK interface, allowing developers to easily integrate it into existing systems, further reducing development difficulties. Veuillez entrer le texte source à traduire. Basé sur ce service de preuve à distance, RISC Zero a lancé l'outil open source Bonsai Pay, qui combine l'authentification d'identité OAuth2.0 et la technologie ZKP, permettant aux utilisateurs d'envoyer ou de recevoir des jetons sur le réseau Ethereum via leur compte Google. Par exemple, lorsque Alice souhaite transférer des fonds à Bob, Alice peut saisir l'adresse e-mail Google de Bob et le montant du transfert via Bonsai Pay. Ensuite, Bob peut se connecter à Bonsai Pay, saisir son adresse e-mail et effectuer une vérification d'identité de compte Google. Bonsai Pay générera un jeton d'autorisation utilisant OAuth 2.0 pour prouver que Bob est bien le propriétaire de cette adresse e-mail. Ensuite, Bonsai Pay appelle le service de preuve Bonsai pour générer une preuve à divulgation nulle, prouvant que le compte Google de Bob est lié à l'adresse du portefeuille. Une fois que le contrat intelligent a vérifié la preuve, les fonds sont débloqués et transférés vers l'adresse du portefeuille de Bob. Veuillez entrer le texte source à traduire. Pendant tout le processus, Bonsai Pay a vérifié, grâce à la technologie ZKP, le fait que le compte Google de Bob est lié à son adresse de portefeuille, tout en évitant de divulguer des informations spécifiques sur le compte Google. Veuillez entrer le texte source à traduire.
Veuillez entrer le texte source à traduire.
Une autre application importante de Bonsai est le co-processeur Bonsai ZK (ZK Co-processor). Il utilise la technologie de preuve de connaissance nulle pour déplacer les tâches de calcul complexes de la chaîne vers une chaîne secondaire et génère une preuve immuable pour garantir l'exactitude des résultats. De plus, le déploiement du co-processeur Bonsai est également très simple. Les développeurs n'ont qu'à écrire une application zkVM pour gérer la logique et appeler Bonsai via un contrat Solidity simple pour exécuter le calcul et vérifier les résultats. Pendant tout le processus, le service de preuve Bonsai est responsable de la génération de preuves de connaissance nulle pour les calculs hors chaîne, et ces preuves peuvent être vérifiées sur la chaîne.
Veuillez entrer le texte source à traduire.
Le coprocesseur Bonsai ZK est conçu pour les applications sur chaîne nécessitant des performances élevées et des coûts réduits. Par exemple, dans la gouvernance DAO, il peut déplacer les calculs de vote complexes hors de la chaîne, ce qui réduit considérablement les frais de gaz sur la chaîne. Bonsai DAO Governor a réduit de plus de 50% le coût en gaz de chaque vote grâce au coprocesseur, ce qui améliore efficacement l'efficacité de la gouvernance et réduit les obstacles à la participation.
Veuillez entrer le texte source à traduire.
Boundless: couche de calcul vérifiable
Veuillez entrer le texte source à traduire. Dans l'architecture de la blockchain traditionnelle, pour assurer la validité des transactions, tous les nœuds doivent exécuter à nouveau tous les calculs pour chaque transaction. Bien que ce mode de "réexécution globale" garantisse la sécurité et la cohérence, il entraîne également des coûts de calcul extrêmement élevés. Pour résoudre ce problème, RISC Zero a lancé Boundless, qui permet à un seul nœud d'effectuer les calculs, de générer une preuve de connaissance nulle vérifiable, et aux autres nœuds de simplement vérifier cette preuve pour confirmer les résultats, sans avoir à réexécuter les calculs. Veuillez entrer le texte source à traduire. Boundless simplifie le processus de validation grâce à une technique de combinaison récursive. Il fusionne plusieurs petites preuves de connaissance nulle en une seule preuve globale, ce qui permet au vérificateur de ne vérifier qu'une seule preuve globale plutôt que de vérifier chaque étape individuelle. Pour optimiser davantage l'efficacité de génération des preuves de connaissance nulle, Boundless intègre un circuit de cryptographie dédié qui optimise l'efficacité des tâches courantes telles que les calculs de hachage et la vérification des signatures numériques. Veuillez entrer le texte source à traduire. De plus, les développeurs n'ont pas besoin de comprendre en profondeur la technologie de la connaissance nulle lorsqu'ils utilisent Boundless. Ils peuvent simplement écrire des applications dans des langages de programmation familiers tels que Rust ou Solidity. Actuellement, Boundless est accessible gratuitement aux développeurs. Ces derniers n'ont pas besoin de migrer les systèmes existants ou de mettre à jour les contrats de vérification pour utiliser les services de preuve fournis par Boundless, et ainsi construire et déployer rapidement des applications de connaissance nulle sur n'importe quelle blockchain. Veuillez entrer le texte source à traduire.
Veuillez entrer le texte source à traduire.
Blobstream Zero: un pont inter-chaînes pour zkVM simplifiant la validation de données inter-chaînes
Veuillez entrer le texte source à traduire. Blobstream Zero est un pont inter-chaînes basé sur zkVM développé en collaboration par RISC Zero et Celestia, dans le but de connecter de manière transparente la couche de disponibilité des données de Celestia à l'écosystème existant de blockchain modulaire. En partageant et en vérifiant les données sur Celestia, Blobstream Zero permet un transfert et une vérification plus pratiques des données entre les chaînes. Veuillez entrer le texte source à traduire. En tant que produit public entièrement open source, Blobstream Zero permet à tout projet ou développeur d'exécuter une instance locale et de générer des preuves de connaissance zéro. De plus, Blobstream Zero peut également prendre en charge les coprocesseurs ZK. Les coprocesseurs ZK sont essentiellement des outils de calcul hors chaîne, ils nécessitent donc des données fiables pour effectuer des calculs. Blobstream Zero peut obtenir des données à partir de blockchains telles que Celestia, et peut prouver la fiabilité des données transférées en générant des preuves ZK. Veuillez entrer le texte source à traduire.
Steel: Un nouveau paradigme de Smart Contract avec exécution hors chaîne et validation en chaîne
Veuillez entrer le texte source à traduire. Steel est un outil open source lancé par RISC Zero qui utilise la technologie zkVM pour réaliser l'exécution de contrats intelligents vérifiables hors chaîne. Avec Steel, les développeurs peuvent déplacer l'exécution des opérations EVM hors de la chaîne, tout en générant des preuves à divulgation nulle, garantissant ainsi l'authenticité et la vérifiabilité des résultats de calcul. Veuillez entrer le texte source à traduire. Les contrats intelligents traditionnels nécessitent une exécution complète de la logique sur la chaîne, ce qui entraîne non seulement des coûts élevés en gaz, mais limite également le développement d'applications complexes. Le mécanisme de calcul hors chaîne et de vérification en chaîne de Steel résout ce problème. Par exemple, dans un contrat intelligent simple, vérifier si le solde ERC20 d'un compte est supérieur à 1 et incrémenter une variable de compteur. La méthode traditionnelle nécessite une exécution complète de la logique sur la chaîne, tandis que Steel effectue le calcul hors chaîne et génère une preuve de connaissance nulle, la chaîne ne devant que vérifier la preuve, sans avoir à exécuter à nouveau la logique du contrat. Veuillez entrer le texte source à traduire. Actuellement, RISC Zero a publié Steel 1.0 et des partenaires ont déjà utilisé cet outil pour développer des applications à des fins lucratives. Par exemple, dans un appel de contrat impliquant environ 400 000 opérations SLOAD, le calcul a été déplacé hors chaîne via Steel, puis une preuve de connaissance nulle générée a été vérifiée sur la chaîne. Le coût de génération de la preuve est inférieur à 10 dollars, et le coût de vérification sur chaîne est inférieur à 300 000 Gas. Veuillez entrer le texte source à traduire.
Kailua: Une solution hybride ZK pour stimuler l'innovation de l'architecture Rollup
Veuillez entrer le texte source à traduire. Après avoir publié Zeth, RISC Zero a lancé Kailua, offrant ainsi une solution de mise à niveau hybride ZK Rollup pour Optimistic Rollup. Les Rollup optimistes traditionnels nécessitent généralement une période de défi de 7 jours, ce qui ralentit la finalité des transactions, tandis que les ZK Rollup peuvent réaliser rapidement la finalité, mais le coût continu de génération de preuves de connaissance nulle est trop élevé. Kailua combine les avantages des deux en équilibrant les coûts et l'efficacité grâce à une architecture hybride. En tant qu'extension du framework Optimism Kona, Kailua prend en charge l'exécution non modifiée de Kona sur zkVM et introduit un mécanisme innovant de résolution des litiges, réduisant les exigences de mise en jeu et diminuant les retards de finalité, améliorant ainsi l'efficacité et la disponibilité du système. Veuillez entrer le texte source à traduire. Dans l'architecture de Kailua, le mécanisme de résolution des litiges adopte une conception nouvelle. Tout d'abord, son mécanisme de résolution des litiges supprime les contraintes de temps, permettant aux validateurs de disposer d'un temps suffisant pour générer des preuves en cas de situations spéciales telles que les interruptions de réseau, renforçant ainsi la résilience du système. Même dans des situations extrêmes, l'architecture étendue RISC Zero zkVM de Kailua peut terminer les preuves en une heure. De plus, la fonction de vérification à la demande de Kailua permet aux développeurs de configurer la fréquence de vérification de manière flexible, ce qui permet une transition progressive vers le mode Rollup de vérification complète à moindre coût. Veuillez entrer le texte source à traduire. Contrairement à ZK Rollup, la conception de Kailua ne nécessite pas de génération continue de preuves. Pour les Rollup à faible fréquence ou avec des exigences de contrat intelligent spéciales, Kailua offre une option plus rentable. En même temps, Kailua réduit considérablement les exigences de mise en jeu du Rollup. Le montant de la mise en jeu traditionnelle pour le Rollup optimiste augmente de manière linéaire avec une période de finalité plus longue, tandis que la conception optimisée de Kailua fixe les exigences de mise en jeu, permettant ainsi au système de maintenir la sécurité et l'activité à moindre coût même sur une longue période. Veuillez entrer le texte source à traduire. Actuellement, Kailua est entièrement open source. Les développeurs peuvent déployer un réseau de test Optimism local à l'aide de ses outils en ligne de commande et le mettre à niveau rapidement pour prendre en charge un réseau avec des preuves de faute ZK. Kailua prend également en charge la simulation de propositions de faute pour aider les développeurs à comprendre comment les validateurs contestent les états incorrects en utilisant zkVM, approfondissant ainsi leur compréhension du mécanisme de résolution des litiges. À l'avenir, Kailua continuera à optimiser les coûts et les performances, ainsi qu'à étendre son support à davantage de frameworks Rollup. Veuillez entrer le texte source à traduire.
Résumé
Veuillez entrer le texte source à traduire. Comme on peut le voir dans le texte ci-dessus, la matrice de produits zkVM de RISC Zero stimule le développement de la technologie de preuve de connaissance nulle dans plusieurs domaines. Zeth et Kailua se concentrent sur l'optimisation de l'architecture Rollup, ce qui améliore l'efficacité de la vérification des blocs et la vitesse de résolution des litiges. Bonsai offre des services de preuve à distance, ce qui réduit la dépendance matérielle et les coûts d'exploitation, permettant aux développeurs de construire des applications de manière plus efficace. Blobstream Zero vérifie efficacement les données inter-chaînes, offrant un soutien fiable à l'écosystème blockchain modulaire. De plus, Steel réduit les coûts en gaz de l'exécution des contrats intelligents en utilisant un modèle de calcul hors-chaîne et de vérification en chaîne. Veuillez entrer le texte source à traduire. Bien sûr, tout en améliorant continuellement la matrice de produits zkVM, RISC Zero continue également à promouvoir l'innovation de la technologie sous-jacente de zkVM. Récemment, la version 1.2 de RISC Zero zkVM a été publiée, introduisant une nouvelle méthode de précompilation qui permet aux développeurs de déployer la logique de précompilation avec l'application elle-même, sans avoir à être intégrée au zkVM lui-même. Cela signifie que les développeurs peuvent ajouter une nouvelle logique de précompilation sans avoir à modifier les contrats de vérification sur la chaîne ou la configuration des validateurs, et sans avoir à bifurquer ou à apporter des modifications majeures au zkVM pour optimiser les performances. De plus, en utilisant la précompilation définie par l'application, les coûts de génération de preuve peuvent être réduits. Par exemple, après l'intégration de la précompilation RSA par Automata, le nombre d'opérations est passé de 39 millions à 217 000, soit une réduction d'environ 180 fois des coûts. Veuillez entrer le texte source à traduire. Avec l'optimisation continue de la technologie zkVM, son potentiel de développement sera progressivement mis en évidence dans plusieurs scénarios d'application. Cependant, pour libérer au mieux ce potentiel, il est encore nécessaire de dépendre de la collaboration écologique et de la mise en œuvre technique. Veuillez entrer le texte source à traduire.
La cinquième édition des prix annuels de sélection et des RTY AWARD 2025 est ouverte aux votes !
Création de records ! Près de 300 projets et individus ont été sélectionnés par des données, des inscriptions publiques et des recommandations communautaires pour cette phase de vote. Qui sont les pionniers qui poussent Web3 et Crypto vers le grand public ? Cliquez sur l'image pour voter et soutenir votre favori de l'année !
Cliquez sur l'image ci-dessous pour voter immédiatement!