El equipo de ZeroSync desarrolló un sistema para verificar el estado más reciente del archivo y la red Bitcoin, que se basa en pruebas STARK, un tipo de prueba criptográfica de conocimiento cero. La herramienta puede usarse desde el navegador o instalarse en una computadora, y tiene la ventaja de que utiliza menos recursos computacionales que las pruebas criptográficas implementadas actualmente.

En una primera etapa, Los nodos Bitcoin y los clientes ligeros pueden verificar las cabezas de los bloques, que tienen un hash de identificación, información sobre la validez de las transacciones contenidas, la prueba de trabajo y el nivel de dificultad de la red.

Según el equipo de ZeroSync, después de completar la primera etapa del proyectoactualizaciones sucesivas ofrecerá estados de Bitcoin más completos que se verifican con prueba de conocimiento cero, un protocolo criptográfico que permite a una parte (el probador) demostrarle a otra parte (el verificador) que conoce un secreto sin revelar ninguna información adicional sobre ese conocimiento (por ejemplo, demostrar que se realizó una transacción sin revelar desde qué dirección ). En otras palabras, en esta etapa del desarrollo de la herramienta no se pueden verificar transacciones individuales ni firmas digitales.

Cabe señalar que este protocolo no requiere ninguna modificación en el código de Bitcoin, ya que funciona en el lado del cliente (nodos o computadoras que ejecutan el software de Bitcoin).

El protocolo se puede utilizar desde el navegador (manifestación), desde un iPhone (manifestación) y por clientes ligeros de billeteras o nodos instalar la herramienta disponible código abierto en GitHub.

En términos prácticos, la verificación del estado de Bitcoin con conocimiento cero podría proporcionar mayor escalabilidad, privacidad y seguridad en aplicaciones y redes de segunda capa, como señalan los desarrolladores de ZeroSync.

Por ejemplo, la red relámpago Puede lograr mayores niveles de privacidad a través del enrutamiento de canales privados o la compresión del historial de transacciones para protocolos de validación del lado del cliente, como Activo de raíz principal y RGB. También podría ser explotado por cadenas laterales como Liquid o Counterparty.

La prueba STARK

ZeroSync utiliza una prueba de conocimiento cero (ZKP) llamada prueba zkSTARK (conocimiento cero prueba de conocimiento transparente escalable). Este tipo de pruebas no requiere grandes recursos computacionales ni descargar el estado completo de Bitcoin, algo similar a lo que hacen los clientes de billeteras ligeras.

De esta forma, ZeroSync permite a cualquier nodo conocer el estado del lote de cabezas de bloque (simultáneos o en secuencia), utilizando, entre otras características, la recursividad, que es un proceso que utiliza una función que se llama a sí misma o llama a otras. El encabezado del bloque proporciona información vital sobre el estado de la red, lo que ayuda a mantener la integridad del archivo.

Como indio Olaoluwan Osuntokun, desarrollador y CTO de Lightning Labs, una prueba sencilla de cabezas de bloqueIndependientemente de la cantidad de bloques, solo se requieren 1,4 kb de almacenamiento.

Por su parte, Robin Linus, uno de los desarrolladores de ZeroSync, explicado que si 14 computadoras (servidores) realizan pruebas, con una velocidad de reloj de 5Ghz, 500 GB de almacenamiento y 1T de información intercambiada, durante 8 días, probablemente cueste USD 4.000. Verificación (lado del cliente), por su parte, sólo requiere 200 KB y sólo tardaría 5 segundos en un iPhone.

El idioma cairota

La herramienta utiliza una arquitectura (o lenguaje) de CPU llamada Cairo, que le permite verificar instantáneamente la validez de las pruebas ejecutadas en la cadena Bitcoin.

Pruebas convencionales de conocimiento cero, técnicas criptográficas que permiten a un participante demostrarle a otro que conoce un secreto sin revelarlo. Son computacionalmente exigentes. “Esto hace que el proceso de representar una afirmación que se desea probar o verificar sea bastante complicado, ya que este proceso requiere un nuevo conjunto de ecuaciones para cada afirmación”, afirma. leer en el documento técnico del proyecto.

El idioma de El Cairo, junto con el test STARK, reduce la demanda computacional porque le permite escribir un programa que describe una declaración que desea probar (por ejemplo, cuál es el último estado de la red y el archivo Bitcoin) sin escribir conjuntos de ecuaciones complejas.

Para utilizar Cairo, debe activar el entorno Python en el que está instalada la herramienta. Sin embargo, ya existe un prototipo que se puede ejecutar desde el navegador. Este verificador principal de Bitcoin se ejecuta como demostración y utiliza miniSTARK, una implementación impulsada por GPU, a través de WebAssembly, un formato de código binario portátil para la ejecución completa de scripts del lado del cliente en el navegador.

“Este prototipo es un trabajo en progreso”, se lee en el sitio web, por lo que advierten que en este punto del desarrollo aún no se puede verificar ninguna transacción. “Es demasiado pronto para invertir importantes recursos computacionales en generar una prueba de toda la cadena. Sin embargo, a medida que avancemos, mantendremos esta demo actualizada con pruebas de cadena más largas y completas”, indican.

Desde hace varios años, los desarrolladores de Bitcoin han discutido la posibilidad de integrar pruebas de conocimiento cero, compatibles con Bitcoin. Este parece ser un paso importante en esa dirección, donde los desarrolladores de Ethereum ya han emprendido un viaje interesante.