Perché Polygon (MATIC) preferisce le catene di diffidenza per la sicurezza AggLayer

Gli utenti di criptovalute sono spesso diffidenti nei confronti delle soluzioni di interoperabilità blockchain, gli aspiranti camion blindati delle criptovalute, a causa della loro vulnerabilità agli exploit e della frequenza con cui vengono presi di mira a causa della quantità di asset che vi transitano.

Questi timori, tuttavia, non hanno dissuaso Polygon (MATIC) Labs, i costruttori della popolare soluzione per lo scaling di Ethereum, dall'intraprendere l'ambiziosa tabella di marcia di collegare il maggior numero possibile di catene a Ethereum attraverso il suo ponte unificato AggLayer. La soluzione di sicurezza del team per questo ponte unificato è stata recentemente svelata: "

Può questo nuovo concetto garantire la sicurezza dei fondi trasferiti attraverso l'AggLayer?

Come funzionano le prove pessimistiche di Polygon (MATIC)

Introdotto martedì 28 maggio, Polygon Labs ha descritto le prove pessimistiche come una "garanzia crittografica" che consente alle catene di condividere un ponte senza ulteriori presupposti di fiducia. In parole povere, fornisce una garanzia che tutto sia in regola sulle catene collegate prima che siano consentiti i trasferimenti di asset.

Il nome della prova a conoscenza zero deriva dal suo presupposto di base: "Tutte le catene sono inaffidabili e non possono giocare bene tra loro". Si contrappone nettamente all'approccio bridging ottimistico, che presuppone che i nodi siano onesti e che i dati trasmessi siano validi, salvo prova contraria.

La prova pessimistica mira a garantire che nessuna catena cerchi di ritirare più beni di quanti ne abbia in deposito. Il sistema di prova raggiunge questo obiettivo controllando tre parametri chiave. Questi parametri includono lo stato della catena al momento dell'avvio di una transazione, la contabilità della catena e la contabilità di tutte le catene collegate. 

Se tutto è a posto, viene generata una prova valida, che consente alla transazione di avvenire. Con questo metodo, Polygon intende garantire che la violazione di una catena non porti a una minaccia a livello di rete.

Inoltre, al di là della sicurezza, Polygon Labs ritiene che le prove pessimistiche siano un vantaggio per l'adozione complessiva di AggLayer.

Pessimistic Proofs to Open the AggLayer to Non-ZK Chains?

Come sottolinea Polygon Labs, il codice pessimistico è scritto in Rust, un linguaggio di programmazione ampiamente utilizzato. Allo stesso tempo, l'azienda spiega che la prova sarà generata utilizzando SP1 di Succinct Labs, una soluzione zkVM alimentata dal prover Plonky 3 di Polygon. SP1 consente agli sviluppatori di generare prove per diversi meccanismi di consenso. 

Come spiegato da Polygon Labs, le capacità di SP1 consentiranno alle catene Non-ZK di unirsi all'AggLayer, il che potrebbe essere un vantaggio significativo per gli obiettivi multichain della rete. Al momento in cui scriviamo, almeno tre catene sfruttano già la soluzione di interoperabilità di Polygon per godere di liquidità condivisa. Queste catene includono X Layer di OKX, Astar zkEVM e Polygon zkEVM.

Sul versante opposto

L'efficacia delle prove pessimistiche nel prevenire gli exploit deve ancora essere testata.

Perché questo è importante 

Gli exploit di bridge blockchain hanno rappresentato la maggior parte dei più grandi exploit nella storia della crittografia. Essendo un ponte che intende collegare più blockchain, tra cui Ethereum, AggLayer diventerà probabilmente un bersaglio per gli hacker che cercano di fare un grosso bottino in un colpo solo. Le prove pessimistiche, tuttavia, sembrano sventare tali sforzi.

Fonte : DailyCoin / 31 maggio 2024