Świetna aplikacja AI jest tak potężna, jak jej udowodnione wnioski i wyniki. Więc możesz się zastanawiać: jak mogę zweryfikować mój model AI za pomocą DeepProve? Oto jak to działa. 🧵

2/ DeepProve zaczyna weryfikować model AI (z pliku ONYX) z kwantyzacją. Podczas tego wstępnego przetwarzania, które jest jednorazową konfiguracją, konwertuje wartości zmiennoprzecinkowe twojego modelu na liczby całkowite. Generuje również klucze dowodzącego/weryfikującego.

3/ DeepProve następnie uruchamia dwa procesy równolegle: 1. Wnioskowanie modelu AI, ale z liczbami całkowitymi dla każdego z węzłów sieci neuronowej ("ślad wykonania") 2. Dla każdego węzła udowadnia, że obliczenia zostały wykonane poprawnie, a następnie przekształca to w pojedynczy, zwięzły dowód ZK.

4/ Następnie weryfikacja jest zakończona przy użyciu: → Wejścia i wyjścia modelu → Zobowiązania modelu (które unikalnie reprezentuje model bez ujawniania danych źródłowych) → Kluczy weryfikacyjnych

5/ Mówiąc prościej, DeepProve działa w ten sposób: 1. Wykonaj jednorazową konfigurację 2. Generuj dowody 3. Weryfikuj wnioski AI wszędzie