TL;DR : Pico Prism 2.0 prouve les blocs du mainnet Ethereum en moyenne toutes les 6,1 secondes avec la limite actuelle de 60M de gaz du réseau, avec 99,9 % des blocs finalisés dans la plage de 12 secondes. La configuration complète fonctionne sur 16 GPU RTX 5090 répartis sur deux machines pour un coût matériel total d'environ 100K $. Testé contre Pico Prism 1.0 sur la même base de 60M de gaz, le nouveau système offre ~5,3x plus d'efficacité de preuve par bloc.
En février, nous avons présenté la transition de Pico Prism vers une configuration dual-machine de 16 GPU, avec des résultats préliminaires sur les mêmes blocs de référence de 45M de gaz que ceux testés par Pico Prism 1.0.
Cette transformation est désormais terminée.
Pico Prism 2.0 est officiellement en ligne, entièrement optimisé, et benchmarké directement sur les blocs de production de 60 M de gas que Ethereum utilise aujourd'hui.
La version 2.0 est une reconstruction complète de la pile à travers l'ISA zkVM, l'architecture de preuve distribuée, l'émulateur et le backend de preuve GPU. Le résultat est un système qui prouve de plus gros blocs sur un quart du matériel utilisé par Pico Prism 1.0, plus rapidement en moyenne, et atteint clairement les cibles principales de preuve en temps réel de la Fondation Ethereum.
Les résultats principaux
Pico Prism 2.0 a été benchmarké sur 1000 blocs consécutifs du mainnet Ethereum à partir du bloc 24 000 000, sur la limite de gas actuelle de 60 M du réseau.
RésultatMétriqueTemps de preuve moyen6,1 sBlocs prouvés en moins de 12 s 99,9 %Matériel16 GPU RTX 5090 sur 2 machinesCoût total du matériel ~100 K$Limite de gas de bloc60 M (mainnet Ethereum actuel)
Pour un face-à-face équitable, la configuration à 64 GPU de Pico Prism 1.0 a été retestée sur les mêmes blocs de 60 M de gas. Le système 1.0 a une moyenne de 8,1 secondes par preuve. Pico Prism 2.0 atteint 6,1 secondes sur un quart du matériel, ce qui représente une amélioration d'environ 5,3x du travail de calcul par bloc :
Pico Prism 1.0 : 8,1 s × 64 GPU ÷ 60 M gas = 8,64 GPU-secondes par million de gas
Pico Prism 2.0 : 6,1 s × 16 GPU ÷ 60 M gas = 1,63 GPU-secondes par million de gas
→ ~5,3× d'efficacité
Parmi les cibles de preuve en temps réel de la Fondation Ethereum figurent des latences moyennes de preuve inférieures à 10 secondes et un capex matériel sur site inférieur à 100 K$. Pico Prism 2.0 pulvérise les deux, fonctionnant sur des GPU grand public que n'importe quelle équipe peut acheter en magasin.
Les benchmarks sont entièrement reproductibles. Les binaires sont disponibles sur https://github.com/brevis-network/pico-ethproofs.
À l'intérieur de Pico Prism 2.0
Quatre mises à jour arrivent ensemble dans la version 2.0. Chacune est significative en soi, et ensemble, elles produisent une augmentation de 5x.
1. De RISC-V 32IM à RISC-V 64IM
L'environnement d'exécution zkVM de Pico est passé à RISC-V 64IM, remplaçant l'ISA précédent de 32 bits. L'ensemble d'instructions de 64 bits correspond à la façon dont les vrais programmes sont écrits, offrant à Pico un environnement d'exécution plus riche et des traces d'exécution plus courtes sur la plupart des charges de travail. Le système échange un jeu de puces légèrement plus élaboré contre moins de cycles par programme, et sur de vrais blocs, moins de cycles est ce qui compte.
RISC-V 64IM est entièrement fonctionnel dans Pico Prism 2.0. La vérification formelle de la nouvelle implémentation de l'ISA est en cours.
2. Une nouvelle architecture à deux machines
Pico Prism 2.0 fonctionne sur deux machines, chacune avec 8 GPU RTX 5090, connectées via une interconnexion de 100 Gbps. Au centre se trouve un planificateur global qui fonctionne comme un tableau de tâches partagé pour le pipeline de preuve. Les deux machines tirent le travail dynamiquement du planificateur plutôt que de recevoir des affectations partitionnées statiquement.
L'architecture est construite autour de trois principes :
Planification globale. Les tâches inachevées vivent dans un pool partagé. Chaque machine peut les revendiquer dès qu'elle se libère, ce qui garde les GPU occupés au lieu d'attendre que le travail en amont soit terminé.
Localité des données. Chaque machine exécute indépendamment la même émulation et produit des enregistrements locaux cohérents. Le planificateur n'a besoin que d'envoyer des indices de tâche plutôt que des artefacts intermédiaires lourds. Lorsque des tâches locales sont disponibles, les machines les préfèrent, gardant le trafic inter-machine minimal.
Parallélisme maximum. Combinez et les tâches de RISC-V sont tirées dynamiquement de l'arbre de preuve, avec un équilibrage de charge autonome à travers les 16 GPU.
Le résultat est un pipeline de preuve qui se comporte comme une file de travail distribuée plutôt qu'une séquence fixe.
3. Émulation à l'avance
L'émulateur de Pico Prism 1.0 interprétait les programmes à l'exécution, décodant et dispatchant chaque instruction à la volée. L'émulateur 2.0 fonctionne avec du Rust compilé nativement généré directement à partir de binaires ELF, éliminant complètement les frais de décodage et de dispatch par instruction.
L'efficacité de l'interface frontale compte plus qu'il n'y paraît, car la preuve en temps réel est un pipeline équilibré. Si l'émulation ne peut pas alimenter les GPU assez rapidement, les GPU attendent. La compilation AOT élimine une part significative de ce coût frontal et garde la pile de preuve continuellement alimentée.
4. Une réécriture complète de CUDA
Le backend GPU de Pico a été réécrit de fond en comble, avec une optimisation approfondie à travers les composants qui se trouvent sur le chemin critique de chaque preuve. L'engagement FRI utilise désormais un NTT par lot LDE adaptatif, l'ouverture FRI utilise l'inversion par lot de Montgomery, et le calcul de quotient se fait via un compilateur JIT avec un IR de contrainte optimisé.
La pile réécrite offre des gains de vitesse immédiats et fournit une base plus propre et extensible pour les futures architectures GPU et les avancées du système de preuve.
En avant
La course à la preuve Ethereum en temps réel a été le défi déterminant de l'espace zkVM au cours des deux dernières années. En décembre 2025, la Fondation Ethereum a déclaré la course à la performance effectivement gagnée et a déplacé son attention vers les fondations de solidité pour l'intégration de L1 zkEVM jusqu'en 2026.
Pico Prism 2.0 est le système de production pour le côté performance. À l'avenir, le travail se poursuivra sur le côté solidité. Brevis contribue activement aux côtés de la feuille de route de sécurité de l'EF pour garantir que Pico Prism atteigne l'objectif de sécurité prouvable de 128 bits fixé pour l'intégration de L1 zkEVM, avec une vérification formelle de la nouvelle ISA RISC-V 64IM déjà en cours dans le cadre de ce travail.
En mars 2026, Brevis a été sélectionné comme l'une des quatre équipes de preuve dans l'Initiative de Preuve sur Site de la Fondation Ethereum via Ethproofs. Le pilote finance le groupe pour prouver 1 bloc Ethereum L1 sur 10 sur du matériel auto-proprié dans des conditions réelles, testant si la preuve ZK peut évoluer en tant qu'infrastructure décentralisée plutôt que de dépendre d'un petit nombre de fournisseurs de cloud. Le programme commence en mai 2026 et est la chose la plus proche d'une répétition générale pour l'intégration en direct de L1 zkEVM.
Chaque étape sur ce chemin rapproche Pico Prism de devenir une partie de l'infrastructure de base d'Ethereum.
À propos de Brevis
Brevis est une plateforme de calcul vérifiable alimentée par des preuves à connaissance nulle, servant de couche de calcul infinie pour le Web3. Les applications peuvent décharger des calculs coûteux hors chaîne tout en prouvant chaque résultat sur chaîne. La pile Brevis comprend Pico zkVM pour le calcul à usage général, le coprocesseur de données ZK pour un accès sans confiance aux données historiques de la blockchain, Pico Prism pour la preuve en temps réel des blocs Ethereum (99,8 % de couverture sur 16 GPU, atteignant l'objectif matériel de 100 K$ de la Fondation Ethereum), Vera pour l'authenticité médiatique prouvée par ZK, et ProverNet, le marché décentralisé pour la génération de preuves ZK maintenant en fonctionnement sur le mainnet. À ce jour, Brevis a généré plus de 340 millions de preuves à travers plus de 50 protocoles sur plus de 8 blockchains.