TL;DR: Pico Prism 2.0 validează blocurile Ethereum mainnet la o medie de 6.1 secunde pe limita actuală de 60M gas a rețelei, cu 99.9% din blocuri finalizându-se în intervalul de 12 secunde. Configurația completă rulează pe 16 GPU-uri RTX 5090 distribuite pe două mașini, cu un cost total de hardware de aproximativ 100K $. Testat împotriva Pico Prism 1.0 pe aceeași bază de 60M gas, noul sistem oferă ~5.3x mai multă eficiență în validarea pe bloc.

În februarie, am prezentat o previzualizare a tranziției Pico Prism la o configurație cu 16 GPU-uri pe două mașini, cu rezultate timpurii pe aceleași blocuri de 45M gas pe care Pico Prism 1.0 le-a testat.

Această transformare este acum completă.

Pico Prism 2.0 este oficial activ, complet optimizat și benchmark-uit direct pe blocurile de producție de 60M gaz pe care Ethereum le rulează astăzi.

Versiunea 2.0 este o reconstrucție completă a stivei pe ISA zkVM, arhitectura de verificare distribuită, emulatorul și backend-ul de verificare GPU. Rezultatul este un sistem care dovedește blocuri mai mari pe un sfert din hardware-ul pe care l-a folosit Pico Prism 1.0, mai repede în medie, și ajunge exact la obiectivele de dovedire în timp real ale Fundației Ethereum.

Rezultatele principale

Pico Prism 2.0 a fost benchmark-uit pe 1000 de blocuri consecutive ale mainnet-ului Ethereum începând cu blocul 24,000,000, pe limita curentă de 60M gaz a rețelei.

MetricResultAverage timpul de dovedire 6.1s Blocuri dovedite în 12s 99.9% Hardware 16 RTX 5090 GPU-uri pe 2 mașini Costul total al hardware-ului ~ $100K Limită de gaz pe bloc 60M (mainnet Ethereum curent)

Pentru o confruntare corectă, configurația cu 64 de GPU-uri a lui Pico Prism 1.0 a fost retestată pe aceleași blocuri de 60M gaz. Sistemul 1.0 are o medie de 8.1 secunde pe dovadă. Pico Prism 2.0 atinge 6.1 secunde pe un sfert din hardware, ceea ce se traduce într-o îmbunătățire de ~5.3x în munca de calcul pe bloc:

Pico Prism 1.0: 8.1s × 64 GPU-uri ÷ 60M gaz = 8.64 GPU-secunde pe milion de gaz

Pico Prism 2.0: 6.1s × 16 GPU-uri ÷ 60M gaz = 1.63 GPU-secunde pe milion de gaz

→ ~5.3× eficiență

Cel mai important dintre obiectivele de dovedire în timp real ale Fundației Ethereum sunt latența medie de dovedire sub 10 secunde și capex-ul hardware on-prem sub 100K $. Pico Prism 2.0 distruge ambele, funcționând pe GPU-uri de consum pe care orice echipă le poate cumpăra de pe raft.

Benchmark-urile sunt complet reproducibile. Binarele sunt disponibile la https://github.com/brevis-network/pico-ethproofs.

În interiorul Pico Prism 2.0

Patru upgrade-uri aterizează împreună în versiunea 2.0. Fiecare este semnificativ de unul singur, iar împreună produc un lift de 5x.

1. De la RISC-V 32IM la RISC-V 64IM

Mediul de execuție zkVM al lui Pico a trecut la RISC-V 64IM, înlocuind vechea ISA de 32 de biți. Setul de instrucțiuni pe 64 de biți se potrivește cu modul în care sunt scrise programele reale, oferind lui Pico un mediu de execuție mai bogat și urme de execuție mai scurte pe majoritatea sarcinilor de lucru. Sistemul face schimb de un set de cipuri puțin mai elaborat pentru cicluri mai puține pe program, iar pe blocurile reale, mai puține cicluri contează.

RISC-V 64IM este complet funcțional în Pico Prism 2.0. Verificarea formală a implementării noi ISA este în curs.

2. O Nouă Arhitectură cu Două Mașini

Pico Prism 2.0 rulează pe două mașini, fiecare cu 8 RTX 5090 GPU-uri, conectate printr-o interconexiune de 100 Gbps. În centrul său se află un scheduler global care funcționează ca o tablă de sarcini partajată pentru pipeline-ul de dovadă. Ambele mașini trag muncă dinamic de la scheduler în loc să primească alocări partitionate static.

Arhitectura este construită pe trei principii:

Programare globală. Sarcinile neterminate trăiesc într-un pool comun. Orice mașină poate să le revendice pe măsură ce devine disponibilă, ceea ce menține GPU-urile ocupate în loc să aștepte finalizarea muncii upstream.

Localitatea datelor. Fiecare mașină rulează independent aceeași emulație și produce înregistrări locale consistente. Schedulerul trebuie doar să desfășoare indexurile sarcinilor mai degrabă decât artefacte intermediare grele. Acolo unde sarcinile locale sunt disponibile, mașinile preferă acestea, menținând traficul între mașini minim.

Maxim de paralelism. Sarcinile chunk Combine și RISC-V sunt extrase din arborele de dovadă dinamic, cu echilibrare autonomă a sarcinilor pe toate cele 16 GPU-uri.

Rezultatul este un pipeline de verificare care se comportă ca o coadă de lucru distribuită mai degrabă decât o secvență fixă.

3. Emulare în Avans

Emulatorul lui Pico Prism 1.0 interpreta programele în timpul execuției, decodând și dispatch-ând fiecare instrucțiune pe loc. Emulatorul 2.0 rulează nativ compilat Rust generat direct din binare ELF, eliminând complet supracostul de decodare și dispatch pe instrucțiune.

Eficiența frontend-ului contează mai mult decât pare, deoarece dovada în timp real este un pipeline echilibrat. Dacă emularea nu poate alimenta GPU-urile suficient de repede, GPU-urile stau așteptând. Compilarea AOT elimină o parte semnificativă din costul frontend-ului și menține stiva de verificare continuu alimentată.

4. O Rescriere Completa CUDA

Backend-ul GPU-ului lui Pico a fost rescris de la zero, cu optimizare profundă în toate componentele care se află pe calea critică a fiecărei dovezi. Angajamentul FRI folosește acum NTT adaptiv LDE batch, deschiderea FRI folosește inversarea batch Montgomery, iar calculul cotelor trece printr-un compilator JIT cu un IR de constrângere optimizat.

Stiva rescrisă oferă câștiguri imediate de viteză și oferă o bază mai curată și mai extensibilă pentru arhitecturile GPU viitoare și avansurile sistemului de verificare.

Privind înainte

Cursa pentru dovedirea în timp real a Ethereum a fost provocarea definitorie a domeniului zkVM în ultimii doi ani. În decembrie 2025, Fundația Ethereum a declarat că cursa de performanță a fost efectiv câștigată și a mutat concentrarea pe fundațiile solidității pentru integrarea L1 zkEVM prin 2026.

Pico Prism 2.0 este sistemul de producție pentru partea de performanță. În continuare, se lucrează la partea de soliditate. Brevis contribuie activ alături de foaia de parcurs de securitate a EF pentru a asigura că Pico Prism îndeplinește ținta de securitate dovedibilă pe 128 de biți stabilită pentru integrarea L1 zkEVM, cu verificarea formală a noului ISA RISC-V 64IM deja în curs ca parte a acelei lucrări.

În martie 2026, Brevis a fost selectat ca una dintre cele patru echipe de verificare în Inițiativa de Proving On-Prem a Fundației Ethereum prin Ethproofs. Pilotul finanțează cohorta pentru a verifica 1 din 10 blocuri Ethereum L1 pe hardware deținut de ei în condiții reale, testând dacă dovada ZK poate scala ca infrastructură descentralizată în loc să depindă de câțiva furnizori de cloud. Programul începe în mai 2026 și este cel mai apropiat lucru de o repetiție generală pentru integrarea live L1 zkEVM.

Fiecare pas pe acel drum aduce Pico Prism mai aproape de ZK devenind parte din infrastructura de bază a Ethereum.

Despre Brevis

Brevis este o platformă de calcul verificabilă alimentată de dovezi zero-cunoștințe, servind ca strat de calcul infinit pentru Web3. Aplicațiile pot descărca calcule costisitoare off-chain în timp ce dovedesc fiecare rezultat on-chain. Stiva Brevis include Pico zkVM pentru calcul general, ZK Data Coprocessor pentru acces de încredere la date istorice blockchain, Pico Prism pentru verificarea în timp real a blocurilor Ethereum (99.8% acoperire pe 16 GPU-uri, atingând ținta de hardware de 100K $ a Fundației Ethereum), Vera pentru autenticitatea media dovedită ZK, și ProverNet, piața descentralizată pentru generarea dovezilor ZK care rulează acum pe mainnet. Până în prezent, Brevis a generat 340M+ dovezi pe 50+ protocoale pe 8+ blockchains.