終於有時間閱讀 @PrimeIntellect 的 TOPLOC 了 ()。 第一印象是它真的很優雅，這是一種不對稱的驗證協議，證明者和驗證者的要求都非常便宜。 有點失望的是這裡沒有提到 @ezklxyz。

如果我沒記錯，ezkl 是可驗證推理的最先進技術，雖然成本較高，且在能夠驗證的模型規模方面靈活性較低。