Nous construisons un zkVM basé sur des graphes au-dessus du système @ziskvm. Notre objectif : repenser l'architecture du prouveur à partir des premiers principes pour débloquer de meilleures performances, portabilité et sécurité. 🧵

La preuve ZKP entre dans une ère de "priorité à la vitesse". Presque tous les prouveurs prennent désormais en charge l'accélération GPU (CUDA, Metal, etc.). Mais l'architecture derrière le déchargement matériel est tout aussi importante que le matériel brut.

Il existe deux approches principales aujourd'hui : - Mode HAL : mêmes appels de fonction, différentes architectures matérielles. - Mode Graph : encodez l'ensemble du processus de preuve sous forme de graphique computationnel, puis optimisez et compilez par plateforme.

La séparation est claire : - Systèmes d'IA → Mode Graphique - La plupart des prouveurs ZKP → Mode HAL (pour des raisons historiques, axées sur le CPU) HAL est pratique, mais cache la structure globale du calcul.

Le mode Graph rend l'ensemble du prouveur explicite et inspectable, permettant une optimisation plus approfondie, une exécution multiplateforme et une sécurité et une auditabilité renforcées. Dans un prochain article, nous partagerons comment ce design façonne notre zkVM basé sur des graphes et ce qu'il déverrouille. ⚡️