Bitcoin PIPE, una proposta de Mikhail Komarov, busca implementar Covenants i Prova de Coneixement Zero (ZKP) a Bitcoin sense necessitar un soft fork a la xarxa. Aquestes programacions portarien beneficis de privadesa (proves SNARK) i usabilitat a Bitcoin, a través de contractes intel·ligents o dissenys més complexos i avançats de transaccions.
La intenció d’afegir aquests avenços a la capa base de Bitcoin no és nova, però aquesta proposta és la primera que, si s’implementés, no suposaria una bifurcació de la xarxa.
PIPE evitaria aquesta bifurcació a través de l’emulació de convenants o convenis a la programació de Bitcoini no a través de la seva implementació directa, històricament constreta per la grandària permesa dels Bitcoin Scripts.
“Malgrat diverses propostes (per exemple, BIP-420) per tornar a habilitar o introduir nous codis d’operació, aquests canvis no s’han adoptat, cosa que deixa la verificació ZKP a Bitcoin L1 com un desafiament sense resoldre”.
Mikhail Komarov, desenvolupador de ZKP
Què són els Convenants i què aportarien a Bitcoin?
La implementació de Covenants, per exemple, introduiria un llenguatge i una capa de programabilitat més flexible i avançada a Bitcoin.
En poc de paraules, els convenants són definibles com a restriccions condicionals imposades a les transaccions de Bitcoin. Defineixen regles sobre on i com es poden gastar els BTC.
La introducció d’aquests faria que Bitcoin tendís a igualar-se a la carrera amb xarxes més enfocades a la creació d’aplicació descentralitzades i contractes intel·ligentscom Ethereum o Solana. La flexibilitat pròpia d’aquestes xarxes es demostra que allotgen una varietat de jocs, serveis financers i solucions tecnològiques que, avui dia, estan fora de l’abast de la programabilitat de Bitcoin.
La dificultat històrica d’implementar covenants a Bitcoin és perquè fer-ho de la manera tradicional exigeix introduir nous codis d’operació (codis operatius), codis o regles d’execució a la programació de Bitcoin. Això portaria canvis als Bitcoin Scripts (o base de regles de programació de Bitcoin). Alhora, tots dos canvis introduirien modificacions irreversibles a les regles de consens a la xarxa.
Qualsevol proposta que modifiqui els codis operatius i causi una bifurcació, com BIP-119 o l’esmentada BIP-420, necessitaria mobilitzar la comunitat Bitcoiner en general perquè s’adaptin al nou programari i les noves regles. Alguna cosa així resultaria costós per a tots els involucrats a la xarxa, raó per la qual aquestes propostes del passat han estat infructuoses i rebutjades majoritàriament.
Per a Mikhail Komarov, aquest soft fork a Bitcoin és la solució òbvia, però no la millor per implementar covenants: “actualitzar el protocol de Bitcoin, per introduir (o reintroduir) codis d’operació absents (codis operatius). Lamentablement, això porta a la necessitat d’aconseguir un consens social, que és un procés força complicat”.
Emulant els covenants a Bitcoin
El desenvolupador comenta que el proper pas per portar els covenants absents a Bicoin, atesa la dificultat que representa modificar els codis operatiusés “emular-los per a una aplicació particular”. El procediment per emular-los està contingut al paper de Bitcoin PIPE.
Emular certs covenants a Bitcoin permetrà la implementació de les proves zk-SNARK (Zero-Knowledge Argument succint no interactiu del coneixement), un tipus de prova criptogràfica que permet a una part (“mostres”) demostrar a una altra part (“verificador”) que posseeix certa informació sense revelar aquesta informació en si mateixa. Aquest model de verificació evitaria la presentació indesitjada d’informació dels participants en transar no Bitcoin.
Els covenants són essencials per introduir les proves SNARK a Bitcoin perquè el seu llenguatge de programació permetria implementar la verificació de rutes de l’arbre de Merkle.
Aquest tipus de verificació permetria transaccions més privades, unes on els detalls romanen ocults, encara que segueixin sent verificables pels participants.
Les proves SNARK pretenen resoldre problema de pseudoanonimat a Bitcoin, on les transaccions són públiques i rastrejables. Per bé o per mal, l’estat actual de la programabilitat de les dades de transacció a Bitcoin permet traçar, amb relativa facilitat, les activitats financeres dels usuaris. Aquestes proves de coneixement zero integren una capa extra d’anonimat, molt necessària per als usuaris orientats a la privadesa.
Cal destacar que les proves SNARK tenen una fortalesa extra: són compatibles amb l’encaminador ceba (TOR) i altres tecnologies de navegació privada per Internetla qual cosa augmenta el potencial de Bitcoin en la direcció duna xarxa més anònima i segura.
Com va informar CriptoNoticias, Bitcoindevs va treure a la llum una experiència d’aprenentatge interactiva sobre la programabilitat de BTC, anomenada Decoding Bitcoin.
A través de miniprogrames interactius i simples, els mòduls educatius permeten entendre conceptes i aplicacions com Bitcoin scripts i codis operatiusel que pot resultar útil per entendre els beneficis (i limitacions) de les proves SNARKS, els convenants i altres avenços informàtics a Bitcoin.
