#zkvm Există încă produse inovatoare care apar Spre deosebire de zkvm RISC-B generic, cum ar fi @boundless_xyz, toate demonstrațiile se bazează pe demonstrația fiecărui circuit din setul de instrucțiuni comun. Brevis zkvm adoptat - Schema de cusături cu lipici, această schemă a venit pentru prima dată dintr-o postare pe blog a lui V God - Identificați acele operațiuni specifice costisitoare (de obicei hash-uri și semnături) care alcătuiesc majoritatea calculelor și apoi creați module specializate pentru a dovedi aceste operațiuni în mod eficient. Combinarea unui sistem de probă ineficient, dar generic, cu un sistem de demonstrație eficient, dar specializat, vă oferă tot ce este mai bun din ambele lumi. De fapt, există și un pic de tehnologie de pre-compilare, cum ar fi EVM, care aparține tehnologiei de pre-compilare la nivel de circuit - Inovație în lanț 1) Dovada ZK pură, problema costurilor există întotdeauna. 2) Dovada OP-ZK, ceea ce înseamnă că numai după ajustare este generată dovada ZK și apoi lăsați lanțul să verifice dovada. Dacă nu este ajustat, este o confirmare optimistă. Aceasta ar trebui să aparțină noii categorii OPZK. Miezul rezolvă două probleme, problema costului de probă zk. Este un plan foarte pragmatic Detalii:

Doar ajustat = 》Doar corectarea greșelii de scriere contestată

Tocmai am discutat cu fondatorul @brevis_zk și au folosit și setul de instrucțiuni RISC-V, combinat cu circuite precompilate precompilate.

Simt că acesta este cel mai probabil să fie scalat, deoarece a făcut o mulțime de design pe partea de cost a planului său.