Rakennamme graafipohjaista zkVM:ää @ziskvm-järjestelmän päälle. Tavoitteemme: miettiä prover-arkkitehtuuri uudelleen perusperiaatteista lähtien, jotta saadaan parempi suorituskyky, siirrettävyys ja turvallisuus. 🧵

ZKP:n todistaminen on siirtymässä "nopeus ensin" aikakauteen. Lähes jokainen todistaja tukee nyt GPU-kiihdytystä (CUDA, Metal jne.). Mutta laitteiston purkamisen arkkitehtuuri on yhtä tärkeä kuin raaka laitteisto.

Nykyään on kaksi pääasiallista lähestymistapaa: - HAL-tila: samat toimintokutsut, eri laitteistotaustat. - Graafitila: koodataan koko todistusprosessi laskennalliseksi graafiksi, sitten optimoidaan ja käännetään alustakohtaisesti.

Jako on selvä: - Tekoälyjärjestelmät → Graafitila - Useimmat ZKP-proverit → HAL-tilaa (historiallisista, prosessorin ensisijaisista syistä) HAL on kätevä, mutta piilottaa laskennan globaalin rakenteen.

Graafitila tekee koko todistajasta eksplisiittisen ja tarkastettavan, mahdollistaen syvemmän optimoinnin, monialustaisen suorituksen sekä vahvemman turvallisuuden ja auditoitavuuden. Tulevassa kirjoituksessa jaamme, miten tämä suunnittelu muokkaa graafipohjaista zkVM:äämme ja mitä se avaa. ⚡️