O aplicație AI grozavă este la fel de puternică ca și inferențele și rezultatele sale dovedite. Deci, s-ar putea să vă întrebați: cum îmi verific modelul AI cu DeepProve? Iată cum funcționează. 🧵

2/ DeepProve începe să verifice un model AI (dintr-un fișier ONYX) cu cuantizare. În timpul acestei preprocesări, care este o configurare unică, convertește virgulă mobilă a modelului în numere întregi. De asemenea, generează chei de probare/verificare.

3/ DeepProve rulează apoi două procese în paralel: 1. Inferența modelului AI, dar cu numere întregi pentru fiecare dintre nodurile rețelei neuronale ("trace de execuție") 2. Pentru fiecare nod, dovedește că calculul a fost făcut corect, apoi îl convertește într-o singură demonstrație ZK succintă.

4/ Apoi, verificarea este finalizată utilizând: → Intrarea și ieșirea modelului → Angajamentul modelului (care reprezintă în mod unic modelul fără a dezvălui datele subiacente) → Chei de verificare

5/ În termeni mai simpli, DeepProve funcționează astfel: 1. Finalizați o configurare unică 2. Generați dovezi 3. Verificați inferențele AI oriunde