La visión de los desarrolladores de BitcoinBTC siempre ha sido escalar a través de soluciones de Capa 2, pero los casos de uso más avanzados se han visto limitados por la necesidad de puentes de custodia. La tecnología novedosa que utiliza pruebas de conocimiento cero (ZKP) podría resolver este enigma y finalmente permitir verdaderos contratos inteligentes de Bitcoin.
Nut-paragaph: además del almacenamiento de valor, los titulares de Bitcoin no pueden hacer mucho con sus Bitcoins debido al espacio de bloque limitado de la crimson de Bitcoin y la falta de programabilidad. Las técnicas emergentes de conocimiento cero podrían generar pruebas sucintas y fácilmente verificables sobre muchos tipos de eventos, lo que podría permitir que la pink de Bitcoin perciba el mundo exterior y, por lo tanto, habilitar casos de uso limitado.
Hasta ahora, la iniciativa ZeroSync ha surgido como un esfuerzo concertado para llevar ZKP a Bitcoin. Su primer objetivo es permitir la sincronización ultrarrápida de la cadena de bloques de Bitcoin habilitada por la verificación ZK. Eventualmente, quiere generar soporte para implementarlos en la capa base de Bitcoin.
Otro esfuerzo es Simplicity de Blockstream, un lenguaje de contrato inteligente que implementaría un verificador ZKP en Bitcoin.
Algunos ven a Bitcoin como un gigante robusto y difícil de mover, pero la realidad es que sus «limitaciones» son una característica de diseño. La crimson Bitcoin ha estado funcionando sin muchos contratiempos durante más de una década.
Mientras tanto, los contratos inteligentes, encabezados por la visión del desarrollador de la «computadora mundial» ETH de Ethereum, se han consolidado como esenciales para las aplicaciones de cadena de bloques más interesantes. Debido a su integridad de Turing, se pueden usar para cualquier cosa: finanzas descentralizadas, intercambios, creación de tokens, intercambio de imágenes de monos, llevar activos del mundo genuine a blockchain, identidad descentralizada y mucho más.
En 2023, hemos visto cómo Ordinals, una característica no deseada, limitada pero alucinante construida en la red Bitcoin que admite tokens tanto fungibles como no fungibles, ya causó un pequeño cisma en la comunidad. Intentar agregar contratos inteligentes directamente a Bitcoin causaría una división related a las controvertidas guerras de tamaño de bloque de 2017.
En cambio, varios proyectos se han centrado en crear soluciones L2 para expandir los usos de BTC fuera de la propia cadena de bloques de Bitcoin. Lightning es la solución más antigua que ha ganado cierta adopción (como consejos de Twittero intercambiar opciones de retiro), pero el enfoque de Lightning en pagos a pequeña escala y una cantidad significativa de inconvenientes fundamentales ha limitado sus aplicaciones más amplias.
Varios proyectos centrados en Bitcoin intentaron agregar capacidad de contrato inteligente a través de cadenas laterales, como las federaciones de Rootstock y Blockstream. Resulta que la definición de lo que constituye una cadena lateral está en disputa. El wiki de Bitcoin dice que cualquier cadena de bloques que tenga una versión fija de Bitcoin es una cadena lateral, lo que se aplicaría a Ethereum y a muchas otras cadenas. Otra definición implica el uso de Bitcoin como token de tarifa, pero esto no se aplica a todas las cadenas de Bitcoin Layer-2.
Si tuviéramos que definir las cadenas laterales como cadenas «espiritualmente adyacentes a Bitcoin», entonces la lista incluiría Rootstock, una cadena lateral que también se fusiona con Bitcoin StacksSTX, que utiliza su propio token para las tarifas pero deriva su consenso directamente del valor de Bitcoin Rollkit, que utiliza una técnica related a Ordinals para publicar datos L2 en la red Bitcoin así como Liquid de Blockstream.
Pero todos estos enfoques enfrentan un problema essential: la falta de contratos inteligentes completos de Turing en Bitcoin. Los paquetes acumulativos de Ethereum están diseñados para ser seguros porque la propia cadena de bloques, a través de contratos inteligentes de EVM, puede verificar la validez de los paquetes acumulativos. Esto no se puede hacer en Bitcoin. El problema también se extiende a la vinculación segura (o puente) de Bitcoin: todos los enfoques existentes se basan, hasta cierto punto, en mantener Bitcoin en billeteras multisig, cada una con diferentes compensaciones entre seguridad y capacidad.
Por ejemplo, Blockstream’s Liquid solo usa una federación de firmantes bastante centralizada, mientras que Interlay requiere que los usuarios publiquen un bono garantizado en exceso para el BTC puenteado, lo que beneficia la descentralización a costa de la capacidad.
Estas compensaciones no se pueden superar sin al menos algún tipo de cambio en la capa base de Bitcoin. Pero en lugar de adoptar contratos inteligentes por completo, una solución limitada para verificar los sistemas L2 podría ser la solución.
Un marco basado en pruebas de conocimiento cero (ZKP) parece ser el enfoque más prometedor. La primera propuesta provino de un documento de 2020 que proponía Zendoo, un sistema independiente de la implementación para verificar cadenas externas. Inspirado en esta idea, ZeroSync habilita una capa ZK sobre Bitcoin al generar pruebas sucintas de declaraciones complejas arbitrarias. Esto se complementa con Simplicity de Blockstream, un lenguaje de programación de bajo nivel y un modelo de máquina con semántica uncomplicated con pruebas formales.
Si bien ambas técnicas aún se encuentran en una etapa de investigación, ZeroSync y Simplicity, si se implementan, podrían resolver el espacio y la programabilidad limitados de las redes de Bitcoin, y colocar a Bitcoin como la capa de liquidación más segura para las cadenas laterales. Esto instantáneamente haría que el ecosistema fuera tan rico y útil como Ethereum, y también resolvería preocupaciones a largo plazo como el presupuesto de seguridad. Por lo tanto, las técnicas de conocimiento cero podrían ser la respuesta a la adopción masiva de Bitcoin más allá del almacenamiento de valor.
Sígueme en Gorjeo o LinkedIn.
