Qu'est-ce que Pico zkVM ? Analyse architecturale du Brevis Modular zkVM

Le consensus blockchain impose à chaque validateur d’exécuter de façon répétée les mêmes calculs, ce qui rend le traitement direct on-chain de logiques complexes à la fois coûteux et limité. La valeur du zkVM réside dans le transfert de l’exécution off-chain, avec une preuve succincte vérifiée on-chain, permettant ainsi de dépasser le plafond computationnel des transactions individuelles.

En tant que couche universelle d’exécution pour la computation vérifiable de Brevis (BREV), Pico zkVM s’appuie sur une architecture glue-and-coprocessor, alliant flexibilité et performance. Elle offre une chaîne d’outils unifiée pour la programmation et la preuve, adaptée au traitement de données, à la vérification de signatures, à l’inférence machine learning et à la preuve de bloc Ethereum.

Qu’est-ce que Pico zkVM ?

Pico zkVM, la couche universelle d’exécution de computation vérifiable de Brevis, fusionne la « rédaction de programme » et la « preuve d’exécution correcte » dans une chaîne d’outils open source unique. Les développeurs décrivent la logique computationnelle en Rust sans concevoir de circuits bas niveau ; Pico prend en charge l’exécution off-chain et la génération de preuves.

La modularité s’articule sur deux niveaux : le cœur universel exécute tout programme, tandis que des coprocessors enfichables sont optimisés pour les opérations à fréquence élevée. Cette conception permet à Pico de prendre en charge des calculs variés et d’approcher les performances des circuits spécialisés pour les opérations critiques, évitant les limites habituelles des zkVM généralistes, souvent « flexibles mais lents ».

En quoi consiste l’architecture glue-and-coprocessor ?

L’architecture glue-and-coprocessor est centrale dans la conception de Pico zkVM : un cœur universel fait office de « glue », connectant le flux du programme, tandis que les tâches computationnelles intensives et fréquentes sont déléguées à des coprocessors dédiés ou à des circuits précompilés.

Le cœur universel RISC-V exécute tout programme Rust, garantissant la flexibilité. Lorsque le programme nécessite des opérations telles que le hachage Keccak-256, la vérification de signature, l’inférence machine learning ou le traitement de données blockchain, Pico redirige ces tâches vers des circuits spécialisés, évitant la génération de preuve pour chaque instruction RISC-V.

La preuve au niveau instruction consomme beaucoup de ressources et constitue le principal goulot d’étranglement des zkVM généralistes. En remplaçant ce processus par des circuits optimisés pour les preuves à connaissance zéro, Brevis indique que la vitesse de génération de preuve est améliorée de 10 à 80 fois, réduisant fortement les coûts de preuve sans sacrifier la polyvalence.

Comment le cœur universel et les coprocessors dédiés fonctionnent-ils ensemble ?

Le cœur universel et les coprocessors dédiés combinent la « flexibilité d’exécution » et la « preuve efficace » : le cœur gère toute logique, tandis que les coprocessors accélèrent les opérations à fréquence élevée.

Comme illustré, le cœur universel garantit que Pico peut exécuter tout programme, tandis que les coprocessors dédiés transforment les opérations à fréquence élevée — hachage, vérification de signature, inférence ML et traitement de données — du mode preuve au niveau instruction vers la preuve au niveau circuit. Le routage est automatique, évitant aux développeurs d’avoir à gérer manuellement les chemins d’exécution.

Figure 1. Architecture glue-and-coprocessor de Pico zkVM : le cœur universel RISC-V (glue) exécute tout programme, routant les tâches Keccak-256, vérification de signature, inférence ML et données blockchain vers des coprocessors dédiés ou des circuits précompilés.

Comment les développeurs peuvent-ils construire des programmes vérifiables avec Pico ?

Le workflow de développement Pico repose sur le principe « exécution off-chain, vérification on-chain » en quatre étapes : écrire le calcul en Rust, Pico exécute off-chain et produit les résultats, générer une preuve cryptographique d’exécution correcte, puis un smart contract vérifie la preuve succincte on-chain.

L’étape clé est la dernière : les contrats on-chain vérifient la preuve, pas le programme complet. Vérifier une preuve concise ne prend que quelques millisecondes et dépend peu de la taille du calcul initial, ce qui permet de valider on-chain des logiques complexes à coût minimal.

Pour les développeurs, Pico abaisse la barrière du développement à connaissance zéro en utilisant Rust. Il n’est pas nécessaire de maîtriser la conception de circuits pour créer des programmes vérifiables : la complexité cryptographique est intégrée à la chaîne d’outils.

Figure 2. Workflow de développement Pico zkVM : écrire le programme en Rust → Pico exécute off-chain → générer la preuve ZK → smart contract vérifie on-chain.

Quelle est la relation entre Pico et les ZK Data Coprocessors ?

Pico zkVM et les coprocessors applicatifs forment une relation « glue universelle » et « moteur dédié ». Le ZK Data Coprocessor en est l’exemple principal : il accède aux données historiques et cross-chain off-chain, effectue les calculs et attache des preuves cryptographiques d’authenticité et de correction.

Dans cette répartition des tâches, Pico agit comme glue, routant efficacement les données entre modules dédiés tout en conservant la flexibilité d’un zkVM généraliste. La logique applicative peut solliciter le cœur universel pour un calcul personnalisé ou exploiter le data coprocessor pour un accès rapide à l’historique on-chain.

En résumé, Pico offre une capacité de calcul universelle, tandis que les coprocessors applicatifs assurent un traitement spécialisé et rapide pour des scénarios ciblés. Ensemble, ils composent la pile d’exécution de computation vérifiable de Brevis.

Quels sont les cas d’usage de Pico zkVM ?

Pico zkVM est particulièrement adapté aux scénarios nécessitant « calcul de confiance + vérification on-chain », avec quatre applications typiques : traitement de données, vérification de signature, inférence machine learning et preuve de bloc Ethereum.

Le tableau présente quatre scénarios typiques et leurs composants d’exécution correspondants. Le traitement des données et la vérification de signature reposent sur des coprocessors dédiés pour l’accélération, l’inférence ML attache des preuves aux sorties de modèles off-chain, et la preuve de bloc Ethereum constitue le cas d’usage le plus emblématique.

La preuve de bloc Ethereum est assurée par Pico Prism, un système de preuve en temps réel fondé sur Pico. Selon Brevis, il atteint environ 99,8 % de couverture en temps réel sur 16 GPU, correspondant à l’objectif matériel de 100 000 $ de la Fondation Ethereum. Contrairement aux oracles qui amènent des données off-chain on-chain, Pico privilégie la computation vérifiable des données on-chain. La différence entre Brevis et les oracles est que Pico se concentre sur la computation vérifiable des données blockchain plutôt que sur les flux de prix externes. L’initiative On-Prem Proving de la Fondation Ethereum (Ethproof) a sélectionné Brevis parmi quatre équipes en mars 2026.

Quels sont les avantages et les points à considérer pour Pico zkVM ?

L’atout principal de Pico zkVM réside dans sa combinaison de flexibilité et de performance : le cœur universel permet d’exécuter tout programme, les coprocessors dédiés rapprochent les opérations à fréquence élevée de l’efficacité des circuits spécialisés, et la chaîne d’outils Rust réduit la barrière au développement à connaissance zéro.

Les points d’attention concernent surtout la couverture des circuits spécialisés et la dynamique du marché des preuves. Les coprocessors et circuits précompilés ne s’appliquent qu’aux opérations optimisées ; les programmes très dépendants de calculs non pris en charge doivent revenir à la preuve au niveau instruction via le cœur universel, ce qui limite les gains de performance. Le staking et le slashing des provers en tokens BREV et coChain lient la fiabilité des preuves au collatéral en token.

Les coûts de preuve constituent une contrainte structurelle. La génération de preuves à connaissance zéro nécessite du matériel spécialisé et du taux de hachage, et la surcharge de preuve pour le calcul généraliste reste supérieure à l’exécution native. Le coût et la latence des logiques complexes doivent être pris en compte lors de la conception. Il s’agit de contraintes objectives au niveau du mécanisme et non de recommandations d’investissement.

Résumé

Pico zkVM, machine virtuelle modulaire open source à connaissance zéro de Brevis, intègre le cœur universel RISC-V et des circuits précompilés dédiés dans une architecture glue-and-coprocessor : le cœur exécute tout programme Rust, les tâches à fréquence élevée sont routées vers des coprocessors spécialisés, et Brevis indique une accélération de la vitesse de preuve de 10 à 80 fois. Les développeurs écrivent le calcul en Rust, exécutent off-chain et génèrent des preuves, avec seulement des preuves succinctes vérifiées on-chain. Avec des coprocessors applicatifs comme le ZK Data Coprocessor et des systèmes déployés tels que Pico Prism, Pico forme la couche universelle d’exécution pour la computation vérifiable de Brevis.

FAQ

Qu’est-ce que Pico zkVM ?

Pico zkVM, machine virtuelle modulaire open source à connaissance zéro (zkVM) de Brevis, permet aux développeurs d’écrire toute logique computationnelle en Rust, d’exécuter off-chain et de générer des preuves à connaissance zéro. Les smart contracts n’ont qu’à vérifier des preuves succinctes on-chain, évitant la réexécution complète des programmes.

Comment l’architecture glue-and-coprocessor accélère-t-elle les preuves ?

L’architecture utilise le cœur universel RISC-V comme glue pour exécuter les programmes, routant les opérations courantes telles que le hachage Keccak-256, la vérification de signature et l’inférence ML vers des coprocessors dédiés (précompilés). Les circuits optimisés pour les preuves à connaissance zéro remplacent la preuve au niveau instruction, accélérant la génération de preuve de 10 à 80 fois selon Brevis.

Comment les développeurs peuvent-ils construire des programmes vérifiables avec Pico ?

Les développeurs écrivent la logique computationnelle en Rust, Pico exécute off-chain et produit les résultats, puis génère une preuve cryptographique d’exécution correcte. Les smart contracts vérifient cette preuve succincte on-chain, avec une latence de vérification de l’ordre de la milliseconde et indépendante de la taille du calcul initial.

Quelle est la relation entre Pico zkVM et les ZK Data Coprocessors ?

Pico zkVM agit comme glue, assurant le routage efficace des données entre modules dédiés tout en maintenant sa généralité. Les ZK Data Coprocessors sont les coprocessors applicatifs les plus marquants, accédant aux données historiques et cross-chain off-chain et attachant des preuves de calcul correct. Ensemble, ils composent la pile complète d’exécution.

Qu’est-ce que Pico Prism ?

Pico Prism, fondé sur Pico, est un système de preuve de bloc Ethereum en temps réel. Selon Brevis, il atteint environ 99,8 % de couverture en temps réel sur 16 GPU, correspondant à l’objectif matériel de 100 000 $ de la Fondation Ethereum. L’initiative On-Prem Proving de la Fondation Ethereum (Ethproof) a sélectionné Brevis parmi quatre équipes en mars 2026.