W końcu zabrałem się za czytanie TOPLOC autorstwa @PrimeIntellect (). Pierwsze wrażenie jest takie, że jest to naprawdę elegancki, asymetryczny protokół weryfikacji, w którym wymagania zarówno dowodzącego, jak i weryfikatora są naprawdę tanie. Byłem trochę rozczarowany, że @ezklxyz nie zostało tutaj wspomniane.

O ile pamiętam, ezkl jest SOTA dla weryfikowalnego wnioskowania, chociaż jest droższy i mniej elastyczny pod względem skali modeli, które może weryfikować.