ZK 并没有让 Lighter 公平。 它使不公平行为可证明。 以下是证明实际上保证的内容，更重要的是它们不保证的内容。 🧵

Lighter 的 SNARK 证明确保执行的完整性。 在选择的交易排序和预言机输入下，生成的状态转换必须遵循协议规则，否则证明将失败。 这防止了虚构的余额、虚构的位置和违反规则的执行。

但是 ZK 证明仅验证了排序的正确执行。 它们并不证明排序本身是公平的。 排序器仍然决定哪些交易进入批次以及以什么顺序。

这意味着经典的 MEV 仍然是可能的。 一个排序器可以进行前跑，让一个大订单影响价格，然后再进行后跑——所有这些都可以生成一个完全有效的证明。 在密码学上正确并不意味着在经济上公平。

ZK 也无法保证及时纳入或预言机的准确性。 如果订单被延迟、选择性纳入或使用偏差的预言机数据执行，证明仍然可以验证。 这是因为计算本身是正确的。