Vi bygger en grafbaserad zkVM ovanpå @ziskvm systemet. Vårt mål: att ompröva proverarkitekturen från första principer för att låsa upp bättre prestanda, portabilitet och säkerhet. 🧵

ZKP Proving går in i en "hastighetsförst"-era. Nästan alla provare stöder nu GPU-acceleration (CUDA, Metal, etc.). Men arkitekturen bakom hårdvaruavlastning är lika viktig som rå hårdvara.

Det finns två huvudsakliga angreppssätt idag: - HAL-läge: samma funktionsanrop, olika hårdvarubackends. - Grafläge: koda hela provprocessen som en beräkningsgraf, optimera och kompilera sedan per plattform.

Uppdelningen är tydlig: - AI-system → grafläge - De flesta ZKP-provare → HAL-läge (av historiska, CPU-först-skäl) HAL är bekvämt, men döljer den globala beräkningsstrukturen.

Grafläge gör hela provern explicit och inspekterbar, vilket möjliggör djupare optimering, plattformsoberoende genomförande och starkare säkerhet och granskning. I kommande inlägg kommer vi att dela med oss av hur denna design formar vår grafbaserade zkVM och vad den låser upp. ⚡️