ZK nie sprawia, że Lighter jest sprawiedliwy. Sprawia, że nieuczciwe zachowanie jest udowadnialne. Oto co właściwie gwarantują dowody, a co ważniejsze, czego nie gwarantują. 🧵

Dowody SNARK Lightera zapewniają integralność wykonania. Biorąc pod uwagę wybraną kolejność transakcji i dane wejściowe z oracle, wynikowa zmiana stanu musi przestrzegać zasad protokołu, w przeciwnym razie dowód się nie powodzi. Zapobiega to fałszywym saldom, wymyślonym pozycjom i łamaniu zasad wykonania.

Jednak dowody ZK tylko weryfikują poprawne wykonanie porządku. Nie dowodzą, że sam porządek był sprawiedliwy. Sekwencer nadal decyduje, które transakcje wchodzą do partii i w jakiej kolejności.

Oznacza to, że klasyczny MEV jest nadal możliwy. Sekwencer może przeprowadzić front-running, pozwolić dużemu zleceniu wpłynąć na cenę, a następnie przeprowadzić back-running — wszystko to przy jednoczesnym generowaniu doskonale ważnego dowodu. Kryptograficznie poprawne nie oznacza ekonomicznie sprawiedliwe.

ZK również nie może zagwarantować terminowego włączenia ani dokładności orakla. Jeśli zamówienie jest opóźnione, selektywnie włączone lub zrealizowane przy użyciu zniekształconych danych orakla, dowód nadal może być weryfikowany. Dzieje się tak, ponieważ sama obliczenia były poprawne.