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

IIRC , ezkl - це SOTA для верифікованого висновку, хоча і дорожчий, і менш гнучкий щодо масштабу моделей, які він може перевірити.