Due dei progetti ZK più ambiziosi, Succinct e Boundless, stanno gareggiando per portare il calcolo verificabile in ogni angolo dello spazio onchain. Entrambi utilizzano zkVM, ma non sono la stessa cosa. Ecco un'analisi di come si differenziano 🧠🧵
2/ A un livello alto: - @SuccinctLabs costruisce il suo zkVM (SP1) e gestisce una rete decentralizzata dove chiunque può richiedere una prova per il lavoro offchain. - @boundless_xyz (da RISC Zero) costruisce uno strato di protocollo ZK che trasforma qualsiasi computazione offchain in una ricevuta verificabile. Entrambi vogliono sostituire la fiducia con la verità crittografica.
3/ Iniziamo con i loro motori di prova - SP1 di Succinct esegue programmi Rust e produce ZKP utilizzando SNARK ricorsivi. È veloce, modulare e ottimizzato per carichi di lavoro simili ai rollup. - Boundless utilizza zkVM di RISC Zero per gestire enormi computazioni e prove scalabili.
4/ Dietro le quinte: Succinct utilizza un banditore offchain. Invi un lavoro (come "prova questo calcolo"), e la rete trova il provatore più economico in tempo reale. I provatori si fanno concorrenza per i lavori, creando un mercato per il lavoro di prova. Sembra un'API Web2. Veloce, efficiente, ma protetta da ZKP pubblicati onchain in seguito per fornirti una prova crittografica che il programma è stato eseguito correttamente.
5/ Il motore dietro di esso si chiama SP1 - un zkVM che può eseguire logica complessa, verificare firme, simulare rollup o agire come un client leggero per altre catene. SP1 è ottimizzato per velocità, riutilizzo e verifica onchain a basso costo. Le prove sono piccole e economiche da verificare (circa 200k gas su Ethereum).
6/ Lo SP1 zkVM è attivo. I costruttori possono verificare le prove onchain e lanciare app di produzione utilizzando SP1. Ma la Succinct Prover Network - il layer decentralizzato dove chiunque può eseguire un prover e guadagnare - è ancora nella fase finale del testnet (Fase 2.5). Il mainnet per la Prover Network si avvicina.
7/ Boundless, d'altra parte, trasforma la prova in un servizio pubblico. Qualsiasi catena può chiedergli di provare qualcosa. Qualsiasi app può esternalizzare logiche complesse a lui. Non è solo una rete, è un intero strato per il calcolo verificabile. Puoi immaginare Boundless come un cloud computing con ricevute crittografiche.
8/ Costruito su RISC Zero, Boundless esegue anche codice Rust o C++ in un zkVM. Ma lo avvolge con un protocollo in cui i lavori vengono pubblicati onchain, poi rivendicati e calcolati offchain dai provers.
9/ Introduce un'idea nuova chiamata Proof of Verifiable Work (PoVW). I provatori vengono premiati in base a quanta computazione reale svolgono. È simile al mining, ma invece di calcolare numeri casuali, stanno dimostrando un lavoro utile, eseguendo programmi reali. Boundless lo chiama zk-mining.
10/ Il primo caso d'uso live di Boundless è The Signal su Mainnet Beta, un client di consenso ZK che dimostra la finalità di Ethereum in una singola prova verificabile. Quella prova può essere letta da qualsiasi chain, consentendo alle app crosschain di leggere lo stato di Ethereum senza multi-sig o oracoli. The Signal dimostrerà più chain successivamente man mano che la rete si espande.
11/ Qual è la differenza? Succinto: asta veloce e offchain → un provatore vince il lavoro → invia la prova onchain. Ottieni bassa latenza e risultati verificabili rapidamente. Illimitato: compiti pubblicati onchain → qualsiasi provatore calcola offchain → invia la prova onchain → PoVW premia i provatori. Competizione aperta tra provatori e completamente trustless fin dall'inizio.
12/ Chi li sta usando? - @Mantle_Official → Aggiornato da Optimistic a zkRollup utilizzando lo SP1 zkVM di Succinct per una finalità rapida e equivalenza EVM. - Piattaforme Rollup-as-a-Service (Conduit, AltLayer, Caldera, Alchemy, Gelato) → Offrono ZK rollups tramite OP-Succinct, consentendo agli sviluppatori di lanciare L2 con aggiornamenti di finalità SP1 con un clic. - @Agglayer di Polygon → Utilizza SP1 per aiutare a implementare uno strato di unificazione zk attraverso i rollup di Polygon, migliorando la composabilità cross-rollup. - @celestia (Blobstream DA Bridge) → SP1 verifica l'inclusione dei blocchi di Celestia per un bridging DA senza fiducia, consentendo ai rollup di stabilirsi su Ethereum con i blob di Celestia.
13/ - @eigenlayer → Utilizza Boundless per calcolare gli aggiornamenti del valore staked offchain, pubblicando prove ZK che riducono il gas L1 di circa il 99,9%. - @hibachi_xyz → Ha costruito il primo exchange provabile. Il matching offchain viene eseguito ad alta frequenza; ogni batch è provato con R0VM su Boundless. - @citrea_xyz (Bitcoin zkRollup) → Utilizza Boundless per provare le transazioni Bitcoin raggruppate, abilitando rollup ZK compatibili con EVM su Bitcoin. - @build_on_bob → Boundless alimenta l'ibrido L2 di BOB, portando contratti smart EVM e rollup supportati da prove su Bitcoin.
14/ Chi vince il gioco ZK? Non sono concorrenti diretti. In effetti, i loro approcci potrebbero completarsi a vicenda. Ciò che è chiaro è questo: l'infrastruttura ZK sta diventando modulare. Il calcolo veloce, universale e senza fiducia non è più fantascienza, sta accadendo ora.
Mostra originale
19.352
9
Il contenuto di questa pagina è fornito da terze parti. Salvo diversa indicazione, OKX non è l'autore degli articoli citati e non rivendica alcun copyright sui materiali. Il contenuto è fornito solo a scopo informativo e non rappresenta le opinioni di OKX. Non intende essere un'approvazione di alcun tipo e non deve essere considerato un consiglio di investimento o una sollecitazione all'acquisto o alla vendita di asset digitali. Nella misura in cui l'IA generativa viene utilizzata per fornire riepiloghi o altre informazioni, tale contenuto generato dall'IA potrebbe essere impreciso o incoerente. Leggi l'articolo collegato per ulteriori dettagli e informazioni. OKX non è responsabile per i contenuti ospitati su siti di terze parti. Gli holding di asset digitali, tra cui stablecoin e NFT, comportano un elevato grado di rischio e possono fluttuare notevolmente. Dovresti valutare attentamente se effettuare il trading o detenere asset digitali è adatto a te alla luce della tua situazione finanziaria.