Akhirnya membaca TOPLOC oleh @PrimeIntellect (). Pikiran pertama adalah sangat elegan, protokol verifikasi asimetris di mana persyaratan pembuktian dan verifikator sangat murah. Agak kecewa @ezklxyz tidak disebutkan di sini

IIRC, ezkl adalah SOTA untuk inferensi yang dapat diverifikasi, meskipun lebih mahal, dan kurang fleksibel sehubungan dengan skala model yang dapat diverifikasi.