Los usuarios de Bitcoin pronto podrán utilizar pruebas de conocimiento cero (pruebas ZK) para acelerar el proceso de validación de bloques individuales y, finalmente, de toda la cadena de bloques.
La Asociación ZeroSync, una organización sin fines de lucro con sede en Suiza, está desarrollando una herramienta que permitiría a los usuarios verificar el estado de la red Bitcoin sin tener que descargar la cadena de bloques o confiar en un tercero para la verificación.
ZeroSync se fundó para desarrollar y mantener software de código abierto para permitir pruebas ZK concisas en la cadena de bloques de Bitcoin. El equipo utilizó la prueba de validez del Argumento de conocimiento transparente escalable y escalable de conocimiento cero (zk-STARK), propiedad de StarkWare, para generar pruebas ZK para la red Bitcoin.
La herramienta promete revolucionar el proceso de validación de la cadena de bloques de Bitcoin, que aún requiere que los operadores de nodos descarguen grandes cantidades de datos para sincronizar el estado correcto de la red de Bitcoin.
ZeroSync utiliza pruebas ZK para, en última instancia, generar pruebas válidas y verificar el último estado de la cadena de bloques casi al instante.
Las pruebas ZK han sido una revelación para el ecosistema Ethereum, con varios métodos de prueba que impulsan múltiples plataformas de escalamiento de capa 2, incluidas Polygon, Arbitrum, Optimism y StarkNet.
Un anuncio de la Asociación ZeroSync subraya el compromiso de las pruebas ZK con la escalabilidad y la privacidad de blockchain al proporcionar pruebas de "tamaño casi fijo" para verificar grandes cálculos.
El trabajo del proyecto fue pionero en el uso de pruebas ZK en la red Bitcoin, y el grupo describe la relativa simplicidad y el modelo de salida de transacciones no gastadas (UTXO) de Bitcoin como propuestas de valor únicas para aplicar pruebas recursivas.
ZeroSync señaló que la herramienta ZK-Proof no requiere cambios de consenso ni suposiciones de confianza adicionales en la red Bitcoin y sus usuarios. La organización está creando un kit de desarrollo de software que permite a los desarrolladores generar pruebas de validez personalizadas para casos de uso específicos sin requerir una gran experiencia en el dominio.
ZeroSync está creando un cliente para descargas iniciales rápidas de bloques, además de implementar la primera prueba completa del consenso de Bitcoin. El cliente permitirá a los usuarios sincronizar nodos completos sin realizar cambios en el código de Bitcoin Core.
ZeroSync utiliza el lenguaje de programación Cairo del que StarkWare fue pionero para crear programas computacionales demostrables STARK.
La herramienta de ZeroSync se encuentra actualmente en un estado de prototipo, pero es capaz de demostrar la validez de un único bloque supuestamente válido, validando todas las reglas de Bitcoin excepto los scripts. El equipo también tiene un validador de demostración en el navegador disponible para pruebas STARK de bloques de Bitcoin.
La Asociación ZeroSync está financiada inicialmente por Geometry y StarkWare, pero se está estableciendo como una entidad sin fines de lucro para apoyar el desarrollo y mantenimiento continuo por parte de las partes interesadas dentro de la comunidad Bitcoin.
El presidente y cofundador de StarkWare, Eli Ben-Sasson, quien co-inventó zk-STARKS, resumió la importancia de que las pruebas ZK ingresen al ecosistema de Bitcoin en una declaración:
"Después de sentirse frustrados por las sincronizaciones lentas, los usuarios podrán sincronizar con la red más rápido y con menos cálculos. Este es un salto tecnológico similar al cambio de la lenta conexión telefónica a Internet a la banda ancha de alta velocidad".
Lightning Labs, el equipo detrás del sistema de pago Lightning Network Layer 2 de Bitcoin, es un socio colaborador del proyecto ZeroSync.
La compañía tiene la intención de utilizar ZeroSync para proporcionar pruebas comprimidas del historial de transacciones para su protocolo Taproot Asset Representation Overlay (Taro), que está diseñado para impulsar la emisión de activos digitales en la cadena de bloques de Bitcoin.