Fikk endelig lest TOPLOC av @PrimeIntellect (). Første tanker er at det er veldig elegant, en asymmetrisk verifiseringsprotokoll der både beviser- og verifikatorkravene er veldig billige. Var litt skuffet over at @ezklxyz ikke ble nevnt her

IIRC , ezkl er SOTA for verifiserbar slutning, selv om det er dyrere og mindre fleksibelt med hensyn til skalaen på modeller den kan verifisere.