1/ Varo hypeä: vaikka SNARK:t ja zkVM:t näyttävät valtavan lupaavilta, ne eivät ole valmiita monimutkaisiin, korkean panoksen käyttöönottoihin. Bugeja on kaikkialla, muodollinen vahvistus on syntymässä ja todisteet voivat olla satoja tuhansia kertoja hitaampia kuin natiivi toteutus.

2/ Olen juuri julkaissut postauksen, jossa hahmotellaan jäsennelty etenemissuunnitelma zkVM-kehitykselle. Se erottaa "turvallisuusvaiheet" "nopeusvaiheista", mikä antaa meille läpinäkyvän tavan seurata edistymistä. Lue se täältä:

3/ Turvallisuuden osalta määrittelen kolme muodollisen todentamisen vaihetta: • Vahvistetut protokollat • Vahvistetut todentajat • Vahvistetut todistajat Ennen kuin saavutamme vaiheen 2, emme voi todellakaan kutsua zkVM:ää "turvalliseksi" – ja sinne pääseminen on todennäköisesti vielä useiden vuosien päässä.

4/ Suorituskyvyn osalta yleiskustannukset verrattuna alkuperäiseen suoritukseen ylittävät edelleen 100 000 × – mikä ei ole aloitettava useimmissa käyttötapauksissa. Viestini ehdottaa viittä "suorituskykyvaihetta", jotka leikkaavat yleiskustannuksia suuruusluokkaa ja lopulta mahdollistavat laitteessa olevat todisteet.

5/ Ratkaisevaa on, että meidän on eristettävä todistejärjestelmän perustavanlaatuinen tehokkuus. Tällä hetkellä monet vertailuarvot niputtavat kaiken – todistejärjestelmän, suunnittelun, laitteistotehostuksen ja käsin viritetyt esikäännökset – yhdeksi huippunumeroksi, mikä hämärtää todellisen asemamme.

6/ Joten kyllä, zkVM:illä ja SNARKeilla on valtava potentiaali, mutta flirttailemme katastrofin kanssa, jos teeskentelemme, että ne ovat valmiita parhaaseen katseluaikaan. Käytän näitä vaiheita seuratakseni zkVM:n edistymistä tulevina vuosina – ja toivon, että muutkin tekevät niin. Katso postaukseni täältä: