We bouwen een graf-gebaseerde zkVM bovenop het @ziskvm systeem. Ons doel: de architectuur van de prover heroverwegen vanuit de eerste principes om betere prestaties, draagbaarheid en veiligheid te ontgrendelen. 🧵

ZKP-proving betreedt een "snelheid-eerst" tijdperk. Bijna elke prover ondersteunt nu GPU-versnelling (CUDA, Metal, enz.). Maar de architectuur achter hardware-offloading is net zo belangrijk als de ruwe hardware.

Er zijn vandaag de dag twee hoofdbenaderingen: - HAL-modus: dezelfde functieaanroepen, verschillende hardware-achtergronden. - Grafiekmodus: het hele bewijsproces coderen als een computationele grafiek, en deze vervolgens optimaliseren en compileren per platform.

De splitsing is duidelijk: - AI-systemen → Grafiekmodus - De meeste ZKP-provers → HAL-modus (om historische, CPU-eerste redenen) HAL is handig, maar verbergt de globale structuur van de berekening.

Graph Mode maakt de hele prover expliciet en inspecteerbaar, waardoor diepere optimalisatie, cross-platform uitvoering en sterkere beveiliging & controleerbaarheid mogelijk zijn. In de komende post zullen we delen hoe dit ontwerp onze grafiek-gebaseerde zkVM vormgeeft en wat het ontgrendelt. ⚡️