Dans la saison 4 de la Gouvernance d'Optimism, la communauté s'est regroupée autour d'intentions collectives, dans le cadre desquelles les équipes travaillent sur des initiatives spécifiques à portée restreinte, appelées Missions. Dans le cadre de ce processus, la Fondation Optimism a défini des missions pour des domaines critiques de croissance et de développement au sein du collectif.

Un élément clé permettant d'atteindre l'intention de décentralisation technique est la mise en œuvre d'une preuve de connaissance zéro (ZKP) pour l'OP Stack. Pour les chaînes OP de la Superchain, il s'agit d'un élément important pour sécuriser davantage et ajouter une communication inter-chaîne à faible latence entre L2 et L1, ainsi que directement entre les chaînes OP. Ce système prend en charge à la fois les options de latence élevée et faible, ce qui est nécessaire pour atteindre une composabilité totale et débloquer de nouveaux cas d'utilisation, tout en contribuant à l'évolutivité globale. Un ZKP pour une architecture d'ensemble d'instructions (ISA) bien supportée qui peut prouver le programme de preuve d'erreur de l'OP Stack sert de base à un système qui peut prouver n'importe quelle blockchain basée sur l'OP Stack.

L'explosion de l'activité sur les L2 souligne à quel point les utilisateurs de crypto-monnaies accordent de l'importance à des frais peu élevés et à des performances élevées, et deux équipes ont présenté des approches qui se distinguaient pour aider les utilisateurs à atteindre ces objectifs. En conséquence, les propositions de RISC Zero et de O(1) Labs ont été acceptées pour travailler sur la Mission.

RISC Zero entrevoit un monde où les preuves ZK sont accessibles à tous, et où les développeurs peuvent prouver et vérifier n'importe quel calcul grâce à la machine virtuelle ZK à usage général de RISC Zero. Pour concrétiser cette vision, l'équipe s'est orientée vers un stack open source qui supprime les barrières qui entravaient autrefois les ZK et donne toujours la priorité à l'engagement pratique avec les ZKP. Au cœur de cette démarche se trouve RISC-V zkVM, qui permet aux développeurs d'écrire leurs programmes en Rust natif et qui fait abstraction des complexités cryptographiques des ZKP.

RISC Zero s'est aligné sur l'engagement de l'OP Stack en faveur d'un avenir partagé et open source. Les ZKP permettront le prochain paradigme de l'OP Stack en créant une Superchain connectée et hautement interopérable. Les retraits, les ponts et la gouvernance de la Superchain sont autant de domaines dans lesquels RISC Zero considère que ses ZKP améliorent considérablement l'expérience des utilisateurs et des développeurs.

RISC Zero construit un système de preuve de validité ZK basé sur Rust pour l'OP Stack. Pour ce faire, ils combinent le zkVM RISC-V avec l'écosystème Ethereum/Rust à travers des projets tels que reth, revm, alloy et op-reth. Leur système de preuve de validité ZK est construit sur Zeth, un cadre zkEVM de "type 0" entièrement open source, qui permet à quiconque de prouver la validité des blocs Optimism et Ethereum.

La prise en charge d'OP Mainnet a déjà été ajoutée à Zeth. Actuellement, RISC Zero l'étend pour inclure le processus de " dérivation L1 -> L2 ", qui permettra à Zeth de prouver que les nouveaux blocs OP sont cohérents avec le séquenceur de transactions OP. Une fois cette étape franchie, des fonctionnalités supplémentaires seront ajoutées pour permettre à des époques OP entières d'être " regroupées " en une seule preuve qui pourra être vérifiée sur le L1 à l'aide du support existant de RISC Zero pour la vérification de la preuve sur la chaîne.

O(1) Lab vise à catalyser une nouvelle génération d'applications alimentées par la cryptographie à connaissance zéro en créant les fondations et les outils pour que les développeurs puissent créer des applications ZK. Cela inclut la conception et l'implémentation du modèle zkApp pour le protocole Mina, la première blockchain native ZK, o1js, une bibliothèque Typescript et un DSL intégré pour les applications alimentées par ZK, et Kimchi+Pickles, un système de preuve et une bibliothèque de récursion.

Les travaux en cours sur une MIPS zkVM apporteront la puissance de la connaissance zéro à l'OP Stack. Il s'agit de la première étape vers l'élimination de la fenêtre de retrait de sept jours, ce qui améliore l'expérience de l'utilisateur et la fiabilité de la chaîne. Ce travail rapproche également le protocole Mina et l'OP Stack, ouvrant une voie pour les applications construites sur l'OP Stack afin d'interagir avec le protocole Mina.

Le système de preuve PLONKish d'O(1), Kimchi et la couche de récursivité Pickles, constituent la base de la solution, dont une version sécurise la blockchain Mina depuis 2021. Le gros du travail consiste à optimiser certaines primitives de bas niveau pour Ethereum, en ajoutant la prise en charge de kzg-bn128 pour une vérification Ethereum efficace, puis l'optimisation et l'intégration avec le hachage pré-image de la chaîne OP.

RISC Zero et O(1) Labs se sont engagés à fournir des mises à jour régulières. La communauté peut suivre l'évolution de la Mission sur la page GitHub et suivre RISC Zero et O(1) Labs sur Twitter. C'est passionnant d'avoir deux équipes incroyables avec deux approches uniques travaillant à la réalisation d'une mission qui aura un impact énorme sur l'écosystème Optimism.

If you’re eager for more info, RISC Zero and O(1) Labs will be leading a workshop on bringing ZK proofs to the OP Stack as a part of Optimism’s Onchain Summit at Devconnect in Istanbul! Follow us on Twitter for updates about Optimism’s Devconnect programming.

Si vous souhaitez plus d'informations, RISC Zero et O(1) Labs animeront un atelier sur l'intégration des preuves ZK dans l'OP Stack dans le cadre du Onchain Summit d'Optimism lors de Devconnect à Istanbul ! Suivez-nous sur Twitter pour des mises à jour sur la programmation Devconnect d'Optimism.

Dans la saison 4 de la Gouvernance d'Optimism, la communauté s'est regroupée autour d'intentions collectives, dans le cadre desquelles les équipes travaillent sur des initiatives spécifiques à portée restreinte, appelées Missions. Dans le cadre de ce processus, la Fondation Optimism a défini des missions pour des domaines critiques de croissance et de développement au sein du collectif.

Un élément clé permettant d'atteindre l'intention de décentralisation technique est la mise en œuvre d'une preuve de connaissance zéro (ZKP) pour l'OP Stack. Pour les chaînes OP de la Superchain, il s'agit d'un élément important pour sécuriser davantage et ajouter une communication inter-chaîne à faible latence entre L2 et L1, ainsi que directement entre les chaînes OP. Ce système prend en charge à la fois les options de latence élevée et faible, ce qui est nécessaire pour atteindre une composabilité totale et débloquer de nouveaux cas d'utilisation, tout en contribuant à l'évolutivité globale. Un ZKP pour une architecture d'ensemble d'instructions (ISA) bien supportée qui peut prouver le programme de preuve d'erreur de l'OP Stack sert de base à un système qui peut prouver n'importe quelle blockchain basée sur l'OP Stack.

L'explosion de l'activité sur les L2 souligne à quel point les utilisateurs de crypto-monnaies accordent de l'importance à des frais peu élevés et à des performances élevées, et deux équipes ont présenté des approches qui se distinguaient pour aider les utilisateurs à atteindre ces objectifs. En conséquence, les propositions de RISC Zero et de O(1) Labs ont été acceptées pour travailler sur la Mission.

RISC Zero entrevoit un monde où les preuves ZK sont accessibles à tous, et où les développeurs peuvent prouver et vérifier n'importe quel calcul grâce à la machine virtuelle ZK à usage général de RISC Zero. Pour concrétiser cette vision, l'équipe s'est orientée vers un stack open source qui supprime les barrières qui entravaient autrefois les ZK et donne toujours la priorité à l'engagement pratique avec les ZKP. Au cœur de cette démarche se trouve RISC-V zkVM, qui permet aux développeurs d'écrire leurs programmes en Rust natif et qui fait abstraction des complexités cryptographiques des ZKP.

RISC Zero s'est aligné sur l'engagement de l'OP Stack en faveur d'un avenir partagé et open source. Les ZKP permettront le prochain paradigme de l'OP Stack en créant une Superchain connectée et hautement interopérable. Les retraits, les ponts et la gouvernance de la Superchain sont autant de domaines dans lesquels RISC Zero considère que ses ZKP améliorent considérablement l'expérience des utilisateurs et des développeurs.

RISC Zero construit un système de preuve de validité ZK basé sur Rust pour l'OP Stack. Pour ce faire, ils combinent le zkVM RISC-V avec l'écosystème Ethereum/Rust à travers des projets tels que reth, revm, alloy et op-reth. Leur système de preuve de validité ZK est construit sur Zeth, un cadre zkEVM de "type 0" entièrement open source, qui permet à quiconque de prouver la validité des blocs Optimism et Ethereum.

La prise en charge d'OP Mainnet a déjà été ajoutée à Zeth. Actuellement, RISC Zero l'étend pour inclure le processus de " dérivation L1 -> L2 ", qui permettra à Zeth de prouver que les nouveaux blocs OP sont cohérents avec le séquenceur de transactions OP. Une fois cette étape franchie, des fonctionnalités supplémentaires seront ajoutées pour permettre à des époques OP entières d'être " regroupées " en une seule preuve qui pourra être vérifiée sur le L1 à l'aide du support existant de RISC Zero pour la vérification de la preuve sur la chaîne.

O(1) Lab vise à catalyser une nouvelle génération d'applications alimentées par la cryptographie à connaissance zéro en créant les fondations et les outils pour que les développeurs puissent créer des applications ZK. Cela inclut la conception et l'implémentation du modèle zkApp pour le protocole Mina, la première blockchain native ZK, o1js, une bibliothèque Typescript et un DSL intégré pour les applications alimentées par ZK, et Kimchi+Pickles, un système de preuve et une bibliothèque de récursion.

Les travaux en cours sur une MIPS zkVM apporteront la puissance de la connaissance zéro à l'OP Stack. Il s'agit de la première étape vers l'élimination de la fenêtre de retrait de sept jours, ce qui améliore l'expérience de l'utilisateur et la fiabilité de la chaîne. Ce travail rapproche également le protocole Mina et l'OP Stack, ouvrant une voie pour les applications construites sur l'OP Stack afin d'interagir avec le protocole Mina.

Le système de preuve PLONKish d'O(1), Kimchi et la couche de récursivité Pickles, constituent la base de la solution, dont une version sécurise la blockchain Mina depuis 2021. Le gros du travail consiste à optimiser certaines primitives de bas niveau pour Ethereum, en ajoutant la prise en charge de kzg-bn128 pour une vérification Ethereum efficace, puis l'optimisation et l'intégration avec le hachage pré-image de la chaîne OP.

RISC Zero et O(1) Labs se sont engagés à fournir des mises à jour régulières. La communauté peut suivre l'évolution de la Mission sur la page GitHub et suivre RISC Zero et O(1) Labs sur Twitter. C'est passionnant d'avoir deux équipes incroyables avec deux approches uniques travaillant à la réalisation d'une mission qui aura un impact énorme sur l'écosystème Optimism.

If you’re eager for more info, RISC Zero and O(1) Labs will be leading a workshop on bringing ZK proofs to the OP Stack as a part of Optimism’s Onchain Summit at Devconnect in Istanbul! Follow us on Twitter for updates about Optimism’s Devconnect programming.

Si vous souhaitez plus d'informations, RISC Zero et O(1) Labs animeront un atelier sur l'intégration des preuves ZK dans l'OP Stack dans le cadre du Onchain Summit d'Optimism lors de Devconnect à Istanbul ! Suivez-nous sur Twitter pour des mises à jour sur la programmation Devconnect d'Optimism.