BTC Warp, una solución innovadora basada en la tecnología zkSNARK y desarrollada por Succint Labs, busca optimizar la sincronización de nodos en la red Bitcoin. Para ello, implementa pruebas de conocimiento cero (zk) para la sincronización “instantánea”.

Él software Obtiene nodos para actualizar a la última versión de la cadena de bloques o el libro mayor de Bitcoin sin necesidad de descargar y validar cada bloque individualmente. Si bien actualmente se enfoca en nodos livianos, el equipo detrás del proyecto tiene como objetivo abarcar la verificación de bloque completo para todo tipo de nodos.

BTC Warp usa zkSNARK para verificar que un encabezado cumpla con los requisitos de prueba de trabajo. Gracias a esta solución se reduce significativamente el tamaño necesario para el almacenamiento contable, que pasaría de aproximadamente 64 MB a 30 kB por bloque.

¿Y qué es zkSNARK? En palabras de Vitalik Buterin, co-creador de Ethereum, zkSNARK es un método que permite generar una prueba de que cierto cálculo tiene una solución particularde tal manera que la prueba se puede verificar extremadamente rápido, incluso si el cálculo subyacente tarda mucho tiempo en ejecutarse.

Las pruebas de conocimiento cero ya están implementadas en las soluciones de escalabilidad de Ethereum llamados rollups, como Polígono zkEVM. Precisamente, el test que Succint Labs utilizó para sus experimentos es Plonky2, desarrollado por Polygon Labs.

Los zkSNARK se pueden utilizar de forma recursiva, es decir, se pueden aplicar de nuevo para comprobar si hay otros SNARK. “Usando SNARK recursivos, podemos paralelizar la generación de pruebas, mejorando así la escalabilidad, la eficiencia computacional y el grado de centralización”, dice el texto. En BTC Warp, este método se aplicó en circuitos de verificación en forma de árbol en los que se avanza desde las hojas hasta la raíz para la verificación de datos, explicar Sus creadores.

“En pocas palabras, el algoritmo de verificación del encabezado del bloque de Bitcoin verifica que el trabajo del encabezado sea menor o igual que los bits de dificultad y que el hash del bloque anterior del bloque actual coincida con el hash del encabezado anterior”.

—Succint Labs, sobre zkSNARK para nodos ligeros de Bitcoin.

El principal problema para la implementación de BTC Warp tiene que ver con los costos para implementar zkSNARK con la función hash SHA-256 utilizada por Bitcoin. Ese será uno de los principales puntos a abordar en el corto plazo para estos desarrolladores.

Complejidad de la sincronización de nodos en Bitcoin

La sincronización de nodos ligeros puede llevar mucho tiempo debido al aumento del tamaño de los cadena de bloques bitcoin, que ya cuenta con más de 796.000 bloques. Cada bloque incluye aproximadamente 2.000 transacciones.

A diferencia de los nodos completos, los nodos ligeros, también conocidos como SPV (Verificación de pago simple), solo almacenan una versión que contiene los encabezados de cada bloque, y no el registro completo del libro mayor, para interactuar con la red.

Casos de uso de BTC Warp

Esta solución técnica también abre nuevas posibilidades en términos de casos de uso. Por ejemplo, en BTC Relay, una herramienta que permite la verificación segura de las transacciones de Bitcoin en contratos de ethereumBTC Warp podría mejorar la eficiencia y la seguridad de las transacciones al acelerar en gran medida la sincronización de encabezados de bloque.

Las billeteras móviles también se beneficiarían de BTC Warp. Esto se debe a que, al proporcionar una forma confiable de sincronizar nodos livianos sin tener que descargar y validar cada bloque, brinda a los usuarios la opción de acceder a Bitcoin desde dispositivos móviles con recursos limitados.