Los usuarios de Bitcoin (BTC) pronto podrán usar pruebas de conocimiento cero (pruebas ZK) para acelerar el proceso de verificación de bloques individuales y, eventualmente, toda la cadena de bloques.
ZeroSync Association, una organización sin fines de lucro con sede en Suiza, está desarrollando herramientas que permiten a los usuarios validar el estado de la red de Bitcoin sin tener que descargar la cadena de bloques o confiar en un tercero para la verificación.
ZeroSync se formó para desarrollar y mantener un software de código abierto que permite pruebas ZK sucintas en la cadena de bloques de Bitcoin. El grupo utiliza las pruebas de validez del argumento de conocimiento transparente escalable de conocimiento cero (zk-STARK) propiedad de StarkWare para generar pruebas ZK para la red de Bitcoin.
La herramienta promete revisar el proceso de verificación de la cadena de bloques de Bitcoin, que aún requiere que los operadores de nodos descarguen una gran cantidad de datos para sincronizar el estado correcto de la red de Bitcoin.
ZeroSync está utilizando pruebas ZK para generar pruebas válidas y verificar el estado más reciente de la cadena de bloques casi instantáneamente.
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, incluidas Polygon, Arbitrum, Optimism y StarkNet.
Relacionado: El ‘santo grial’ de Polygon Ethereum-scaling zkEVM beta llega a la red principal
Un anuncio de la Asociación ZeroSync destaca la promesa de las pruebas ZK para la escalabilidad y la 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 de salida de transacción no gastada (UTXO) como una propuesta de valor única para aplicar pruebas recursivas.
ZeroSync señala que las herramientas ZK-Proof no requieren cambios de consenso ni suposiciones de confianza adicionales para la red Bitcoin y sus usuarios. La organización está creando 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 una experiencia de dominio profunda.
ZeroSync está en el proceso de crear un cliente para la descarga rápida del bloque inicial, así como de implementar la primera prueba completa del 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 está utilizando el El Cairo lenguaje de programación, cuyo pionero fue StarkWare, para crear programas comprobables por STARK para computación.
La herramienta de ZeroSync se encuentra actualmente en un estado de prototipo, pero tiene la capacidad de probar la validez de bloques individuales asumidos como válidos, que verifican todas las reglas de Bitcoin, excepto los scripts. El equipo también tiene un verificador de demostración en el navegador que funciona para las pruebas STARK de los bloques de Bitcoin.
La Asociación ZeroSync fue financiada inicialmente por Geometry y StarkWare, pero está estableciendo una entidad sin fines de lucro para permitir el desarrollo y mantenimiento continuos de las partes interesadas dentro de la comunidad de Bitcoin.
Una declaración del presidente y cofundador de StarkWare, Eli Ben-Sasson, quien co-inventó zk-STARKS, resumió la magnitud de las pruebas de ZK que llegan al ecosistema de Bitcoin:
“Después de años de frustración por la sincronización lenta, los usuarios podrán sincronizar con la red mucho más rápido y con menos cómputo. Es un salto tecnológico similar a la transición de Internet de acceso telefónico lento a banda ancha de alta velocidad”.
Lightning Labs, el equipo detrás de la capa 2 de Bitcoin El sistema de pago Lightning Network es un socio que contribuye al proyecto de ZeroSync.
La empresa tiene la intención de utilizar ZeroSync para impulsar pruebas de historial de transacciones comprimidas para su protocolo Taproot Asset Representation Overlay (Taro), cuyo objetivo es impulsar la emisión de activos digitales en la cadena de bloques de Bitcoin.