Наконец-то добрался до чтения TOPLOC от @PrimeIntellect (). Первые мысли: это действительно элегантно, асимметричный протокол верификации, где требования как к доказателю, так и к проверяющему действительно дешевы. Был немного разочарован, что @ezklxyz не упомянут здесь.

Если я правильно помню, ezkl является передовым решением для проверяемого вывода, хотя и более дорогим и менее гибким в отношении масштабов моделей, которые он может проверять.