În cele din urmă am ajuns să citesc TOPLOC de @PrimeIntellect (). Primul gând este că este foarte elegant, un protocol de verificare asimetric în care atât cerințele de verificare, cât și cele de verificare sunt foarte ieftine. Am fost puțin dezamăgit @ezklxyz nu a fost menționat aici

IIRC , ezkl este SOTA pentru inferență verificabilă, deși mai scump și mai puțin flexibil în ceea ce privește scara modelelor pe care le poate verifica.