Uno dei fattori più importanti che determinano se il cloud computing possa essere ampiamente utilizzato è la sua credibilità. Nel processo di candidatura vero e proprio, tutti i dati sul cloud computing devono essere completi e, allo stesso tempo, durante l'esecuzione del programma, devono avere un'elevata precisione, in modo che l'ambito di applicazione del cloud computing possa essere effettivamente ampliato. Inoltre, il protocollo di cloud computing può valutare tutti i risultati del feedback nel server e il server remoto non ha bisogno di rieseguire le procedure pertinenti. Negli ultimi anni, il calcolo verificabile ha attirato grande attenzione da parte dei ricercatori ed è diventato la tendenza principale nello sviluppo del cloud computing affidabile.
Guidata da Grigore Rosu, professore di informatica presso l'Università dell'Illinois a Urbana-Champaign, Pi Squared è una società focalizzata sull'abilitazione del calcolo verificabile attraverso la tecnologia a conoscenza zero. L'idea centrale di Pi Squared ha avuto origine da anni di ricerca di Rosu nel mondo accademico. Lui e i suoi studenti hanno esplorato questa tecnologia per molti anni e alla fine hanno formato il concetto di Pi Squared.
Secondo gli esperti del settore, se Pi Squared avrà successo, rivoluzionerà il calcolo verificabile. La tecnologia non sarà utilizzata solo nell’Universal Settlement Layer (USL) della blockchain e del Trusted Cloud Computing, ma sarà estesa anche ai campi di verifica della scienza. e conoscenza. E funziona su tutti i linguaggi e le macchine virtuali, essendo intrinsecamente corretto e veloce.
Si può dire che gli scenari applicativi e lo spazio di valore di Pi Squared sono molto fantasiosi.
Prima di saperne di più su Pi Squared, è necessario comprendere diversi altri progetti innovativi basati sulla tecnologia ZK, nonché le loro differenze e connessioni con Pi Squared.
01
Analisi del prodotto competitivo
ZKsync
ZKsync è una soluzione di scalabilità di Ethereum che sfrutta la tecnologia ZK-rollup per ottenere un throughput elevato e commissioni di transazione basse. Raggiunge la scalabilità raggruppando più transazioni e generando prove ZK. Il vantaggio principale di ZKsync è che le velocità e le commissioni delle transazioni sono significativamente ridotte pur mantenendo la sicurezza di Ethereum.
ZK-nativo
ZK-native si riferisce a quelle blockchain che utilizzano la tecnologia di prova a conoscenza zero dal progetto sottostante. Queste blockchain hanno spesso una maggiore protezione della privacy e capacità di compressione dei dati, come StarkNet e Mina Protocol. Garantiscono la privacy e l'efficienza delle transazioni e dei dati integrando direttamente la tecnologia ZK a livello di protocollo.
Catena ZK
ZK Chain si riferisce a quei sistemi blockchain che utilizzano la tecnologia di prova a conoscenza zero come componente principale. Questi sistemi sono spesso progettati per migliorare la protezione della privacy e la scalabilità delle blockchain, come Aztec e Zcash. ZK Chain offre agli utenti una forte protezione della privacy e capacità efficienti di elaborazione delle transazioni utilizzando tecnologie come ZK-SNARK o ZK-STARK.
La principale differenza tra Pi Squared e le tecnologie sopra menzionate è la sua versatilità e il metodo di verifica. Mentre ZKsync, ZK-native e ZK Chain si concentrano tutti sul miglioramento delle prestazioni e sulla protezione della privacy per blockchain specifiche, Pi Squared fornisce verificabilità universale per tutte le blockchain, macchine virtuali e linguaggi di programmazione attraverso il suo Universal Settlement Layer (USL) Calcola la soluzione . La tecnologia PoP di Pi Squared non è adatta solo alla blockchain, ma può anche essere estesa ad altri campi informatici per ottenere un vero ubiquitous computing.
02
USL: la carta vincente di Pi Squared
Il primo prodotto di Pi Squared è l'Universal Settlement Layer (USL), un'architettura blockchain modulare con le seguenti caratteristiche principali:
(1) Applicabilità
USL supporta il calcolo in qualsiasi linguaggio o macchina virtuale senza compilatore. Ciò significa che gli sviluppatori possono utilizzare il loro linguaggio di programmazione familiare per il regolamento delle transazioni blockchain.
(2) Correttezza dimostrabile
L'USL verifica la correttezza dei calcoli attraverso prove matematiche e qualsiasi ente esterno può verificare autonomamente la correttezza dello stato dell'USL.
(3) Minimizzazione della base di fiducia
L'USL espone in modo trasparente i presupposti di fiducia nei calcoli del livello superiore, riducendo al minimo la base di fiducia attraverso la prova di correttezza e aumentando la fiducia e la trasparenza dell'utente.
(4) Interoperabilità delle applicazioni
USL supporta l'interoperabilità tra diversi moduli e reti applicativi, come le interazioni tra appchain.
(5) Certezza e ripetibilità
Il processo di verifica dell'USL è deterministico e può essere ripetuto indipendentemente da qualsiasi entità esterna.
L'architettura USL di Pi Squared è costituita da più livelli e componenti, ognuno dei quali svolge un ruolo importante nel consentire calcoli efficienti e verificabili.
Innanzitutto, il livello informatico
Il livello informatico si trova nella parte superiore dell’architettura ed è dove vari linguaggi e macchine virtuali eseguono i calcoli. Include motore di esecuzione delle transazioni, catena di applicazioni completamente funzionale e rollup di esecuzione. I calcoli nel livello di elaborazione possono essere molto complessi e l'ambiente può implementare la propria ottimizzazione e l'elaborazione parallela senza che USL debba comprendere come vengono eseguiti questi calcoli.
In secondo luogo, Sequencer Network
La rete Sequencer è responsabile dell'elaborazione delle transazioni tra il livello di elaborazione e USL. I sequenziatori verificano e raccolgono le transazioni in blocchi, promuovendo l'efficienza e aumentando il throughput delle transazioni. La rete Sequencer è generalmente decentralizzata ed esegue un algoritmo di consenso per sequenziare in modo sicuro le transazioni. La pre-conferma al livello Sequencer Network è ottimistica e le transazioni non valide possono essere annullate dopo la verifica USL.
In terzo luogo, l'interfaccia del livello di esecuzione
L'interfaccia del livello di esecuzione si trova sotto il livello di calcolo e consente al sistema del livello di calcolo di comunicare con USL. Accetta "transazioni calcolate", comprese transazioni, cambiamenti di stato e metadati di transizione. I metadati definiscono il programma che esegue il calcolo, l'elenco delle entità attendibili e altri dettagli.
In quarto luogo, il livello USL di Pi Squared
Lo strato USL funziona come un rollup ottimistico, interpretando le transazioni computazionali come affermazioni matematiche nella teoria logica. USL genera prove matematiche delle sequenze di calcolo per garantirne la correttezza, ed è composta principalmente dalla rete π² e dal Prover Pool.
Infine, π² Network e Prover Pool
La rete π² è costituita da nodi che eseguono un protocollo di consenso che verifica la validità degli stati post-transazione. Il processo di verifica è trasparente, ripetibile e può essere verificato in modo indipendente da qualsiasi entità esterna. Il Prover Pool è costituito da nodi prover che generano prove a conoscenza zero (ZKP) di transazioni o blocchi. ZKP funziona rieseguendo transazioni o blocchi e generando prove della correttezza logica della corrispondenza. Lo ZKP risultante è molto più piccolo della dimostrazione matematica originale e può essere trasmesso e verificato più velocemente.
03
Il valore applicativo della USL nel campo Web3
Il team di Pi Squared immagina USL come uno strato indipendente dal linguaggio e dalla macchina virtuale che migliorerà significativamente le applicazioni cross-chain e l’accesso alla liquidità nel settore Web3. Le applicazioni specifiche includono:
Rollup in una scatola
Il servizio supporta la creazione di rollup L2/L3 e catene di applicazioni, gli utenti possono scegliere le funzionalità del sistema e tutte le transazioni sono regolate in modo trasparente da USL.
Bridge multicatena
Il bridging multicatena consente alle applicazioni e ai rollup in esecuzione su USL di collegare senza problemi token su catene diverse senza la necessità di codice fuori catena.
Applicazioni finanziarie multicatena
L'USL consente alle applicazioni DeFi di passare senza problemi tra diversi rollup e catene di applicazioni, fornendo tassi di staking e prestito migliori. Ad esempio, punta ETH su Ethereum sulla catena Cosmos e presta USDC.
Verifica ZK eterogenea
Gli utenti possono utilizzare vari rollup ZK e applicazioni supportate da USL per scegliere la piattaforma ZK con cui hanno familiarità e USL verifica le transazioni tramite il backend ZK corrispondente.
riepilogo
Pi Squared stabilisce un nuovo punto di riferimento nel calcolo verificabile con la sua innovativa tecnologia PoP e Universal Settlement Layer (USL). L’USL non solo risolve molte sfide nell’attuale ecosistema blockchain, ma getta anche le basi per la futura verifica della scienza e della conoscenza.
Sebbene USL funzioni bene sotto molti aspetti, presenta anche alcune limitazioni. Ad esempio, USL non mira a migliorare la privacy e mantiene privata solo la prova logica di corrispondenza della correttezza computazionale. In futuro potrebbero essere prese in considerazione le esigenze di privacy specifiche dell'applicazione; la struttura della transazione consente di specificare un elenco di dipendenze di trust, specificate dai componenti del sistema. L'USL non scoprirà in modo proattivo la base di fiducia delle transazioni prive di specifiche di dipendenza dalla fiducia e inizialmente si concentrerà sulla verifica della base di fiducia.
Ma possiamo vedere dagli importanti progressi compiuti nella tecnologia che l'USL ha dimostrato la sua capacità di risolvere problemi pratici nella pratica. In futuro, con l’aumento di più applicazioni e il miglioramento dell’infrastruttura, Pi Squared porterà sicuramente più innovazione e cambiamento nel settore blockchain.