ZK tidak membuat Lighter adil. Itu membuat perilaku tidak adil dapat dibuktikan. Inilah yang sebenarnya dijamin oleh bukti-bukti dan yang lebih penting apa yang tidak. 🧵

Bukti SNARK Lighter menegakkan integritas eksekusi. Mengingat urutan transaksi yang dipilih dan input oracle, transisi status yang dihasilkan harus mengikuti aturan protokol, atau bukti gagal. Ini mencegah keseimbangan yang dibuat-buat, posisi yang diciptakan, dan eksekusi yang melanggar aturan.

Tetapi bukti ZK hanya memverifikasi eksekusi pesanan yang benar. Mereka tidak membuktikan bahwa perintah itu sendiri adil. Sequencer masih memutuskan transaksi mana yang masuk ke batch dan dalam urutan apa.

Ini berarti MEV klasik masih memungkinkan. Sequencer dapat melakukan front-run, membiarkan pesanan besar memindahkan harga, lalu melakukan back-run — sambil menghasilkan bukti yang sangat valid. Kriptografis benar tidak berarti adil secara ekonomi.

ZK juga tidak dapat menjamin penyertaan tepat waktu atau akurasi oracle. Jika pesanan ditunda, disertakan secara selektif, atau dieksekusi menggunakan data oracle yang miring, bukti masih dapat memverifikasi. Ini karena perhitungannya sendiri benar.