Dlaczego udowodnienie, że model działał poprawnie, wciąż trwa dłużej niż jego uruchomienie?

Dowody zerowej wiedzy dla wnioskowania ML mogą potwierdzić, że model wyprodukował dany wynik z danego wejścia bez ujawniania wag. Umożliwiłoby to aplikacjom krypto konsumowanie wyników AI w sposób niewymagający zaufania, bez polegania na TEE ani reputacji operatora. Problem leży w wydajności: generowanie dowodu ZK dla modelu w skali GPT-2 zajmuje kilkadziesiąt minut; w skali GPT-3 mierzone jest w godzinach. Arytmetyka zmiennoprzecinkowa w transformatorach kompiluje się nieefektywnie do obwodów arytmetycznych, a mechanizm uwagi jest szczególnie kosztowny do udowodnienia. Atestacja oparta na TEE łata tę lukę, ale wymaga zaufania do oprogramowania układowego dostawcy sprzętu, a nie do matematyki. Dopóki generowanie dowodów nie spadnie o dwa do trzech rzędów wielkości, każdy weryfikowalny prymityw AI w krypto wymienia jedno założenie zaufania na inne.