Eine großartige AI-App ist nur so leistungsfähig wie ihre nachgewiesenen Inferenz und Ausgaben. Sie fragen sich vielleicht: Wie verifiziere ich mein AI-Modell mit DeepProve? So funktioniert es. 🧵

2/ DeepProve beginnt mit der Verifizierung eines KI-Modells (aus einer ONYX-Datei) mit Quantisierung. Während dieser Vorverarbeitung, die eine einmalige Einrichtung ist, konvertiert es die Gleitkommazahlen Ihres Modells in Ganzzahlen. Es generiert auch Beweis-/Verifizierungsschlüssel.

3/ DeepProve führt dann zwei Prozesse parallel aus: 1. Die KI-Modellinferenz, jedoch mit Ganzzahlen für jeden Knoten des neuronalen Netzwerks ("Ausführungstrace") 2. Für jeden Knoten wird bewiesen, dass die Berechnung korrekt durchgeführt wurde, und dann wird sie in einen einzigen, prägnanten ZK-Beweis umgewandelt.

4/ Als Nächstes wird die Verifizierung abgeschlossen mit: → Den Eingaben und Ausgaben des Modells → Dem Engagement des Modells (das das Modell einzigartig repräsentiert, ohne die zugrunde liegenden Daten offenzulegen) → Verifizierungsschlüsseln

5/ Einfacher ausgedrückt funktioniert DeepProve so: 1. Einmalige Einrichtung abschließen 2. Nachweise generieren 3. KI-Inferenzen überall verifizieren