#zkvm Innovatiivisia tuotteita on edelleen tulossa Toisin kuin yleinen RISC-B zkvm, kuten @boundless_xyz, kaikki todisteet perustuvat yhteisen käskyjoukon kunkin piirin todistukseen. Brevis zkvm hyväksytty - Liimaompelujärjestelmä, tämä kaavio tuli ensimmäisen kerran V Godin blogikirjoituksesta - Tunnista ne kalliit erityiset operaatiot (yleensä hajautusarvot ja allekirjoitukset), jotka muodostavat suurimman osan laskennasta, ja luo sitten erikoismoduuleja näiden toimintojen tehokkaaksi todistamiseksi. Yhdistämällä tehottoman mutta yleisen VM-käskyjoukon varmistusjärjestelmän tehokkaaseen mutta erikoistuneeseen todistusjärjestelmään saat molempien maailmojen parhaat puolet. Itse asiassa on olemassa myös hieman esikäännöstekniikkaa, kuten EVM, joka kuuluu piiritason esikäännöstekniikkaan - Innovaatio ketjussa 1) Puhdas ZK-todiste, kustannusongelma on aina olemassa. 2) OP-ZK-todiste, mikä tarkoittaa, että vasta säädön jälkeen ZK-todistus muodostetaan, ja anna sitten ketjun tarkistaa todiste. Jos sitä ei muuteta, se on optimistinen vahvistus. Tämän pitäisi kuulua uuteen OPZK-luokkaan. Ydin ratkaisee kaksi ongelmaa, zk-todisteiden ongelman. Se on hyvin pragmaattinen suunnitelma Tiedot:

Vain säädetty = 》Vain kyseenalainen kirjoitusvirheen korjaus

Juttelin juuri perustajan @brevis_zk kanssa, ja he käyttivät myös RISC-V-käskysarjaa yhdistettynä esikäännettyihin esikäännöspiireihin.

Minusta tuntuu, että tämä on todennäköisimmin skaalautuva, koska hän on tehnyt paljon suunnittelua suunnitelmansa kustannuspuolella.