ZK gör inte Lighter rättvis. Det gör orättvist beteende bevisbart. Här är vad bevisen faktiskt garanterar och, viktigare, vad de inte gör. 🧵

Lighters SNARK-bevis upprätthåller exekveringsintegritet. Givet en vald transaktionsordning och orakelindata måste den resulterande tillståndsövergången följa protokollreglerna, annars misslyckas beviset. Detta förhindrar fabricerade balanser, påhittade positioner och regelbrott.

Men ZK-bevis verifierar endast korrekt utförande av en ordning. De bevisar inte att själva ordningen var rättvis. Sequencern bestämmer fortfarande vilka transaktioner som går in i batchen och i vilken ordning.

Detta innebär att klassisk MEV fortfarande är möjlig. En sequencer kan front-runa, låta en stor order flytta priset, och sedan back-run – allt medan den producerar ett fullt giltigt bevis. Kryptografiskt korrekt betyder inte ekonomiskt rättvis.

ZK kan inte heller garantera att de inkluderas i tid eller att oraklet är noggrann. Om en order försenas, selektivt inkluderas eller utförs med snedvriden orakeldata kan beviset fortfarande verifieras. Detta beror på att beräkningen i sig var korrekt.