1/ Useimmat ZK-todistajat on rakennettu tuottamaan oikeita todistuksia. Harvat niistä on rakennettu nopeita, auditoitavia ja tuotantovalmiita. Osa I esitteli graafilähtöisen todistamisen. Osa II näytti luvut. Osa III on tiekartta Venuksen tuotannon aloittamiseksi. Tervetuloa zkVM-trilogian finaaliin. 🧵

2/ Vaihe 1: Suorituskyky. Rakennamme laskennallisen graafin – ei HAL:n – avulla alusta alkaen ydinsuoritusrajapintana. Varhainen cudaGraph-integraatio osoittaa jo 9–12 % parannuksia RTX 5090:een. Tavoite: 15 %+, moni-GPU on seuraava. Jokainen optimointi kasaantuu.

3/ Vaihe 2: Turvallisuus Sama suorituskykyä ohjaava graafi voi myös koneella tarkistaa todistusprotokollan. Keskeinen oivallus: ZK-argumenttityypit ovat pieniä ja lukuttavia – SumCheck hajoaa vain kahteen. Rakenna rajallinen luotettu kirjasto, varmista mikä tahansa protokolla mekaanisesti.

4/ Vaihe 3: rbuilder-integraatio. Lohkojen rakentaminen ei malta odottaa hidasta testausta. Rakennamme siis asynkronista putkistoa, jossa on uudelleenorganisointitietoinen ennakointi ja sulava varasuunnitelma, kun todistus menee yli. Tavoite: ZK todistaa, että se sopii live block -tuotantoon hidastamatta sitä.

5/ Vaihe 4: Taloustiede. Voiko zkEVM-solmu ylläpitää itseään? Mallinnamme todistusmaksuja, MEV-osuutta ja protokollan kannustimia laitteisto- ja operaatiokustannuksia vastaan kolmessa GPU-kokoonpanossa (yhdestä RTX 5090:stä 8x:ään) löytääksemme kannattavuuspisteen. Graph-first voittaa vain, jos se on käyttökelpoinen.

6/ Useimmat ZK-todistajat on rakennettu tuottamaan oikeita todistuksia. Oikeat todistukset ovat lähtökohta. Rakennamme sellaista, joka on myös nopea, auditoitavissa, tuotantovalmis ja kestävä pyörittää. Se on se, mitä graafi ensin tekee mahdolliseksi. Lue osa III: