ZK gjør ikke Lighter rettferdig. Det gjør urettferdig oppførsel bevisbar. Her er hva bevisene faktisk garanterer, og enda viktigere, hva de ikke gjør. 🧵

Lighters SNARK-bevis håndhever utførelsesintegritet. Gitt en valgt transaksjonsrekkefølge og orakelinput, må den resulterende tilstandsovergangen følge protokollreglene, ellers mislykkes beviset. Dette forhindrer fabrikerte balanser, oppdiktede posisjoner og regelbrudd.

Men ZK-bevis verifiserer bare korrekt utførelse av en ordre. De beviser ikke at selve ordren var rettferdig. Sekvenseren bestemmer fortsatt hvilke transaksjoner som kommer inn i batchen og i hvilken rekkefølge.

Dette betyr at klassisk MEV fortsatt er mulig. En sequencer kan frontløpe, la en stor ordre flytte prisen, og deretter tilbakeløpe — alt mens han produserer et fullt gyldig bevis. Kryptografisk korrekt betyr ikke økonomisk rettferdig.

ZK kan heller ikke garantere tidsriktig inkludering eller orakelnøyaktighet. Hvis en ordre blir forsinket, selektivt inkludert eller utført med skjev orakeldata, kan beviset fortsatt verifiseres. Dette er fordi selve beregningen var korrekt.