Um grande aplicativo de IA é tão poderoso quanto suas inferências e resultados comprovados. Então, você pode estar se perguntando: como posso verificar meu modelo de IA com o DeepProve? Aqui está como funciona. 🧵

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

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

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 os dados subjacentes) → Chaves de verificação

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