-Advertisement-
Los usuarios de Bitcoin (BTC) pronto podrán utilizar pruebas de conocimiento-cero (ZK-proofs) para acelerar el proceso de verificación de bloques individuales y, eventualmente, de toda la cadena de bloques.
ZeroSync Association, una organización sin ánimo de lucro con sede en Suiza, está desarrollando herramientas que permitan a los usuarios validar el estado de la red Bitcoin sin tener que descargar la blockchain o confiar en un tercero para su verificación.
ZeroSync se formó para desarrollar y mantener un software de código abierto que permite realizar comprobaciones 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 ZK para la red Bitcoin.
La herramienta promete revisar el proceso de verificación de la cadena de bloques de Bitcoin, que todavía 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 ZK para generar eventualmente pruebas válidas y verificar el último estado de la blockchain de forma casi instantánea.
Las pruebas ZK han sido una revelación para el ecosistema Ethereum, con varios métodos de prueba que impulsan varias plataformas de escalado de capa 2, incluyendo Polygon, Arbitrum, Optimism y StarkNet.
Relacionado: El “santo grial” del escalado de Ethereum zkEVM beta de Polygon llega a la mainnet
Un anuncio de la ZeroSync Association destaca la promesa de las pruebas ZK para la escalabilidad y privacidad de blockchain 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 ZK 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 o supuestos adicionales de confianza 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á construyendo un cliente para la descarga rápida de bloques iniciales, así como la implementación de la primera prueba completa de consenso de Bitcoin. El cliente permitirá a los usuarios sincronizar un nodo completo sin realizar cambios en el código del núcleo de Bitcoin.
ZeroSync está utilizando el El Cairo lenguaje de programación, promovido por StarkWare, para crear programas de cálculo STARK-probables.
La herramienta de ZeroSync se encuentra actualmente en estado de prototipo, pero tiene la capacidad de probar la validez de bloques individuales supuestamente válidos, que verifican todas las reglas de Bitcoin excepto los scripts. El equipo también tiene un verificador de demostración en navegador para pruebas STARK de bloques Bitcoin.
La Asociación ZeroSync fue financiada inicialmente por Geometry y StarkWare, pero está estableciendo una entidad sin ánimo de lucro para permitir el desarrollo y mantenimiento continuos de las partes interesadas dentro 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 sincronizarse 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 del sistema de pago Bitcoin layer-2 Lightning Network, es un socio colaborador del proyecto de ZeroSync.
La empresa tiene la intención de 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 activos digitales en la blockchain de Bitcoin.
Source: COIN TELEGRAPH