1/ Manta Pacifico
Manta Pacific è una soluzione Ethereum Layer 2 progettata per le applicazioni ZK. È un Layer 2 modulare costruito su Ethereum e ha ottenuto finanziamenti per oltre 60 milioni di dollari da istituzioni come Polychain, Binance Labs, CoinFund e SevenX Ventures.
Manta Pacific è attualmente basata su un'architettura OP Stack personalizzata di Caldera, che la rende compatibile quasi al 100% con Ethereum EVM. Ciò consente agli sviluppatori esistenti nell'ecosistema Ethereum di migrare senza problemi le loro applicazioni su Manta Pacific.
Manta Pacific sposta il livello di disponibilità dei dati da Ethereum a Celestia, rendendolo il primo Layer 2 a utilizzare Celestia come livello di disponibilità dei dati.
Manta incorpora anche i circuiti ZK in Manta Pacific. Gli sviluppatori possono facilmente chiamare le funzioni ZK con poche righe di codice tramite SDK e API, consentendo l'integrazione di ZK con DApp esistenti o lo sviluppo di nuove applicazioni ZK.
2/ Modularità
La modularità si riferisce alla progettazione del prodotto e al pensiero architettonico comune nel Web2 e nelle industrie tradizionali. Ad esempio, i produttori di smartphone scelgono fornitori per schermi, chip, WiFi, Bluetooth, ecc., e poi utilizzano produttori a contratto per l’assemblaggio, migliorando significativamente l’efficienza e riducendo i costi, invece di produrre essi stessi tutti i componenti.
In genere, una blockchain può essere suddivisa nel livello di consenso, nel livello di regolamento, nel livello di disponibilità dei dati e nel livello di esecuzione.
La rete principale di Ethereum gestisce il consenso finale e le responsabilità di risoluzione, mentre i progetti sul livello di disponibilità dei dati includono Celestia, EigenDA, Polygon Avail e altri. I Common Ethereum Layer 2 sono progetti a livello di esecuzione.
Modularità significa personalizzazione e maggiore componibilità. I progetti possono scendere a compromessi in base alle loro esigenze, ad esempio affidare la sicurezza alla rete principale di Ethereum pur perseguendo commissioni sul gas basse, anche pari a zero, e velocità di transazione elevatissime.
La modularità consente ai progetti di costruire la propria catena sulla base di stack tecnici comprovati come Polygon CDK o OP Stack senza costruire tutta l'infrastruttura da zero.
3/ Modularità di Manta Pacific
Il design modulare di Manta comprende due aspetti:
Manta Pacific utilizza stack tecnologici maturi come OP Stack e Polygon CDK per implementare la sua architettura modulare.
A differenza di altre soluzioni Layer 2, Manta Pacific non ha costruito la propria infrastruttura da zero ma ha invece utilizzato lo stack tecnologico maturo esistente OP Stack.
Se Manta fosse un marchio di smartphone di nuova costituzione, utilizzare OP Stack sarebbe come utilizzare direttamente la catena di fornitura e l’architettura tecnologica di iPhone.
Il vantaggio di questo approccio è che Optimism è un progetto testato dal mercato ribassista e anche il suo stack tecnologico, OP Stack, è stato sottoposto a test di mercato a lungo termine ed è molto maturo. Manta Pacific può poggiare direttamente sulle spalle dei giganti, ereditando in larga misura la sicurezza esistente e i vantaggi tecnici di OP Stack.
Inoltre, raggiunge la piena compatibilità EVM, consentendo agli sviluppatori di migrare facilmente le DApp esistenti su Manta Pacific. Ancora più importante, Manta può concentrarsi maggiormente sulla costruzione dell’ecosistema e sull’espansione dei progetti. Ad oggi, Manta Pacific ha verificato oltre 810 contratti intelligenti sulla sua catena, con oltre 200 progetti ecosistemici.
Manta Pacific utilizza Celestia come livello di disponibilità dei dati, il che significa che la sicurezza della disponibilità dei dati è parzialmente garantita sia dalla rete principale di Ethereum che da Celestia. Se i nodi sequenziatori pubblicano dati autentici, i dati corrispondenti possono essere trovati sia sulla rete principale di Ethereum che su Celestia.
Il sequenziatore di Manta Pacific specifica l'altezza del blocco per la pubblicazione di BLOB su Ethereum. Se il blob non è presente a quell'altezza, la transazione non è valida.
Il sequenziatore pubblica i dati: una transazione nella posta in arrivo, codificata in tre parti: un numero di versione (0x02), un'altezza del blocco (0xa4aa050000000000) e un impegno blob (la parte rimanente). Specificando l'altezza, i nodi sanno dove guardare.
Ad esempio, 0xa4aa050000000000 è la codifica little-endian dell'altezza del blocco, convertita nel blocco 371364. Puoi trovare lo stesso blocco su https://celenium.io/block/371364.
Il blocco contiene un blocco nello spazio dei nomi di Manta Pacific. I dati completi possono essere reperiti:
Se il sequenziatore pubblica dati falsificati, i nodi non saranno in grado di trovare l'impegno all'altezza del blocco specificata.
I circuiti ZK di Manta sono progettati in modo modulare, rendendo le funzionalità ZK integrate in Manta Pacific. Gli sviluppatori possono richiamare e implementare completamente funzioni e caratteristiche ZK all'interno di Manta Pacific, differenziandolo da altri ZK Rollup o zkEVM. Gli sviluppatori possono anche richiamare facilmente i circuiti ZK per combinare le funzioni ZK con le applicazioni.
Nelle interazioni ZK Rollup, gli utenti commerciano all'interno di ZK Rollup e il sequenziatore di Rollup funge da prover, sequenziando le transazioni degli utenti, comprimendo, impacchettando e generando prove ZK. I contratti intelligenti della mainnet di Ethereum fungono da verificatori, verificando la correttezza della prova ZK, verificando così la correttezza delle transazioni che rappresenta.
Lo smart contract della rete principale non ha bisogno di eseguire una convalida complessa delle transazioni ZK Rollup e una prova ZK può rappresentare la correttezza di più informazioni sulle transazioni, ottenendo scalabilità e migliorando la capacità della rete principale di Ethereum di confermare le transazioni.
In confronto, gli utenti di Manta Pacific fungono da prover, generando prove ZK localmente quando inviano transazioni. I collatori on-chain fungono da verificatori, convalidando le prove ZK. Le transazioni verificate vengono quindi compresse dal sequenziatore e inviate alla rete principale di Ethereum. All'interno del Layer 2, Manta Pacific completa la generazione e la convalida di ZK, realizzando pienamente le funzionalità ZK.
4/ IN PILA
OP Stack è uno stack tecnologico blockchain modulare e open source lanciato dal team Optimism, progettato per fornire soluzioni blockchain altamente scalabili e altamente interoperabili. OP Stack adotta un design modulare, in cui ciascun modulo implementa uno specifico livello dello stack e si connette tramite API ben definite. Ciò consente agli sviluppatori di modificare facilmente i moduli esistenti o crearne di nuovi, supportando diversi tipi di applicazioni e innovazioni blockchain.
L’obiettivo di OP Stack è quello di andare oltre i tradizionali modelli a catena singola o multicatena e promuovere una struttura composta da catene altamente integrate, nota come Superchain. La Superchain, condividendo i formati di messaggistica, consente a diverse catene di comunicare facilmente senza adattatori personalizzati per ciascuna catena. Supporta inoltre la componibilità atomica a catena incrociata, in cui più catene operative condividono un set di sequenziatore, garantendo interazioni a livello atomico tra le catene.
5/ Livello di disponibilità dei dati (livello DA)
Il livello di disponibilità dei dati garantisce che tutti i dati all'interno di una rete blockchain, in particolare i dati di livello 2, siano accessibili e verificabili pubblicamente. Il livello di disponibilità dei dati consente a qualsiasi partecipante di recuperare questi dati per convalidare lo stato della rete e la validità delle transazioni, fornendo una garanzia cruciale di trasparenza e sicurezza della blockchain.
6/ Celestia
Celestia fornisce un livello di disponibilità e consenso dei dati collegabile, basato sul consenso di Cosmos Tendermint e su Cosmos SDK, compatibile con le catene EVM e le catene di applicazioni Cosmos. Queste catene possono utilizzare direttamente Celestia come livello di disponibilità dei dati, con blocchi di dati archiviati, accessibili e verificati tramite Celestia. Celestia supporta anche i Rollup nativi, consentendo costruzioni Layer 2 su di esso, sebbene non supporti i contratti intelligenti.
I rollup si integrano con Celestia eseguendo i nodi Celestia. Celestia riceve informazioni sulle transazioni Rollup, ordina transazioni tramite il consenso di Tendermint, ma non esegue o convalida la correttezza delle transazioni. Impacchetta, ordina, trasmette transazioni e garantisce la sicurezza e la disponibilità dei dati attraverso la codifica di cancellazione e il campionamento della disponibilità dei dati (DAS).
7/ Circuiti ZK
Nelle dimostrazioni a conoscenza zero, i "circuiti" sono un modo di rappresentare algoritmi e funzioni complessi. Qui i circuiti non si riferiscono ai circuiti elettronici tradizionali ma a una struttura matematica o logica.
Nel contesto delle dimostrazioni a conoscenza zero, i circuiti vengono spesso utilizzati per descrivere o definire un problema o un'affermazione specifica.
Le principali funzioni dei circuiti:
Descrizione del problema: i circuiti possono descrivere o definire un problema o un'affermazione specifica. Ad esempio, il prover potrebbe voler dimostrare di conoscere l'input che soddisfa un circuito specifico.
Privacy dei dettagli: utilizzando i circuiti, il prover può dimostrare di conoscere informazioni che soddisfano le condizioni del circuito senza rivelare il contenuto specifico di tali informazioni.
Verificabilità: i circuiti forniscono al verificatore un modo per verificare la correttezza della prova senza conoscere l'input specifico utilizzato dal dimostratore.
Generalità e riutilizzabilità: una volta definiti, i circuiti possono essere utilizzati per una varietà di problemi e scenari. Questo è il motivo per cui alcuni framework ZKP supportano i cosiddetti circuiti "universali", in grado di descrivere e risolvere vari problemi.
In sintesi, i circuiti nelle dimostrazioni a conoscenza zero agiscono come un ponte, collegando le affermazioni che il dimostratore vuole dimostrare con la necessità del verificatore di verificare l'affermazione, senza rivelare alcuna informazione oltre l'affermazione stessa. I circuiti vengono utilizzati per definire i calcoli da dimostrare. Ogni specifica applicazione richiede i propri circuiti. Servizi diversi (come zkEVM, ZKML, ZK Oracle, ZK Bridge e varie prove di consenso e di stato) richiedono circuiti diversi.
8/ Circuiti ZK universali di Manta Pacific
Manta Pacific è una soluzione Layer 2 progettata specificamente per le applicazioni ZK (Zero-Knowledge), che offre una compatibilità quasi completa con l'ambiente Ethereum EVM (Ethereum Virtual Machine) e il linguaggio di programmazione Solidity. Recentemente, Manta Pacific ha lanciato Universal ZK Circuits 2.0, una libreria ZK orientata agli sviluppatori che consente l'integrazione di contratti abilitati per ZK nei contratti intelligenti e nelle dApp Solidity esistenti con solo poche righe di codice.
I circuiti ZK universali forniscono ZK-as-a-Service per gli sviluppatori di Solidity. Attualmente include il circuito MantaPay esistente di Manta Network, il circuito zkShuffle e i circuiti ZK del progetto Semaphore della Ethereum Foundation.
Utilizzando i circuiti universali su Manta Pacific, gli sviluppatori possono facilmente distribuire applicazioni ZK native per EVM. Possono anche chiamare contratti abilitati per ZK per i loro contratti intelligenti e dApp Solidity esistenti tramite API avanzate.
Ad esempio, uno sviluppatore che crea un'applicazione di gioco di carte on-chain può utilizzare il circuito zkShuffle per implementare il mescolamento e la distribuzione decentralizzata delle carte. Un esempio pratico di sviluppo semplificato di applicazioni ZK con Manta Universal Circuits è zkHoldem.
Prima dell'introduzione dei circuiti universali, la creazione di zkShuffle e applicazioni ZK simili richiedeva la costruzione manuale dei circuiti e le conversioni tra linguaggi di programmazione come Rust e Solidity. Tuttavia, con l’introduzione di Manta Universal Circuits, questa complessità è stata notevolmente ridotta.
Con Universal Circuits di Manta Pacific, la creazione di applicazioni ZK è diventata più semplice ed efficiente.
