Bitcoin innova: Llegan las pruebas de conocimiento-cero

¿Qué buscan las pruebas de conocimiento-cero?

Esta medida se implementa buscando poder agilizar el proceso de verificación que tienen los bloques individuales. Además, se espera que con el paso del tiempo se pueda hacer esto en toda la red blockchain.

Un ente que contribuye a su desarrollo

Nos referimos a ZeroSync Association, que es una organización sin ánimos de lucro, que cuenta con su sede en Suiza. Este ente está encargado de desarrollar herramientas que den acceso a todos los usuarios que tengan la posibilidad de validar el estado de la red de Bitcoin, sin verse en la obligación de tener que descargar toda la blockchain, o, por lo contrario, tener que confiar en otra persona para poder hacer su verificación.

Adicionalmente, a esto, la organización se formó para poder desarrollar y emplear un software de código abierto que brinde la chance de hacer pruebas ZK sucintas en la blockchain de Bitcoin. 

Por si fuera poco, ZeroSync emplea las pruebas de validez Zero-Knowledge Scalable Transparent Argument of Knowledge. Es importante destacar que estas son propiedad de StarkWare, que tiene como propósito hacer pruebas de conocimiento-cero.

¿Qué se busca con esta medida?

Esta herramienta tiene como principal propósito hacer una revisión del proceso de verificación en la red ya mencionada, la cual todavía necesita que los operadores de los nodos hagan una descarga de muchos datos, para poder sincronizar que el estado esté correcto en la red. 

De la misma manera, la organización emplea este tipo de pruebas buscando hacer pruebas válidas y poder verificar el estado último de la blockchain, casi instantáneamente. Es por esta razón que las pruebas de conocimiento-cero resultaron ser una medida revolucionaria dentro del medio cuando fue establecida por Ethereum.

La misma contaba con distintos métodos de prueba que impulsan distintas plataformas escaladas de capa 2, las cuales son: Polygon, Arbitrum, Optimism y StarkNet, por lo que contó con un gran respaldo.

ZeroSync se pronuncia al respecto

Para seguir con lo mencionado anteriormente, ZeroSync destacó la promesa de la implementación de la medida ya mencionada en un anuncio que fue realizado por la organización. Todo esto haciendo énfasis en que se busca la escalabilidad y privacidad de la cadena de bloques, buscando de esta forma proporcionar pruebas de tamaño que sean “casi fijo”, para verificar cálculos que sean muy grandes.

Este proyecto busca ser el principal en cuanto a apps de pruebas basadas en el conocimiento-cero para Bitcoin. Por ello, la organización en sí establece que Bitcoin es mucho más simple comparado con el modelo Uspent Transaction Output (UTXO), siendo una propuesta de valor especial para hacer las pruebas recursivas.

Cabe detacar que ZeroSync ha comentado que herramientas como ZK-Proof no se ven en la necesidad de un cambio de consenso o de confianza adicional aplicados a la red Bitcoin y todos los usuarios que la conforman. 

Dicho esto, ZeroSync poco a poco está llevando a cabo un kit de desarrollo de software que otorgará la posibilidad de que todos los desarrolladores puedan generar pruebas de validez que estén personalizadas para los casos de uso muy específico, sin la necesidad de tener que tener conocimientos especializados al respecto.

¿Cuál es el lenguaje de programación que se utiliza?

Las pruebas de conocimiento-cero que ayuda a elaborar ZeroSync se encuentra actualmente en el proceso de formar un cliente para la descarga rápida de bloques iniciales, además de implementar la prueba pionera completa de consenso que hay en Bitcoin. Gracias a esto, el cliente dará acceso a los usuarios de sincronizar un nodo entero sin tener que hacer cambios de códigos en el núcleo de Bitcoin. 

Dicho esto, y para responder la pregunta, la organización emplea el lenguaje de programación conocido como “Cairo”. Este lenguaje es promovido por StarWare, donde el objetivo es crear programas de cálculos que sean realmente susceptibles de STARK. 

Es importante mencionar que esta herramienta está en este momento en estado de prototipo. Sin embargo, tiene la posibilidad de poder probar la validez de bloques individuales que en teoría estén válidos, los cuales verifican todas las reglas que tiene Bitcoin, exceptuando los scripts. 

Por si fuera poco, todo el equipo de ZeroSync tiene a su disposición un verificador de demostración en el navegador, que se utiliza para todas las pruebas STARK de bloques de Bitcoin.

¿Quién se encarga de financiar esta organización?

Esta es una pregunta que seguramente te estés haciendo, ya que desarrollar este tipo de proyectos tiene costos significativos, y a continuación te responderemos esta incógnita. ZeroSync estuvo financiado en primera instancia por Geometry y StarkWare, aunque actualmente está creando una entidad que se fundamente en que no tiene ánimo de lucro.

Todo esto se hace buscando que se pueda desarrollar y mantener todo tipo de proyectos que sean de interés por parte de toda la comunidad de Bitcoin. Para dar un respaldo mayor a lo mencionado, presentaremos una declaración realizada por el presidente y cofundador de StarWare, Eli Ben-Sasson.

"Tras años de frustración por la lentitud de la sincronización, los usuarios podrán sincronizar con la red mucho más rápido y con menos cálculos. Es un salto tecnológico similar a la transición de la lenta conexión telefónica a Internet a la banda ancha de alta velocidad".

Dicho esto, Lightning Labs, que es una red de pago de capa 2 para Bitcoin, resulta ser un socio que colabora con el proyecto. La empresa busca usa ZeroSymc para poder impulsar las pruebas del historial de transacciones comprimidas que puedan servir para su protocolo, que tiene como propósito impulsar la emisión de otros archivos digitales en Bitcoin.