BitcoinOS Lanza BitSNARK de Código Abierto para Ampliar los Contratos Inteligentes en Bitcoin

Puntos clave de la noticia:

• BitSNARK v0.2 permite verificar cualquier cálculo complejo en Bitcoin de manera eficiente y segura, sin cambiar su protocolo principal.
• La nueva versión reduce el tamaño de las transacciones a menos de 100 KB y requiere solo seis interacciones para completar la verificación.
• Abre la puerta a puentes cripto sin confianza, rollups para escalar la red y aplicaciones DeFi como exchanges y stablecoins respaldadas por BTC.

BitcoinOS (BOS) ha lanzado BitSNARK v0.2, una versión mejorada de su protocolo para la verificación de pruebas de conocimiento cero (ZKPs) en la red de Bitcoin . Esta nueva tecnología busca ampliar las capacidades programables de BTC sin modificar su protocolo principal, permitiendo la verificación de cálculos complejos de forma eficiente y segura.

El código de BitSNARK v0.2 está disponible de forma pública para revisión y experimentación, con el propósito de recibir aportes de la comunidad cripto y de desarrollado.

BitSNARK se basa en un proceso interactivo de verificación entre un probador y un verificador. El probador envía una prueba ZKP a la blockchain de Bitcoin, afirmando que un cálculo se realizó correctamente. Si el verificador duda de la validez de la prueba, puede iniciar un desafío. A través de un método de búsqueda binaria, se identifica el punto de desacuerdo en el cálculo y se resuelve de manera determinista en la propia red de Bitcoin. Este proceso logra validar cálculos complejos con un mínimo de datos on-chain, evitando la necesidad de cambiar el protocolo de consenso de BTC.

Un Nuevo Set de Capacidades para Bitcoin

La versión 0.2 de BitSNARK presenta mejoras significativas respecto a la versión anterior. Permite verificar cualquier cálculo realizado en cualquier máquina virtual, eliminando las limitaciones que restringían las pruebas a tareas específicas. También reduce considerablemente el tamaño de las transacciones necesarias para verificar pruebas externas, dejándolas por debajo de los 100 kilobytes. Esto facilita su inclusión en bloques regulares sin generar problemas para los mineros. Además, la cantidad de interacciones requeridas para completar el proceso de verificación se redujo a seis, mejorando la eficiencia y viabilidad del protocolo para aplicaciones reales.

Puentes, Rollups, Stablecoins y Más

BitSNARK v0.2 abre la puerta a aplicaciones hasta ahora difíciles de realizar en Bitcoin. Permite puentes cripto sin confianza para transferir activos entre BTC y otras blockchains sin intermediarios centralizados. También hace posible la implementación de rollups para mejorar la escalabilidad de la red y ejecutar miles de transacciones off-chain antes de consolidarlas en la cadena principal. Además, habilita el desarrollo de tokens de BTC programables y aplicaciones financieras descentralizadas como exchanges, stablecoins respaldadas por BTC y protocolos de préstamos.

Con este lanzamiento, BOS invita a desarrolladores y miembros de la comunidad a explorar y contribuir al avance de BitSNARK. El código está disponible en GitHub y se pueden realizar pruebas en redes de prueba con una configuración mínima.