In una recente importante pietra miliare nell'ecosistema Bitcoin, Zulu ha annunciato l'implementazione della prima verifica zk-SNARK (ZKP) utilizzando Bitcoin Script. Copri l'algoritmo mainstream Groth16/FFlonk e invia il codice al repository BitVM.

Implementato Bitcoin Script per ZKP, il che significa che la rete Bitcoin può verificare il livello 2. Questo è il vero livello 2, che erediterà la sicurezza della rete Bitcoin e la sicurezza del meccanismo Bitcoin POW. Questa dovrebbe essere la rete più sicura nella blockchain.

L’implementazione di ZKP è particolarmente difficile a causa delle limitazioni programmatiche della rete Bitcoin. La maggior parte dei Bitcoin L2 esistenti non sono in realtà L2 nel vero senso della parola perché il loro stato on-chain non può essere verificato direttamente sulla rete Bitcoin. Quello che stanno facendo ora è generare una prova zk e pubblicarla sulla rete Bitcoin. Tuttavia, questa prova non è verificata dalla rete Bitcoin, ma dal ruolo della propria rete, che comporta la separazione dello stato on-chain di l2 dalla rete Bitcoin.

Questo è ovviamente diverso dal livello 2 di Ethereum. Che si tratti di zk-rollup o op-rollup, i dati verranno impacchettati e inviati alla rete principale di Ethereum per la verifica. Il più grande vantaggio del livello 2 di Ethereum rispetto ad altre catene pubbliche è che Ethereum garantisce la sicurezza del livello 2.

Il più grande vantaggio di diventare un livello 2 con la verifica della rete Bitcoin è quello di ereditare la sicurezza della rete Bitcoin. La sicurezza della rete Bitcoin è ovviamente migliore di quella di Ethereum. Ora ci sono due modi per ereditarne veramente la sicurezza. Uno è rappresentato da Babylon, che promette BTC nativi, forma una rete POS per la gestione e punisce i colpevoli. Quando il valore del BTC promesso è relativamente elevato, il costo di fare del male è molto alto, garantendo così la sicurezza. Tuttavia, la premessa di questo metodo è che prima venga impegnata una grande quantità di BTC.

Il secondo è utilizzare la rete POW propria di Bitcoin. Essendo la prima e la rete con il più alto valore di mercato, BTC opera in sicurezza da 14 anni e ha la più alta potenza di calcolo dell'intera rete. Il suo fattore di sicurezza è evidente. Quindi una parte importante dell’eredità della sicurezza della rete Bitcoin è che Bitcoin può ottenere la verifica. Questa è l'importanza di Zulu e ZKP questa volta. L'ultima volta che ho prestato attenzione alla rete Zulu, era la sua prima architettura bitcoin a doppio strato. Questa verifica zk-SNARK (ZKP) mi ha fatto capire che la forza tecnica dietro Zulu è molto potente.

L'importanza di zk-SNARK

SNARK (argomentazione sintetica non interattiva della conoscenza) è un argomento conciso e non interattivo della conoscenza, il cui nucleo è costruire un sistema di prova attraverso algoritmi matematici, consentendo al verificatore di verificare la correttezza dei dati stessi senza conoscere i dati originali. Sappiamo che Ethereum Layer 2 ora ha zk-rollup e op-rollup. Mentre op-rollup è considerato solo un periodo di transizione intermedio, zk-rollup è la forma finale. Poiché zk-rollup utilizza l'algoritmo zk per impacchettare le transazioni in batch e generare certificati SNARK da inviare alla rete principale, e la rete principale verifica tutte le transazioni nel batch. zk-SNARK può proteggere efficacemente la privacy e ha una forte scalabilità. È elogiato da V God come la massima priorità nei prossimi 10 anni.

BitVM

BitVM deve essere introdotto qui. Prima di BitVM, il linguaggio di programmazione degli script di Bitcoin non era considerato Turing-completo. Nonostante gli sforzi di un gran numero di persone, questo problema non può essere risolto. Fino a quando Robin Linus non ha rilasciato una sensazionale BitVM nell'ottobre dello scorso anno, il metodo di Robin consisteva nel verificare un tipo speciale di porta logica sullo script Bitcoin, chiamata porta NAND (porta "NAND"). Questo è il principio di base dell'informatica , situato a livello fisico/elettrico. Tutti i calcoli possibili possono essere costruiti da porte NAND.

Recentemente, Robin ha proposto il piano di progettazione di BitVM 2. Invece di utilizzare direttamente porte NAND con script, vengono utilizzate per utilizzare un generico verificatore SNARK a conoscenza zero

L'importanza di BitVM è che può essere verificato utilizzando la rete Bitcoin senza aggiornamenti, biforcazioni o oneri aggiuntivi per Bitcoin. Il livello 2 esegue altri calcoli responsabili ed eredita la sicurezza della rete principale. A causa dell'enorme importanza di BitVM, molti layer2 sono costruiti sulla base di BitVM. Ad esempio, Bitlayer utilizza BitVM come componente principale e adotta la tecnologia della macchina virtuale a più livelli (Layered Virtual Machine) come soluzione di secondo livello.

In Zulu Network, anche BitVM è una presenza molto importante. Zulu è anche un contributore molto importante a BitVM. Si può dire che l'utilizzo degli script Bitcoin per implementare la verifica zk-SNARK è il passaggio fondamentale per BitVM. Zulu ha contribuito molto al repository di codice GitHub ufficiale di BitVM 2 ed è stato molto apprezzato da Robin Louis, l'inventore di BitVM.

La settimana scorsa, Zulu ha completato lo slicing dello script Groth16. Con 2 input pubblici, vengono divisi un totale di 1701 pedici, la dimensione è inferiore a 4 M e la profondità dello stack è < 1000. Il completamento della segmentazione degli script ZKP rappresenta un'altra pietra miliare nel viaggio di BitVM verso l'uso commerciale. Grazie all’eccellente lavoro di Zulu, BitVM2 potrà presto implementare la prima prova SNARK su Bitcoin. Ciò dimostra anche che anche la tecnologia di Zulu è in una posizione di leadership.

Nota sull'immagine: il progresso tecnologico di Zulu è stato ampiamente riconosciuto dall'inventore di BitVM Robin Louis

Infine, una breve introduzione a Zulu Network

Zulu Network è la prima rete a due livelli nell'ecosistema Bitcoin e il suo livello 2 è uno ZuluPrime compatibile con EVM. I progetti EVM possono essere implementati rapidamente e a basso costo per raggiungere la prosperità ecologica. L'altro livello è Layer3, chiamato ZuluNexus. Unifica in modo innovativo UTXO e i tipi di asset del conto e realizza l'innovazione dei contratti intelligenti basata sul modello UTXO. Ciò significa che può massimizzare i vantaggi di UTXO e supportare future innovazioni in UTXO. Zulu sta sviluppando due prodotti:

  • Un bridge Zulu in grado di verificare lo stato fuori catena tramite ZKP per supportare l'emissione di asset

  • Il primo bridge ZK decentralizzato per fornire agli utenti operazioni cross-chain di qualsiasi importo

Zulu non ha ancora emesso monete Coloro che vogliono partecipare in anticipo possono partecipare all'attuale evento di punti testnet di Zulu. Consulta la documentazione ufficiale per i dettagli https://www.yuque.com/zulunetworkzhongwenshequn/zvggg8/kr9epkg0v27rh860?singleDoc#