ZK không làm cho Lighter công bằng. Nó làm cho hành vi không công bằng có thể chứng minh được. Dưới đây là những gì các chứng minh thực sự đảm bảo và quan trọng hơn là những gì chúng không đảm bảo. 🧵

Chứng minh SNARK của Lighter đảm bảo tính toàn vẹn của việc thực thi. Với một thứ tự giao dịch đã chọn và các đầu vào oracle, sự chuyển trạng thái kết quả phải tuân theo các quy tắc của giao thức, nếu không thì chứng minh sẽ thất bại. Điều này ngăn chặn việc tạo ra số dư giả, vị trí tưởng tượng và việc thực thi vi phạm quy tắc.

Nhưng các chứng minh ZK chỉ xác minh việc thực hiện đúng một thứ tự. Chúng không chứng minh rằng thứ tự đó là công bằng. Người sắp xếp vẫn quyết định giao dịch nào vào lô và theo thứ tự nào.

Điều này có nghĩa là MEV cổ điển vẫn có thể xảy ra. Một trình sắp xếp có thể chạy trước, để một lệnh lớn làm thay đổi giá, sau đó chạy sau — tất cả trong khi tạo ra một bằng chứng hoàn toàn hợp lệ. Đúng về mặt mật mã không có nghĩa là công bằng về mặt kinh tế.

ZK cũng không thể đảm bảo việc đưa vào kịp thời hoặc độ chính xác của oracle. Nếu một lệnh bị trì hoãn, được đưa vào một cách chọn lọc, hoặc được thực hiện bằng cách sử dụng dữ liệu oracle bị lệch, thì chứng minh vẫn có thể xác minh. Điều này là do phép tính tự nó là chính xác.