ZK, Lighter'ı adil yapmıyor. Bu, haksız davranışı kanıtlanabilir kılar. İşte kanıtların aslında neyi garanti ettiğini ve daha da önemlisi neyi garanti etmediğini gösteriyor. 🧵

Lighter'ın SNARK kanıtları yürütme bütünlüğünü sağlar. Seçilen işlem sırası ve oracle girdileri verildiğinde, ortaya çıkan durum geçişi protokol kurallarına uymalıdır, aksi takdirde kanıt başarısız olur. Bu, uydurma dengeleri, uydurma pozisyonları ve kural ihlal yapmayı engeller.

Ama ZK kanıtları sadece bir siparişin doğru şekilde yürütüldüğünü doğrular. Siparişin kendisinin adil olduğunu kanıtlamıyorlar. Sequencer hâlâ hangi işlemlerin toplu hale gireceğine ve hangi sırayla gireceğine karar verir.

Bu da klasik MEV'nin hâlâ mümkün olduğu anlamına geliyor. Bir sequencer ön çalıştırabilir, büyük bir siparişin fiyatı kaydırmasına izin verebilir, sonra geri çalıştırabilir — tüm bunları tamamen geçerli bir kanıt ürederken. Kriptografik olarak doğru, ekonomik açıdan adil olduğu anlamına gelmez.

ZK ayrıca zamanında dahil edilmeyi veya kehanet doğruluğunu garanti edemez. Bir emir geciktirilmiş, seçici olarak dahil edilmiş veya çarpık kehanet verileri kullanılarak yürütülmüş durumda, kanıt yine de doğrulanabilir. Bunun nedeni, hesaplamanın kendisinin doğru olmasıdır.