Konečně jsem se dostal ke čtení TOPLOC od @PrimeIntellect (). První myšlenka je jeho opravdu elegantní , asymetrický ověřovací protokol, kde jsou požadavky na dokazovatel i ověřovač opravdu levné. Byl jsem trochu zklamaný@ezklxyz zde nebyl zmíněn

IIRC , ezkl je SOTA pro ověřitelné odvozování, i když dražší a méně flexibilní s ohledem na rozsah modelů, které může ověřit.