Äntligen kom jag mig för att läsa TOPLOC av @PrimeIntellect (). Första tanken är att det är riktigt elegant, ett asymmetriskt verifieringsprotokoll där både kraven på bevisare och verifierare är riktigt billiga. Blev lite besviken över @ezklxyz inte nämndes här

IIRC, ezkl är SOTA för verifierbar inferens, även om det är dyrare och mindre flexibelt när det gäller skalan på modeller som den kan verifiera.