Estamos a construir um zkVM baseado em grafo em cima do sistema @ziskvm. O nosso objetivo: repensar a arquitetura do provador a partir dos primeiros princípios para desbloquear melhor desempenho, portabilidade e segurança. 🧵

A prova ZKP está a entrar numa era de "prioridade à velocidade". Quase todos os provadores agora suportam aceleração por GPU (CUDA, Metal, etc.). Mas a arquitetura por trás da descarga de hardware é tão importante quanto o hardware bruto.

Existem duas abordagens principais hoje: - Modo HAL: mesmas chamadas de função, diferentes backends de hardware. - Modo Gráfico: codificar todo o processo de prova como um gráfico computacional, depois otimizar e compilar por plataforma.

A divisão é clara: - Sistemas de IA → Modo Gráfico - A maioria dos provadores ZKP → Modo HAL (por razões históricas, priorizando CPU) O HAL é conveniente, mas oculta a estrutura global da computação.

O Modo Gráfico torna todo o provador explícito e inspecionável, permitindo uma otimização mais profunda, execução multiplataforma e maior segurança e auditabilidade. No próximo post, iremos compartilhar como este design molda o nosso zkVM baseado em gráfico e o que ele desbloqueia. ⚡️