Eindelijk de tijd genomen om TOPLOC te lezen door @PrimeIntellect (). Mijn eerste gedachten zijn dat het echt elegant is, een asymmetrisch verificatieprotocol waarbij de vereisten voor zowel de bewijzer als de verifier echt goedkoop zijn. Was een beetje teleurgesteld dat @ezklxyz hier niet werd genoemd.

Als ik me goed herinner, is ezkl SOTA voor verifieerbare inferentie, hoewel het duurder is en minder flexibel met betrekking tot de schaal van modellen die het kan verifiëren.