Stiamo costruendo un zkVM basato su grafi sopra il sistema @ziskvm. Il nostro obiettivo: ripensare l'architettura del provatore dai primi principi per sbloccare migliori prestazioni, portabilità e sicurezza. 🧵

La dimostrazione ZKP sta entrando in un'era "speed-first". Quasi ogni prover ora supporta l'accelerazione GPU (CUDA, Metal, ecc.). Ma l'architettura dietro il caricamento hardware è importante tanto quanto l'hardware grezzo.

Oggi ci sono due approcci principali: - Modalità HAL: stesse chiamate di funzione, diversi backend hardware. - Modalità Grafico: codificare l'intero processo di dimostrazione come un grafo computazionale, quindi ottimizzare e compilare per ogni piattaforma.

La divisione è chiara: - Sistemi AI → Modalità Grafica - La maggior parte dei provatori ZKP → Modalità HAL (per motivi storici, prima CPU) HAL è comodo, ma nasconde la struttura globale del calcolo.

La Modalità Grafica rende l'intero provatore esplicito e ispezionabile, consentendo ottimizzazioni più profonde, esecuzione cross-platform e maggiore sicurezza e auditabilità. Nel prossimo post, condivideremo come questo design plasmi il nostro zkVM basato su grafi e cosa sblocca. ⚡️