ZKはライターを公平にしていません。 不正行為を証明可能にします。 証明が実際に保証していることと、何を保証しないかを説明します。🧵

ライターのSNARKプルーフは実行の完全性を強制します。 選択されたトランザクションの順序付けとオラクル入力が与えられた場合、その結果得られる状態遷移はプロトコルのルールに従う必要があり、そうでなければ証明は失敗します。 これにより、偽造されたバランスや作られた局面、ルール違反の実行が防げます。

しかしZK証明は順序の正しい実行を検証するだけです。 しかし、その命令自体が公正だったことを証明するものではありません。 シーケンサーはどのトランザクションをどの順番でバッチに入れるかを決定します。

つまり、クラシックなMEVもまだ可能だということです。 シーケンサーは先行して大口注文の価格を動かし、その後逆に行いながら、完全に有効な証明を生成できます。 暗号学的に正しいことは経済的に公平という意味ではありません。

ZKはまた、タイムリーな含みやオラクルの正確性を保証できません。 注文が遅延したり、選択的に含められたり、歪んだオラクルデータを使って実行された場合でも、証明は検証可能です。 これは計算自体が正しかったからです。