Mergulho profundo de fim de semana em algumas pilhas tecnológicas impressionantes. Já teve dificuldades em trazer verificação de IA para a cadeia sem comprometer a eficiência? Existe uma solução interessante que vem ganhando força recentemente e que muda completamente o jogo.

Uma plataforma focada em desenvolvedores acaba de lançar o jstprove—uma ferramenta CLI que gerencia todo o fluxo de trabalho do início ao fim. O fluxo de trabalho é simples: forneça o seu modelo ONNX, e a ferramenta orquestra tudo: quantização do modelo, compilação do circuito e, por fim, gera provas de conhecimento zero prontas para verificação na cadeia.

O que torna essa abordagem atraente é o ângulo sem confiança. Você não depende de intermediários nem pede à rede que confie cegamente nos seus resultados de computação. Em vez disso, você gera provas criptográficas que provam matematicamente que o seu modelo de IA foi executado exatamente como planejado. Essa verificação acontece de forma determinística.

Para protocolos DeFi, isso abre portas—imagine garantias de precisão de oráculos, modelos preditivos para limites de liquidação ou avaliação de risco impulsionada por IA, tudo sem sacrificar a ausência de confiança. A camada de abstração que eles construíram significa que os desenvolvedores não precisam de conhecimentos profundos em ZK para implementar isso. Basta modelos ONNX e um comando CLI.