Osa 5 "From 0 Knowledge to Zero Knowledge" on käynnissä. Miten koodista oikeastaan tulee todistettavaa? Mikä on zkVM ja miksi sillä on merkitystä? 🧵

ZK-todistusjärjestelmät toimivat matemaattisten yhtälöiden kanssa. Kehittäjät kirjoittavat koodia. Tämän kuilun kaventaminen vaati aiemmin aritmeettisten piirien kirjoittamista käsin. Voimakas, mutta vain asiantuntijat pystyivät siihen. zkVMs muutti tämän. Kirjoita tavallinen Rust, hanki vedokset. Piiriosaamista ei tarvita.

Ajattele, miten tekoälyn kehitys on kehittynyt. Ennen TensorFlow'ta piti kirjoittaa matalan tason GPU-koodia. Vain asiantuntijat pystyivät rakentamaan neuroverkkoja. Kehykset abstrahoivat monimutkaisuuden. Miljoonat kehittäjät seurasivat perässä. zkVM:t tekevät saman ilman tietämystä.

Kaikki zkVM:t eivät ole samanlaisia. Jokainen tiimi tekee arkkitehtuurivalintoja sen mukaan, mihin he optimoivat. Jotkut painottavat läpinäkyvyyttä. Jotkut painottavat halpaa ketjun sisäistä varmennusta. Jotkut painottavat nopeuden todistamista. Et voi optimoida kaikkea. Kompromissit ovat väistämättömiä.