La recién formada Asociación ZeroSync incorpora pruebas de conocimiento cero a Bitcoin

Tres científicos informáticos alemanes han creado una organización suiza sin fines de lucro llamadaAsociación ZeroSync para ayudar a escalar Bitcoin mediante el uso de pruebas de conocimiento cero (pruebas zk), una técnica criptográfica que tiene explotó en popularidad en la cadena rival Ethereum.

Las pruebas de conocimiento cero utilizan la criptografía para demostrar la validez de la información sin revelarla. Usar una prueba de conocimiento cero para validar la cadena de bloques de Bitcoin significa que los nodos pueden sincronizarse casi instantáneamente en lugar de tardar horas (y a veces días) en descargar la información actual de la cadena. 500 GBde datos.

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 las transacciones. Además, es un BIT torpe y aún necesita optimizarse para mejorar su velocidad y seguridad, por lo que aún no está listo para su PRIME , pero lo importante es que funciona.

"Está en fase de prototipo", declaró Robin Linus, cofundador de ZeroSync, a CoinDesk. "Pero la idea principal es que al descargar ese ONE de prueba, sea tan válido como si hubieras descargado los 500 gigabytes".

Los clientes ligeros o nodos de verificación de pagos simples (SPV) siempre han existido en la cadena de bloques de Bitcoin . De hecho, Satoshi Nakamoto mencionó el concepto en El libro blanco de BitcoinSon fundamentales para dispositivos pequeños como los teléfonos móviles que no pueden descargar la cadena de bloques completa.

“Es posible verificar pagos sin ejecutar un nodo completo de la red”, escribió Satoshi. “La verificación es fiable mientras nodos honestos controlen la red, pero es más vulnerable si la red es superada por un atacante”.

ZeroSync va un paso más allá al verificar las transacciones a través de pruebas criptográficas en lugar de simplemente confiar en nodos honestos como sugirió Satoshi.

—No T que confiar. De eso se trata —dijo Linus—. La prueba te lo demuestra. Ese es el gran invento.

Un mecanismo a prueba de zk completamente funcional permite una amplia gama de aplicaciones más allá del caso de uso principal de sincronización de nodos. ZeroSync ha creado un kit de herramientas para desarrolladores que permite aplicaciones como la prueba de reservas en exchanges y la compresión del historial de transacciones en protocolos de segunda capa como los de Lightning Labs.Taro.

Linus y su compañero cofundador Lukas George unieron fuerzas en julio 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 Investigación en geometría.

Posteriormente, el equipo sumó a Tino Steffens al equipo; los tres cofundadores tienen experiencia en informática.

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

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