Estamos construyendo un zkVM basado en gráficos sobre el sistema @ziskvm. Nuestro objetivo: repensar la arquitectura del probador desde los primeros principios para desbloquear un mejor rendimiento, portabilidad y seguridad. 🧵

La prueba ZKP está entrando en una era de "prioridad a la velocidad". Casi todos los probadores ahora soportan aceleración por GPU (CUDA, Metal, etc.). Pero la arquitectura detrás de la descarga de hardware es tan importante como el hardware en sí.

Hoy en día hay dos enfoques principales: - Modo HAL: mismas llamadas a funciones, diferentes backends de hardware. - Modo Gráfico: codificar todo el proceso de prueba como un gráfico computacional, luego optimizar y compilar por plataforma.

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

El Modo Gráfico hace que todo el probador sea explícito e inspeccionable, lo que permite una optimización más profunda, ejecución multiplataforma y una mayor seguridad y auditabilidad. En la próxima publicación, compartiremos cómo este diseño da forma a nuestro zkVM basado en gráficos y lo que desbloquea. ⚡️