ZK 並不使 Lighter 公平。 它使不公平的行為可證明。 以下是證明實際上保證的內容，更重要的是它們不保證的內容。 🧵

Lighter 的 SNARK 證明強制執行完整性。 在選定的交易排序和 oracle 輸入下，產生的狀態轉換必須遵循協議規則，否則證明將失敗。 這防止了虛構的餘額、虛構的頭寸和違規執行。

但 ZK 證明僅驗證排序的正確執行。 它們並不證明排序本身是公平的。 排序者仍然決定哪些交易進入批次以及以何種順序。

這意味著經典的 MEV 仍然是可能的。 一個排序者可以進行前跑，讓一個大訂單影響價格，然後再進行後跑——同時產生一個完全有效的證明。 在密碼學上正確並不意味著在經濟上公平。

ZK 也無法保證及時納入或預言機的準確性。 如果訂單延遲、選擇性納入或使用偏差的預言機數據執行，證明仍然可以驗證。 這是因為計算本身是正確的。