ZK não torna o Lighter justo. Isso torna o comportamento injusto comprovável. Veja o que as provas realmente garantem e, mais importante, o que elas não garantem. 🧵

As provas SNARK de 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. Isso impede balances fabricados, posições inventadas e execuções que quebram regras.

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

Isso significa que o MEV clássico ainda é possível. Um sequenciador pode fazer um front run, deixar uma ordem grande mover o preço e depois backrun — tudo isso enquanto produz uma prova perfeitamente válida. Criptograficamente correto não significa economicamente justo.

A 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 oráculos enviesados, a prova ainda pode verificar. Isso porque o cálculo em si estava correto.