ZK non rende Lighter equo. Rende provabile il comportamento sleale. Ecco cosa garantiscono effettivamente le prove e, cosa più importante, cosa non garantiscono. 🧵

Le prove SNARK di Lighter garantiscono l'integrità dell'esecuzione. Data un'ordinazione delle transazioni scelta e gli input dell'oracolo, la transizione di stato risultante deve seguire le regole del protocollo, altrimenti la prova fallisce. Questo previene saldi fabbricati, posizioni inventate e esecuzioni che violano le regole.

Ma le prove ZK verificano solo l'esecuzione corretta di un ordinamento. Non dimostrano che l'ordinamento stesso fosse equo. Il sequencer decide ancora quali transazioni entrano nel lotto e in quale ordine.

Questo significa che il MEV classico è ancora possibile. Un sequencer può fare front-running, lasciare che un grande ordine muova il prezzo, poi fare back-running — il tutto mentre produce una prova perfettamente valida. Corretto dal punto di vista crittografico non significa equo dal punto di vista economico.

ZK non può garantire l'inclusione tempestiva o l'accuratezza dell'oracolo. Se un ordine è ritardato, incluso selettivamente o eseguito utilizzando dati dell'oracolo distorti, la prova può comunque essere verificata. Questo perché il calcolo stesso era corretto.