ZK не делает Lighter справедливым. Он делает недобросовестное поведение доказуемым. Вот что на самом деле гарантируют доказательства и, что более важно, чего они не гарантируют. 🧵

Доказательства SNARK от Lighter обеспечивают целостность выполнения. С учетом выбранного порядка транзакций и входных данных оракула, результирующий переход состояния должен соответствовать правилам протокола, иначе доказательство не пройдет. Это предотвращает подделку балансов, вымышленные позиции и выполнение с нарушением правил.

Но ZK доказательства только подтверждают правильное выполнение порядка. Они не доказывают, что сам порядок был справедливым. Секвенсер все еще решает, какие транзакции войдут в пакет и в каком порядке.

Это означает, что классический MEV все еще возможен. Секвенсор может выполнить фронт-ран, позволить крупному ордеру изменить цену, а затем выполнить бэк-ран — все это при создании совершенно действительного доказательства. Криптографически корректно не означает экономически справедливо.

ZK также не может гарантировать своевременное включение или точность оракула. Если заказ задерживается, включается выборочно или выполняется с использованием искаженных данных оракула, доказательство все равно может быть проверено. Это связано с тем, что вычисление само по себе было правильным.