Analisi approfondita del meccanismo di prova di frode Plasma
Plasma, come una delle prime soluzioni di scalabilità Layer 2 di Ethereum, si basa sulla sicurezza fondamentale del meccanismo di prova di frode (Fraud Proofs). Questo meccanismo adotta il paradigma dell'"esecuzione ottimistica": gli operatori della sidechain inviano regolarmente la radice di stato (Merkle Root) alla mainchain, che accetta queste sottomissioni per default, a meno che qualcuno non dimostri la loro invalidità durante il periodo di sfida.
Il processo specifico è il seguente: gli utenti o i nodi di monitoraggio conservano la cronologia completa della sidechain. Quando l'operatore invia un blocco contenente transazioni non valide (ad esempio, doppia spesa o transizioni di stato illegali), qualsiasi partecipante in possesso dei dati pertinenti può presentare una prova di frode durante il periodo di sfida (di solito 7-14 giorni). Questa prova è solitamente una prova di ramo Merkle concisa, che mostra la transizione di stato non valida dalla radice valida precedente alla radice attuale. I contratti intelligenti della mainchain verificano la prova: se valida, viene annullato il blocco non valido, eliminate le sottomissioni successive e confiscato il deposito dell'operatore.
Questo meccanismo riduce significativamente il carico sulla mainchain, gestendo le prove solo in caso di controversia, realizzando un'elevata capacità (teoricamente migliaia di TPS). Il vantaggio sta nella minimizzazione delle ipotesi di fiducia: è sufficiente "almeno un osservatore onesto" per garantire la sicurezza. Tuttavia, il più grande difetto del Plasma classico è il problema della disponibilità dei dati: se l'operatore trattiene in modo malevolo i dati storici, gli utenti non possono costruire prove valide, portando a un potenziale blocco degli asset. Questo limita il suo supporto per i contratti intelligenti generali, successivamente gli Optimistic Rollups hanno risolto questo problema obbligando il caricamento dei dati delle transazioni (Calldata).
In generale, la prova di frode di Plasma ha posto le basi per la sicurezza degli Rollup ottimistici, riflettendo il sottile equilibrio tra "incentivi economici + verifica crittografica" nell'espansione della blockchain.
