ZK ne rend pas Lighter équitable. Cela rend les comportements injustes prouvables. Voici ce que les preuves garantissent réellement et, plus important encore, ce qu'elles ne garantissent pas. 🧵

Les preuves SNARK de Lighter garantissent l'intégrité de l'exécution. Étant donné un ordre de transaction choisi et des entrées d'oracle, la transition d'état résultante doit suivre les règles du protocole, sinon la preuve échoue. Cela empêche les soldes fabriqués, les positions inventées et les exécutions enfreignant les règles.

Mais les preuves ZK ne vérifient que l'exécution correcte d'un ordre. Elles ne prouvent pas que l'ordre lui-même était équitable. Le séquenceur décide toujours quelles transactions entrent dans le lot et dans quel ordre.

Cela signifie que le MEV classique est toujours possible. Un séquenceur peut devancer, laisser un gros ordre faire bouger le prix, puis revenir en arrière — tout en produisant une preuve parfaitement valide. Correct sur le plan cryptographique ne signifie pas équitable sur le plan économique.

ZK ne peut également pas garantir une inclusion rapide ou l'exactitude des oracles. Si un ordre est retardé, inclus de manière sélective ou exécuté en utilisant des données d'oracle biaisées, la preuve peut toujours être vérifiée. C'est parce que le calcul lui-même était correct.