Estamos construyendo una zkVM basada en grafos sobre el sistema @ziskvm. Nuestro objetivo: replantear la arquitectura de los demostradores desde los primeros principios para desbloquear un mejor rendimiento, portabilidad y seguridad. 🧵

La demostración ZKP está entrando en una era de "velocidad primero". Casi todos los demostradores ahora soportan aceleración de GPU (CUDA, Metal, etc.). Pero la arquitectura detrás de la descarga de hardware importa tanto como el hardware en bruto.

Hoy en día existen dos enfoques principales: - Modo HAL: mismas llamadas a funciones, diferentes backends de hardware. - Modo Grafo: codifica todo el proceso de demostración como un grafo computacional, luego optimiza y compila por plataforma.

La división es clara: - Sistemas de IA → Modo Gráfico - La mayoría de los probadores ZKP → Modo HAL (por razones históricas, CPU primero) HAL es conveniente, pero oculta la estructura global de la computación.

El Modo Grafo hace que todo el demostrador sea explícito e inspeccionable, permitiendo una optimización más profunda, ejecución multiplataforma y mayor seguridad y auditabilidad. En una próxima publicación, compartiremos cómo este diseño moldea nuestro zkVM basado en gráficos y qué desbloquea. ⚡️