La Asociación ZeroSync, una organización sin fines de lucro con sede en Suiza, es pionera en el uso de pruebas de conocimiento cero (pruebas ZK) para la validación de la red Bitcoin. Las herramientas de código abierto de ZeroSync permiten a los usuarios validar el estado de la red de Bitcoin sin tener que descargar toda la cadena de bloques o confiar en un tercero para la verificación.
La organización está desarrollando y manteniendo un software 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) patentado de StarkWare para generar pruebas ZK sucintas para la red de Bitcoin.
El uso de pruebas ZK por parte de ZeroSync promete revisar el proceso de verificación de la cadena de bloques de Bitcoin. Los operadores de nodos actualmente tienen que descargar una gran cantidad de datos para sincronizar el estado correcto de la red Bitcoin. Sin embargo, con las pruebas ZK, ZeroSync tiene como objetivo generar pruebas válidas y verificar el estado más reciente de la cadena de bloques casi instantáneamente.
Si bien las pruebas ZK han sido una revelación para el ecosistema Ethereum, impulsando varias plataformas de escalado de capa 2, el anuncio de ZeroSync 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.
ZeroSync es pionera 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.
Biden insta a las empresas de tecnología a priorizar la seguridad en el desarrollo de IALa 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 gran experiencia en el dominio. El kit permitirá a los usuarios implementar pruebas ZK para casos de uso específicos al tiempo que garantiza la compatibilidad con las reglas y regulaciones de Bitcoin.
La herramienta de ZeroSync se encuentra actualmente en 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.
ZeroSync está utilizando el lenguaje de programación Cairo, iniciado por StarkWare, para crear programas de cómputo comprobables por STARK. La organización está creando un cliente para la descarga rápida del bloque inicial e implementando 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.
Geometry y StarkWare financiaron inicialmente la Asociación ZeroSync, pero la organización 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.
En general, las herramientas de ZeroSync revolucionarán el proceso de validación de la cadena de bloques de Bitcoin, poniendo las pruebas ZK al frente del ecosistema de Bitcoin. El uso de pruebas ZK permitirá a los usuarios de Bitcoin validar el estado de la red de manera más eficiente y segura, sin tener que confiar en verificadores de terceros.
Contenido relacionado:
MicroStrategy adquiere más Bitcoin en medio de la recuperación del mercado