Estamos construindo um zkVM baseado em grafos sobre o sistema @ziskvm. Nosso objetivo: repensar a arquitetura do prover a partir dos princípios fundamentais para desbloquear melhor desempenho, portabilidade e segurança. 🧵

A prova ZKP está entrando em uma era de "velocidade em primeiro lugar". Quase todo provador agora suporta aceleração de GPU (CUDA, Metal, etc.). Mas a arquitetura por trás do descarregamento de hardware importa tanto quanto o hardware bruto.

Hoje em dia, existem duas abordagens principais: - Modo HAL: mesmas chamadas de função, backends de hardware diferentes. - Modo Grafo: codifica todo o processo de prova como um grafo computacional, depois otimiza e compila por plataforma.

A divisão é clara: - Sistemas de IA → Modo Grafo - A maioria dos provadores ZKP → Modo HAL (por razões históricas, CPU em primeiro lugar) O HAL é conveniente, mas esconde a estrutura global da computação.

O Modo Grafo torna todo o provador explícito e inspecionável, permitindo otimização mais profunda, execução multiplataforma e maior segurança e auditoria. No próximo post, vamos compartilhar como esse design molda nosso zkVM baseado em grafos e o que ele desbloqueia. ⚡️