ZK maakt Lighter niet eerlijk. Het maakt oneerlijk gedrag bewijsbaar. Hier is wat de bewijzen daadwerkelijk garanderen en belangrijker nog, wat ze niet doen. 🧵

De SNARK-bewijzen van Lighter handhaven de integriteit van de uitvoering. Gegeven een gekozen transactievolgorde en oracle-invoeren, moet de resulterende staatsoverdracht de protocolregels volgen, anders faalt het bewijs. Dit voorkomt gefabriceerde saldi, uitgevonden posities en regelbrekende uitvoering.

Maar ZK-bewijzen verifiëren alleen de correcte uitvoering van een volgorde. Ze bewijzen niet dat de volgorde zelf eerlijk was. De sequencer beslist nog steeds welke transacties de batch binnenkomen en in welke volgorde.

Dit betekent dat klassieke MEV nog steeds mogelijk is. Een sequencer kan front-runnen, een grote order de prijs laten bewegen, en dan back-runnen — allemaal terwijl hij een perfect geldig bewijs produceert. Cryptografisch correct betekent niet economisch eerlijk.

ZK kan ook geen tijdige opname of nauwkeurigheid van de oracle garanderen. Als een bestelling vertraagd is, selectief is opgenomen of is uitgevoerd met vervormde oracle-gegevens, kan het bewijs nog steeds worden geverifieerd. Dit komt omdat de berekening zelf correct was.