Ho studiato il nuovo lavoro di @VitalikButerin sul ritorno del Plasma e ho utilizzato registri simili a UTXO per implementare il meccanismo del “gioco di uscita”, che ha suscitato l’interesse dell’autore. L'autore ritiene che Vitalik stia anche guidando il mercato a esplorare nella direzione di ZK+Plasma per evitare che il mercato rimanga nella fase di Rollup.

1) Il motivo per cui la catena Plasma è adatta agli scenari di pagamento è che ha un'elevata scalabilità e bassi costi di transazione. La catena Plasma riduce il carico sulla catena principale esternalizzando parte delle transazioni alla catena laterale, ottenendo così un throughput delle transazioni più elevato. Allo stesso tempo, la catena Plasma adotta un modello simile a UTXO per garantire la sicurezza e l'accuratezza del registro, rendendo le transazioni di pagamento più sicure e affidabili.

2) La modalità operativa dello scenario di pagamento Plasma si basa sul modello simile a UTXO. Gli utenti prima bloccano i fondi in un contratto sulla catena principale, quindi effettuano transazioni veloci ed economiche sulla catena laterale creando canali Plasma. Le transazioni che avvengono all'interno del canale non vengono inviate alla catena principale in tempo reale. Invece, quando il canale viene chiuso, lo stato finale viene inviato alla catena principale per il regolamento. Questo metodo garantisce un rendimento elevato e un basso costo dei pagamenti.

3) Il meccanismo del gioco di uscita è molto importante per Plasma perché risolve i problemi di sicurezza nelle sidechain. Il meccanismo del gioco di uscita consente agli utenti di uscire in sicurezza dalla catena laterale e mantenere il corretto stato delle risorse quando viene rilevato un comportamento anomalo nella catena laterale. Questo meccanismo garantisce la sicurezza delle risorse degli utenti e impedisce agli autori di reati di manipolare lo stato delle risorse della catena laterale.

4) La catena del plasma è difficile da integrare nello stato senza proprietario di EVM, principalmente a causa delle limitazioni apportate dal modello simile a UTXO. Poiché l'obiettivo progettuale della catena Plasma è raggiungere un'elevata scalabilità e bassi costi di transazione, al fine di migliorare l'efficienza, la catena Plasma ignora le funzioni relative alla conversione dello stato dell'account nell'EVM e adotta un modello UTXO più semplificato, che si traduce nella incapacità di stato masterless direttamente integrato di EVM.

5) ZK+Plasma può liberare molta fantasia. ZK sta per prova a conoscenza zero, che può aiutare a verificare la correttezza delle transazioni senza rivelare informazioni specifiche sulla transazione, il che apporta maggiore privacy e sicurezza alla catena Plasma. La combinazione di ZK+Plasma può offrire maggiori possibilità per ottenere scalabilità, privacy e sicurezza, come la realizzazione di contratti intelligenti più avanzati, interoperabilità cross-chain, protezione della privacy degli utenti, ecc.

Plasma è attualmente limitato agli scenari di pagamento, in parte perché il suo progetto originale era quello di risolvere il problema dell’espansione negli scenari di pagamento. Attraverso il modello di registro simile a UTXO e il metodo della catena laterale, la catena Plasma può raggiungere un'elevata scalabilità e bassi costi di transazione e presenta alcuni vantaggi negli scenari di pagamento. Ma allo stesso tempo, il design della catena Plasma presenta anche alcune limitazioni. Ad esempio, come catena laterale, la sincronizzazione dei dati tra la catena principale e la catena laterale è un problema importante se la sincronizzazione non è tempestiva o è centralizzata dipendenze, potrebbe influire sulla sicurezza e sulle prestazioni. Inoltre, sebbene la catena Plasma abbia alcune funzionalità di contratto intelligente, presenta ancora alcune limitazioni rispetto alla catena principale di Ethereum. Pertanto, la catena Plasma è ancora focalizzata principalmente sugli scenari di pagamento, ma in futuro potrebbe espandersi ad altri ambiti.

In effetti, l’uso di Plasma negli scenari di pagamento può garantire che lo stato del registro sia effettivamente tracciato e registrato. Ciò è dovuto principalmente al fatto che Plasma adotta un modello simile a UTXO e mantiene lo stato del saldo del conto. Rispetto ad altri scenari che richiedono la conservazione di tutti i dati sullo stato fuori catena, l’uso del modello UTXO può ridurre la pressione sullo spazio di archiviazione e anche migliorare l’efficienza delle transazioni. La catena Plasma si affida al meccanismo del “gioco di uscita” in termini di sicurezza. Se l'operatore fa del male, gli utenti possono avviare una sfida e inviare le proprie risorse per garantire la correttezza dello stato della risorsa. Tuttavia, se lo stato dell’asset è molto complesso, anche il costo e la complessità della produzione delle prove aumenteranno di conseguenza, riducendo così l’efficienza operativa del sistema. Inoltre, attualmente è difficile per Plasma essere compatibile con molti stati di EVM senza proprietario. È difficile per gli utenti utilizzare il registro dell'albero degli stati Merkle di Plasma per corrispondere a molti stati non di transazione, come LP e CDP evidente limitazione all'applicazione del Plasma in altri campi Il problema. Nello scenario di pagamento Plasma, il modo in cui funziona è utilizzare Plasma Cash. Plasma Cash tratta ogni token come un token non fungibile (NFT) e ogni token ha un numero univoco. Quando un utente effettua un trasferimento, l'operatore registra uno stato aggiornato nel Merkle tree. Ogni utente può salvare il proprio stato globale dell'albero Merkle, in modo che le modifiche al registro possano essere tracciate accuratamente e garantita la coerenza dei dati.

Per i token omogeneizzati, come risolvere il problema della ridondanza dei dati Merkel che può essere causata da molteplici scissioni e fusioni? È possibile abbinare un ID simile a UTXO per ogni stato di suddivisione o fusione di asset, in modo che le parti di transazione corrispondenti possano essere immediatamente individuate indipendentemente da come l'asset è suddiviso, evitando così i problemi di ridondanza dei dati e gli alti costi di verifica delle sfide.

Per quanto riguarda la sicurezza e il meccanismo di uscita dal gioco, poiché Plasma non dispone di un sistema di catena indipendente come Rollup, deve garantire che la contabilità della catena laterale e la rete principale siano sincronizzate. Pertanto, l’entità operativa nello scenario di pagamento Plasma non ha bisogno di perseguire un decentramento completo. Finché esiste un’entità operativa in grado di tenere la contabilità in modo efficiente, può essere garantita l’attuazione del meccanismo di uscita sicura. Infatti, se l’operatore rilascia blocchi non validi, registra account falsi o ruba i beni degli utenti, minaccerà la sicurezza dello scenario di pagamento di Plasma. Per far fronte a questi problemi, nello scenario di pagamento Plasma è stato introdotto il meccanismo dell'"exit game".

Gli utenti possono ritirare le risorse dal livello 2 al livello 1 attraverso il meccanismo del "gioco di uscita", simile al meccanismo di sicurezza della botola di fuga di Rollup. Il metodo specifico prevede che gli utenti possano pubblicare il proprio certificato di stato dell'albero Merkle per dimostrare il processo di trasferimento delle risorse e avviare un periodo di sfida di 7 giorni. Il nodo principale di verifica della rete rileverà se l'utente è il proprietario finale del bene e se ha problemi come la doppia spesa dei beni. Poiché il nodo di rete principale memorizza più stati dell'albero Merkle, è possibile verificare la presenza di uscite dannose nella prova dell'utente.

Attraverso il meccanismo del "gioco di uscita" e l'esistenza del periodo di sfida, è possibile impedire efficacemente agli operatori di livello 2 di fare del male e impedire agli utenti di uscire intenzionalmente, garantendo così il normale funzionamento della catena Plasma e la sicurezza delle risorse. In effetti, è difficile che Plasma sia compatibile con lo “stato senza proprietario” dell’EVM, il che è una difficoltà. Perché Plasma è un modello contabile che può essere paragonato al modello UTXO e EVM è un modello contabile. Nel modello UTXO, ogni aggiornamento dello stato del saldo può essere registrato, ma molti scenari "senza proprietario" nella macchina a stati EVM sono difficili da implementare utilizzando la soluzione Plasma.

Per scenari come USDC depositati nel pool Uniswap e asset collocati nel CDP di MakerDAO, è difficile per gli utenti dimostrare quali asset appartengono a loro. Una volta che l'operatore non funziona e il contratto è bloccato, gli utenti non possono "uscire dal gioco" normalmente. . Poiché non è possibile dimostrare che l'utente abbia denaro nel contratto, la rete principale può solo monitorare il saldo del contratto. Se l'operatore emette denaro aggiuntivo per il contratto, l'utente non può dimostrare quale importo sia suo e quale importo è stato rilasciato maliziosamente.

Se una catena laterale di livello 2 può implementare solo transazioni di trasferimento di pagamenti, la creazione di applicazioni ed ecosistemi sarà notevolmente limitata. Pertanto, sono necessarie ricerche approfondite e soluzioni a questi problemi per superare queste difficoltà, ottenere la compatibilità con lo "stato senza proprietario" in EVM e allo stesso tempo espandere gli scenari di utilizzo di Plasma in modo che possa svolgere un ruolo in più applicazioni. scenari. Se lo strato inferiore di Plasma è completamente ZK-ificato, le operazioni dell'utente esisteranno sotto forma di prove zk-SNARK, che rilasceranno molti scenari di macchine a stati EVM. Ad esempio, per una risorsa depositata da un utente in un contratto Plasma, è possibile costruire un certificato zkSNARKs e avviare un "gioco di uscita" sulla rete principale. Anche se il pool viene congelato a causa di minacce alla sicurezza, gli utenti possono ritirare le proprie risorse legali . Pertanto, l’introduzione di zk-SNARK può migliorare la sicurezza degli scenari di pagamento di Plasma.

Negli scenari di transazione che coinvolgono la privacy DEX, gli utenti possono utilizzare zk-SNARK per dimostrare di possedere determinate risorse senza esporre la privacy personale, il che aiuta anche a migliorare l'anonimato e la protezione della privacy delle transazioni.

Allo stesso tempo, quando si eseguono aggiornamenti complessi, i contratti intelligenti di Plasma possono anche utilizzare zk-SNARK per fornire prova di correttezza dei loro aggiornamenti di stato senza esporre i dettagli, il che aiuta a migliorare la sicurezza del contratto e ridurre la possibilità di azioni illecite. Pertanto, l’uso di zk-SNARK aiuterà a migliorare la sicurezza e la flessibilità della catena del plasma e svolgerà il ruolo del plasma in più scenari applicativi.

Nel complesso, Vitalik ha descritto chiaramente la situazione attuale e i problemi esistenti di Plasma nell'articolo e ha proposto possibili direzioni orientate a ZK in futuro. Tuttavia, tu sostieni che Plasma non è una novità e ha già trovato il suo posto nello scenario dei pagamenti. Non sei ottimista riguardo al nuovo corso di ZK+Plasma proposto da Vitalik.

Pensi che nel mercato attuale, Rollup, come soluzione che considera in modo completo i costi di investimento, le difficoltà di sviluppo e la compatibilità ecologica, è diventata la soluzione ottimale. Sebbene ZK+Plasma possa essere considerato uno ZK-Rollup più avanzato, l'attuale sviluppo di ZK-Rollup non è ottimista e passare direttamente a Plasma potrebbe essere troppo affrettato.

Inoltre, hai menzionato che Validium è una soluzione di espansione della catena indipendente e la sua applicazione in ZK è relativamente avanzata. Sebbene ZK+Plasma possa essere più appiccicoso con la rete principale di Ethereum, ritieni che la chiamata di Vitalik sia comprensibile, perché gli sviluppatori ZK maturi potrebbero non avere una motivazione sufficiente per abbandonare Validium e scegliere ZK+Plasma. In breve, avete delle riserve sulle prospettive della ZK+Plasma proposta da Vitalik e avete opinioni più elevate sull'attuale situazione del mercato. Nota: assicurati di leggere attentamente l'articolo di Vitalik e di comprendere questo articolo. Se ritieni che la mia condivisione sia preziosa, puoi supportarla con un clic e tre clic consecutivi. Grazie.

Link originale: https://vitalik.eth.limo/general/2023/11/14/neoplasma.html