Tres informáticos alemanes han creado una organización suiza sin fines de lucro llamada ZeroSync Association para ayudar a escalar Bitcoin mediante el uso de pruebas de conocimiento cero (zk-proofs), una técnica criptográfica que ha ganado popularidad en la cadena rival Ethereum.

Las pruebas de conocimiento cero utilizan la criptografía para demostrar la validez de la información sin revelar la información en sí. El uso de una prueba zk para validar la cadena de bloques de Bitcoin significa que los nodos pueden sincronizarse casi instantáneamente en lugar de tomar horas (y a veces días) para descargar los 500 GB de datos actuales de la cadena.

ZeroSync ya ha producido un prototipo funcional que permite a los usuarios validar el estado (quién posee qué en este momento) y el historial de transacciones de la cadena de bloques de Bitcoin sin descargar toda la cadena ni confiar en un tercero.

El prototipo puede verificar las reglas de consenso de Bitcoin pero no las firmas de transacciones. También es un poco torpe y aún necesita optimizarse en cuanto a velocidad y seguridad, por lo que aún no está listo para el horario de máxima audiencia, pero lo importante es que funciona.

"Está en gran medida en la etapa de prototipo", dijo a CoinDesk el cofundador de ZeroSync, Robin Linus. "Pero la gran visión es que descargues ese megabyte de prueba y eso es tan bueno como si hubieras descargado los 500 gigabytes".

Los clientes ligeros o nodos de verificación de pago simple (SPV) siempre han existido en la cadena de bloques de Bitcoin. De hecho, Satoshi Nakamoto mencionó el concepto en su documento técnico original. Son fundamentales para dispositivos pequeños como teléfonos móviles que no pueden descargar toda la cadena de bloques.

"Es posible verificar los pagos sin ejecutar un nodo de red completo", escribió Satoshi. "La verificación es confiable siempre que nodos honestos controlen la red, pero es más vulnerable si la red es dominada por un atacante".

ZeroSync va un paso más allá al verificar las transacciones mediante pruebas criptográficas en lugar de simplemente confiar en nodos honestos como sugiere Satoshi.

"No tienes que confiar, ese es el punto", dijo Linus. “La prueba te lo demuestra, ese es el gran invento”.

Se puede utilizar un mecanismo a prueba de zk en pleno funcionamiento para habilitar una amplia gama de aplicaciones fuera del caso de uso principal de sincronización de nodos. ZeroSync ha creado un kit de herramientas para desarrolladores para habilitar aplicaciones como prueba de reservas en intercambios y compresión del historial de transacciones en protocolos de segunda capa como Taro de Lightning Labs.

Linus y su colega cofundador Lukas George unieron fuerzas en julio pasado para trabajar en la implementación de una prueba de cadena completa de la cadena de bloques de Bitcoin después de que la tesis universitaria de George sobre la implementación de una prueba de los encabezados de Bitcoin llamara la atención de Geometry Research.

Posteriormente, el equipo añadió a Tino Steffens a la mezcla; Los tres cofundadores tienen experiencia en informática.

Linus vivía en Santa Teresa, un remoto pueblo costero en la península de Nicoya en Costa Rica que tiene un cajero automático con toque de queda a las 10 de la noche. Esto volvió loco a Linus y lo obligó a investigar métodos de pago alternativos. Se topó con Bitcoin, se hizo amigo del respetado "brujo de Bitcoin" Ruben Somsen (quien acuñó el término "ZeroSync") y el resto, como dicen, es historia.

"A partir de ahí, comencé a aprender más y más sobre criptografía", dijo Linus. “Desarrollé algunas habilidades con el tiempo y luego Rubén me recomendó a Geometry Research. Me ofrecieron la oportunidad de crear pruebas STARK para Bitcoin y así fue como me puse en contacto con Lucas".