Ehdotettu 🔥 HAL->graafin prioriteettijärjestelmän siirtymä
Olemme nähneet zkVM-trilogian ensimmäisessä osassa,
Väitin, että olisi parempi muuttaa olemassa oleva HAL (laitteiston abstraktiokerros) graafipohjaiseksi todistusjärjestelmäksi
Ja todelliset tiedot tästä tulivat esiin
Testasimme Venusta (graafikeskeinen taustajärjestelmä) GPU:illa ja FPGA:illa (erikoistuneilla piireillä) Ziskin päällä.
Palasin alkuperäiseen ZK-laitteistoideaan
Tuloksena olevat luvut osoittavat seuraavat
Cysicin seuraavan sukupolven ZK Prover: Graph-First 🔥
Useimmat ZK-todistusjärjestelmät jakavat yhteisen arkkitehtonisen oletuksen, jota ne eivät ole koskaan epäilleet
Prove()-funktio käsitellään täydellisenä mustana laatikkona
Laitteisto ei koskaan näe koko toimintoa kerralla, vaan vain yhden ytimen kerrallaan
Tämän oletuksen nimi on HAL
Kerronpa miksi Cysic korvasi HAL:n!