Brevis dévoile Pico : la nouvelle génération de zkVM

Moteur de calcul hors chaîne vérifiable Brévis a annoncé le lancement de Pico v1.0, une machine virtuelle à connaissance nulle (zkVM) conçue pour un calcul vérifiable modulaire et flexible. Pico est la première zkVM qui permet aux développeurs de personnaliser les champs principaux, les systèmes de preuve, les flux de travail, les intégrations de coprocesseurs au niveau des applications et l'accès aux données historiques sur la chaîne. Cette flexibilité donne aux applications un contrôle total sur la manière dont les preuves à connaissance nulle (ZKP) sont générées et optimisées, ce qui permet une plus grande personnalisation et une plus grande efficacité dans le processus de génération de preuves. 

« Pico représente un changement dans la manière dont les zkVM sont conçues et déployées », a déclaré Michael Dong, cofondateur de Brevis, dans une déclaration écrite. « En apportant une zkVM modulaire et compatible avec les applications avec des zkCoprocesseurs intégrés, nous optimisons les performances et créons un niveau de personnalisation sans précédent dans le calcul vérifiable pour Web3," il ajouta.

Contrairement aux zkVM traditionnelles, qui proposent généralement une approche universelle, Pico adopte une conception modulaire qui permet une plus grande personnalisation. Cette conception permet à Pico de fournir les performances les plus rapides sur les processeurs, atteignant des vitesses de 84 à 155 % plus rapides que la meilleure solution suivante. Les futures mises à jour introduiront l'accélération GPU, améliorant encore les performances. Cette approche fournit des protocoles en chaîne et des applications décentralisées (dApps) avec une zkVM qui garantit une efficacité, une expressivité et une fiabilité améliorées.

L'architecture modulaire « glue-and-coprocessor » de Pico combine une zkVM à usage général avec des circuits spécialisés hautes performances, offrant une flexibilité dans les domaines de preuve, les systèmes et les flux de travail. Contrairement aux zkVM traditionnelles qui s'appuient sur des précompilations de bas niveau, Pico permet des circuits spécifiques à l'application qui sont personnalisés pour répondre à divers besoins d'application. Les développeurs ont la possibilité d'intégrer des circuits personnalisés en tant que coprocesseurs ou précompilations, soit via des options intégrées, soit via des implémentations personnalisées. Cette conception se traduit par des améliorations de performances de 35X pour le traitement des données historiques de la blockchain, réduisant ainsi le temps de génération de preuves.

Pico : activation de structures de preuve spécifiques au domaine, introduction du flux de travail de preuve personnalisable ProverChain et prise en charge de RISC-V et Rust

Avec Pico, les développeurs peuvent créer des structures de preuve spécifiques à un domaine qui alignent les preuves avec des langages spécialisés ou des systèmes de preuve personnalisés. Pour la première fois, une zkVM prend en charge les systèmes de preuve personnalisables et les champs principaux sans nécessiter de modifications de code. Cette flexibilité améliore la cryptographie à connaissance nulle (ZK), améliorant la vitesse, la taille des preuves et l'efficacité globale.

De plus, Pico introduit ProverChain, un flux de travail de preuve personnalisable. Ce flux de travail permet aux développeurs de générer des preuves qui vérifient la validité d'une déclaration, ce qui permet d'affiner la génération de preuves en fonction de la vitesse, de l'utilisation de la mémoire ou de la taille. Il permet également aux développeurs d'ajuster les étapes de preuve pour optimiser les coûts et l'évolutivité tout en contournant la compression de preuve inutile dans les cas de vérification hors chaîne.

Pico prend en charge RISC-V, une architecture d'ensemble d'instructions modulaire open source, et Rust, un langage de programmation système connu pour son accent mis sur la sécurité et les performances. Cette combinaison permet aux développeurs de créer des applications ZK à l'aide d'outils et de configurations familiers. 

Plusieurs Web3 Les protocoles et les dApps ont déjà lancé des fonctionnalités basées sur Brevis sur le réseau principal, notamment Kwenta, Usual, Algebra Labs, JoJo Exchange et Trusta. De nombreux autres, tels que échange de crêpes , Celer, Frax, Gamma, Quickswap, Réseau de masques, Noyau, Puis un Protocole Kim, 0G Bedrock, Mellow Finance, ZettaBlock, Hemera et Mendi Finance créent des produits et des fonctionnalités de nouvelle génération alimentés par Brévis .