1/ Atenție la hype: în timp ce SNARK-urile și zkVM-urile arată o promisiune imensă, nu sunt pregătite pentru implementări complexe, cu mize mari. Bug-urile sunt peste tot, verificarea formală este incipientă, iar dovezile pot fi de sute de mii de ori mai lente decât execuția nativă.

2/ Tocmai am publicat o postare care prezintă o foaie de parcurs structurată pentru dezvoltarea zkVM. Separă "etapele de securitate" de "etapele de viteză", oferindu-ne o modalitate transparentă de a urmări progresul. Citiți-l aici:

3/ În ceea ce privește securitatea, identific trei etape pentru verificarea formală: • Protocoale verificate • Verificatori verificați • Verificatori verificați Până când nu ajungem la Etapa 2, nu putem numi cu adevărat un zkVM "sigur" - și este probabil să ajungem acolo la câțiva ani distanță.

4/ În ceea ce privește performanța, cheltuielile generale față de execuția nativă depășesc încă 100.000× - un non-start pentru majoritatea cazurilor de utilizare. Postarea mea propune cinci "etape de performanță" pentru a reduce această suprafață cu ordine de mărime și, în cele din urmă, pentru a permite dovezi pe dispozitiv.

5/ În mod crucial, trebuie să izolăm eficiența fundamentală a unui sistem de demonstrație. În acest moment, multe benchmark-uri grupează totul – sistem de probă, inginerie, îmbunătățiri hardware și precompilări reglate manual – într-un singur număr de top, ascunzând unde ne aflăm cu adevărat.

6/ Deci, da, zkVM-urile și SNARK-urile au un potențial enorm, dar cochetăm cu dezastrul dacă pretindem că sunt pregătiți pentru prime-time. Voi folosi aceste etape pentru a urmări progresul zkVM în următorii ani - și sper că și alții o vor face. Vezi postarea mea aici: