终于有时间阅读 @PrimeIntellect 的 TOPLOC 了（）。 我的第一印象是它真的很优雅，这是一个不对称的验证协议，证明者和验证者的要求都非常便宜。 有点失望的是这里没有提到 @ezklxyz。

如果我没记错的话，ezkl 是可验证推理的最先进技术，尽管成本更高，并且在可以验证的模型规模方面灵活性较差。