L'espansione DeFi Bitcoin affronta il dilemma del fork mentre gli sviluppatori esplorano le prove ZK

Gli sviluppatori Bitcoin cercano di espandere la blockchain Finanza decentralizzataÈ probabile che le funzionalità (DeFi) prendano in considerazione le prove a conoscenza zero (ZK), funzionalità che al momento non sono disponibili e che richiedono un cosiddetto soft fork, o una nuova versione del software, per essere introdutte.

Questo è un problema, secondoEdan Yago, un veterano Bitcoin da oltre un decennio e collaboratore CORE del sistema operativo per contratti intelligenti BitcoinOS (BOS).

"Forcare una blockchain, soprattutto ONE con un valore di 2 trilioni di dollari, è come un intervento chirurgico a cuore aperto", ha detto Yago a CoinDesk in un'intervista. "Ovviamente, gli hard fork sono molto più problematici, ma penso che introdurre qualsiasi tipo di fork sia rischioso".

Una forchetta è unamodifica al codice di una blockchain che richiede una divergenza a un certo punto su un percorso separato. I fork possono essere "soft", ovvero le versioni più vecchie possono ancora interagire con quella ONE, o "hard", ovvero rendono le versioni più vecchie incompatibili e richiedono a tutti gli utenti di aggiornare il loro software.

Le prove ZK sono un metodo crittografico per dimostrare la validità delle affermazioni mantenendo la Privacy senza rivelare alcuna informazione su di esse. La funzionalità non è disponibile nel software di Bitcoin, ma potrebbe esserlo tramite implementazioni proposte come OP_CAT e OP_CTV. Yago ha detto che gli sviluppatori dovrebbero essere in grado di trovare modi per abilitarli su Bitcoin senza alcun tipo di fork.

"L'onere della prova spetta agli sviluppatori: dimostrare che non esiste altro modo per raggiungere questo obiettivo tramite un'ingegneria intelligente", ha affermato.

Questo è ciò che BOS spera di ottenere attraverso BitSNARK, un Bitcoin protocollo di rollupche fa parte della famiglia di paradigmi di elaborazione sviluppati per scalare la blockchain originale. Questi sono emersi in seguitol'introduzione di BitVM da parte di Robin Linus nell'ottobre 2023, che ha definito un quadro per l'abilitazione di contratti intelligenti simili a Ethereum su Bitcoin.

BitcoinOS ha oraopen source ciò che Yago descrive come un protocollo BitSNARK "completamente pronto per la produzione", il che significa che gli sviluppatori ora hanno accesso alla verifica ZK su Bitcoin e possono collegarlo ad altre blockchain come Ethereum, Solana e Cardano.

BitSNARK consente agli sviluppatori di prendere programmi grandi e complessi e di dimostrare i risultati dei calcoli in soli 300 byte che possono essere verificati nelle transazioni Bitcoin standard. Ciò potrebbe aprire la strada a BTCFi, un termine usato per DeFi su Bitcoin, tramite l'abilitazione di ponti cross-chain, exchange decentralizzati e stablecoin supportate da Bitcoin (BTC).

Mentre ci sononumerosi progetti cercando di introdurre la Finanza decentralizzata su Bitcoin, si affidano all'uso di codici OP_CAT o OP_CTV, che richiedono un fork nel software della blockchain. Yago vuole raggiungere la stessa destinazione tramite un percorso diverso.