ZK não torna o Lighter justo. Torna o comportamento injusto provável. Aqui está o que as provas realmente garantem e, mais importante, o que elas não garantem. 🧵

As provas SNARK do Lighter garantem a integridade da execução. Dada uma ordem de transação escolhida e entradas de oráculo, a transição de estado resultante deve seguir as regras do protocolo, ou a prova falha. Isto previne saldos fabricados, posições inventadas e execuções que quebram as regras.

Mas as provas ZK apenas verificam a execução correta de uma ordenação. Elas não provam que a ordenação em si foi justa. O sequenciador ainda decide quais transações entram no lote e em que ordem.

Isto significa que o MEV clássico ainda é possível. Um sequenciador pode fazer front-running, deixar uma grande ordem mover o preço, e depois fazer back-running — tudo enquanto produz uma prova perfeitamente válida. Corretamente criptograficamente não significa economicamente justo.

ZK também não pode garantir inclusão oportuna ou precisão do oráculo. Se uma ordem for atrasada, incluída seletivamente ou executada usando dados de oráculo distorcidos, a prova ainda pode ser verificada. Isto porque o cálculo em si estava correto.