Vi bygger en grafbasert zkVM oppå @ziskvm-systemet. Vårt mål: å tenke nytt om beviserarkitekturen fra første prinsipp for å låse opp bedre ytelse, portabilitet og sikkerhet. 🧵

ZKP Proving går inn i en «speed-first»-æra. Nesten alle prøvere støtter nå GPU-akselerasjon (CUDA, Metal, osv.). Men arkitekturen bak maskinvareavlasting er like viktig som rå maskinvare.

Det finnes to hovedtilnærminger i dag: - HAL-modus: samme funksjonskall, forskjellige maskinvarebackends. - Grafmodus: koder hele bevisprosessen som en beregningsgraf, deretter optimaliserer og kompiler per plattform.

Splittelsen er tydelig: - AI-systemer → grafmodus - De fleste ZKP-prøvere → HAL-modus (av historiske, CPU-først-grunner) HAL er praktisk, men skjuler den globale strukturen i beregningen.

Grafmodus gjør hele prøveren eksplisitt og inspekterbar, noe som muliggjør dypere optimalisering, plattformuavhengig utførelse og sterkere sikkerhet og auditbarhet. I det kommende innlegget vil vi dele hvordan dette designet former vår grafbaserte zkVM og hva det låser opp. ⚡️