Construim un zkVM bazat pe grafuri peste sistemul @ziskvm. Scopul nostru: să regândim arhitectura Prover de la principiile de bază pentru a debloca performanță, portabilitate și securitate mai bune. 🧵

Demonstrarea ZKP intră într-o eră "viteză pe primul loc". Aproape fiecare demonstrer suportă acum accelerarea GPU (CUDA, Metal etc.). Dar arhitectura din spatele decarcării hardware-ului contează la fel de mult ca hardware-ul brut.

Astăzi există două abordări principale: - Modul HAL: aceleași apeluri de funcție, backend-uri hardware diferite. - Modul Graf: codifică întregul proces de demonstrare ca graf computațional, apoi optimizează și compilează pe platformă.

Diviziunea este clară: - Sisteme AI → Modul Graf - Majoritatea probelor ZKP → modul HAL (din motive istorice, CPU-ul mai întâi) HAL este convenabil, dar ascunde structura globală a calculului.

Modul Graf face ca întregul demonstrer să fie explicit și inspectabil, permițând o optimizare mai profundă, execuție cross-platform și securitate și auditabilitate mai puternice. În postarea următoare, vom împărtăși cum acest design modelează zkVM-ul nostru bazat pe grafice și ce deblochează. ⚡️