Las pruebas de conocimiento-cero llegan a Bitcoin: un cambio a la validación del estado de la red
Los usuarios de Bitcoin (BTC) pronto podrán utilizar pruebas de conocimiento cero (ZK-proofs) para agilizar el proceso de verificación de bloques individuales y, con el tiempo, de toda la red blockchain.
ZeroSync Association, una organización sin ánimo de lucro con sede en Suiza, está desarrollando herramientas que permiten a los usuarios validar el estado de la red Bitcoin sin tener que descargar toda la blockchain o confiar en un tercero para su verificación.
ZeroSync se formó para desarrollar y mantener software de código abierto que permite pruebas ZK sucintas en la blockchain de Bitcoin. El grupo utiliza las pruebas de validez Zero-Knowledge Scalable Transparent Argument of Knowledge (zk-STARK), propiedad de StarkWare, para generar pruebas de conocimiento cero para la red Bitcoin.
La herramienta promete revisar el proceso de verificación de la red Bitcoin, que aún requiere que los operadores de los nodos descarguen una gran cantidad de datos para sincronizar el estado correcto de la red Bitcoin.
ZeroSync utiliza pruebas de conocimiento cero para generar pruebas válidas y verificar el último estado de la blockchain de forma casi instantánea.
Las pruebas conocimiento cero han sido una revolución para el ecosistema Ethereum, con varios métodos de prueba que impulsan varias plataformas de escalado de capa 2, como Polygon, Arbitrum, Optimism y StarkNet.
Un anuncio de la ZeroSync Association destaca la promesa de las pruebas de conocimiento cero para la escalabilidad y la privacidad de la cadena de bloques al proporcionar pruebas de tamaño “casi fijo” que verifican grandes cálculos.
El trabajo del proyecto es pionero en la aplicación de pruebas de conocimiento cero para la red Bitcoin, y la organización describe la relativa simplicidad de Bitcoin y el modelo Unspent Transaction Output (UTXO) como una propuesta de valor única para aplicar pruebas recursivas.
ZeroSync señala que las herramientas ZK-Proof no requieren cambios en el consenso ni supuestos de confianza adicionales para la red Bitcoin y sus usuarios. La organización está construyendo un kit de desarrollo de software que permitirá a los desarrolladores generar pruebas de validez personalizadas para casos de uso específicos sin necesidad de conocimientos especializados.
ZeroSync está en proceso de construir un cliente para la descarga rápida de bloques iniciales, así como de implementar la primera prueba completa de consenso de Bitcoin. El cliente permitirá a los usuarios sincronizar un nodo completo sin realizar cambios de código en el núcleo de Bitcoin.
ZeroSync utiliza el lenguaje de programación Cairo, promovido por StarkWare, para crear programas de cálculo susceptibles de STARK.
La herramienta de ZeroSync se encuentra actualmente en estado de prototipo, pero es capaz de probar la validez de bloques individuales supuestamente válidos, que verifican todas las reglas de Bitcoin excepto los scripts. El equipo también dispone de un verificador de demostración en navegador para las pruebas STARK de bloques de Bitcoin.
La ZeroSync Association fue financiada inicialmente por Geometry y StarkWare, pero está creando una entidad sin ánimo de lucro para permitir el desarrollo y mantenimiento continuos por parte de los interesados de la comunidad Bitcoin.
Una declaración del presidente y cofundador de StarkWare, Eli Ben-Sasson, co-inventor de zk-STARKS, resume la magnitud de las pruebas ZK que llegan al ecosistema Bitcoin:
“Tras años de frustración por la lentitud de la sincronización, los usuarios podrán sincronizar con la red mucho más rápido y con menos cálculos. Es un salto tecnológico similar a la transición de la lenta conexión telefónica a Internet a la banda ancha de alta velocidad”.
Lightning Labs, el equipo que está detrás de Lightning Network; una red de pago de capa 2 para Bitcoin, es un socio colaborador del proyecto de ZeroSync.
La empresa pretende utilizar ZeroSync para impulsar las pruebas del historial de transacciones comprimidas para su protocolo Taproot Asset Representation Overlay (Taro), cuyo objetivo es impulsar la emisión de otros activos digitales en la blockchain Bitcoin.
Aclaración: La información y/u opiniones emitidas en este artículo no representan necesariamente los puntos de vista o la línea editorial de Cointelegraph. La información aquí expuesta no debe ser tomada como consejo financiero o recomendación de inversión. Toda inversión y movimiento comercial implican riesgos y es responsabilidad de cada persona hacer su debida investigación antes de tomar una decisión de inversión.
Las inversiones en criptoactivos no están reguladas. Es posible que no sean apropiados para inversores minoristas y que se pierda el monto total invertido. Los servicios o productos ofrecidos no están dirigidos ni son accesibles a inversores en España.
