Una grande app AI è potente solo quanto le sue inferenze e i suoi output provati. Quindi, potresti chiederti: come posso verificare il mio modello AI con DeepProve? Ecco come funziona. 🧵

2/ DeepProve inizia a verificare un modello AI (da un file ONYX) con quantizzazione. Durante questa fase di preprocessing, che è una configurazione una tantum, converte i punti in virgola mobile del tuo modello in interi. Genera anche chiavi per il provatore/verificatore.

3/ DeepProve esegue quindi due processi in parallelo: 1. L'inferenza del modello AI ma con interi per ciascun nodo della rete neurale ("traccia di esecuzione") 2. Per ciascun nodo, dimostra che il calcolo è stato eseguito correttamente, quindi lo converte in una singola, succinta prova ZK.

4/ Successivamente, la verifica viene completata utilizzando: → L'input e l'output del modello → L'impegno del modello (che rappresenta unicamente il modello senza rivelare i dati sottostanti) → Chiavi di verifica

5/ In termini più semplici, DeepProve funziona così: 1. Completa una configurazione una tantum 2. Genera prove 3. Verifica le inferenze AI ovunque