Um ótimo aplicativo de IA é tão poderoso quanto suas inferências e saídas comprovadas. Então, você deve estar se perguntando: como verifico meu modelo de IA com o DeepProve? Veja como funciona. 🧵

2/ O DeepProve começa a verificar um modelo de IA (a partir de um arquivo ONYX) com quantização. Durante esse pré-processamento, que é uma configuração única, ele converte os pontos flutuantes do modelo em números inteiros. Ele também gera chaves de provador/verificador.

3/ O DeepProve executa dois processos em paralelo: 1. A inferência do modelo de IA, mas com números inteiros para cada um dos nós da rede neural ("rastreamento de execução") 2. Para cada nó, ele prova que o cálculo foi feito corretamente e, em seguida, o converte em uma única prova ZK sucinta.

4/ Em seguida, a verificação é concluída usando: → A entrada e saída do modelo → O compromisso do modelo (que representa exclusivamente o modelo sem revelar dados subjacentes) → Chaves de verificação

5/ Em termos mais simples, o DeepProve funciona assim: 1. Conclua uma configuração única 2. Gere provas 3. Verifique as inferências de IA em qualquer lugar