Een geweldige AI-app is slechts zo krachtig als de bewezen afleidingen en uitkomsten. Dus je vraagt je misschien af: hoe verifieer ik mijn AI-model met DeepProve? Zo werkt het. 🧵

2/ DeepProve begint met het verifiëren van een AI-model (uit een ONYX-bestand) met kwantisatie. Tijdens deze preprocessing, die eenmalig is, converteert het de drijvende punten van je model naar gehele getallen. Het genereert ook prover/verifier-sleutels.

3/ DeepProve voert vervolgens twee processen parallel uit: 1. De AI-modelinferentie, maar met gehele getallen voor elk van de knooppunten van het neurale netwerk ("uitvoeringsspoor") 2. Voor elk knooppunt bewijst het dat de berekening correct is uitgevoerd en converteert het vervolgens naar een enkele, beknopte ZK-bewijs.

4/ Vervolgens wordt de verificatie voltooid met: → De invoer en uitvoer van het model → De toewijding van het model (die het model uniek vertegenwoordigt zonder onderliggende gegevens te onthullen) → Verificatiet sleutels

5/ In eenvoudigere termen werkt DeepProve als volgt: 1. Voltooi een eenmalige setup 2. Genereer bewijzen 3. Verifieer AI-inferenties overal