ZK не робить Лайтера справедливим. Це робить несправедливу поведінку довестою. Ось що насправді гарантують докази, а що ще важливіше — чого вони не гарантують. 🧵

Докази SNARK від Лайтера забезпечують цілісність виконання. Враховуючи обраний порядок транзакцій і вхідні дані оракула, отриманий перехід стану повинен відповідати правилам протоколу, інакше доказ відбувається. Це запобігає сфабрикованим балансам, вигаданим позиціям і порушенню правил.

Але докази ZK лише перевіряють правильне виконання замовлення. Вони не доводять, що сам порядок був справедливим. Секвенсор все одно вирішує, які транзакції входять у пакет і в якому порядку.

Це означає, що класичний MEV все ще можливий. Секвенсор може зробити фронт-ран, дозволити великому ордеру рухати ціну, а потім робити зворотний — і все це при цьому дає цілком дійсне доказування. Криптографічно коректна не означає економічно справедливість.

ZK також не може гарантувати своєчасне включення чи точність оракула. Якщо замовлення затримується, вибірково включено або виконується за допомогою спотворених даних оракула, доказ все одно може бути перевірений. Це пов'язано з тим, що саме обчислення було правильним.