BitcoinOS (BOS), un protocolo de rollups de Bitcoin, verificó con éxito la primera prueba de conocimiento-cero (ZK) en la mainnet de BTC en directo en el escenario de Bitcoin 2024 en Nashville.

Este logro permite desbloquear nuevos niveles de funcionalidad y escalabilidad en la red principal de BTC sin necesidad de realizar más cambios en la capa base de la blockchain.

En una entrevista escrita con Cointelegraph, Edan Yago, cofundador de BOS, explicó que el desarrollo "representa una era en la que Bitcoin ya no es sólo oro digital".

"[...]también es un sistema operativo y una plataforma sobre la que se puede construir todo el mundo de aplicaciones descentralizadas [...] esto marca un capítulo en el que Ethereum, Solana y todos los demás proyectos de capa 1 ya no están a salvo de la competencia de Bitcoin".

Implicaciones de la verificación a prueba de ZK de la mainnet

La tecnología detrás de la verificación de mainnet es la biblioteca de software de verificación ZK Succinct Non-Interactive Argument of Knowledge (zk-SNARK) de BOS, BitSNARK.

Según un comunicado de prensa compartido con Cointelegraph, BitSNARK permite a los desarrolladores crear "puentes casi sin confianza" para mover BTC entre mainnet y rollups de capa 2.

Yago explicó las implicaciones de establecer ZK-proofs en la mainnet de BTC, afirmando que una transacción de Bitcoin (BTC) podría representar ahora "muchos cientos y miles de transacciones".

"Una sola transacción de Bitcoin ahora se puede utilizar para realizar transacciones de forma privada y para cosas como contratos inteligentes".

La blockchain de Bitcoin convertida en sistema operativo

Yago explica que el avance de ZK en la verificación de pruebas en la mainnet de BTC se alinea estrechamente con el objetivo de la firma, permitiendo que BTC se convierta esencialmente "en un sistema operativo".

Al transformar la mainnet de BTC en "algo más que un sistema de transacciones para pagos", Yago explica que podría utilizarse "para servicios y actividades descentralizados, como DAOs, DeFi, cualquier cosa que puedas imaginar".

En cuanto a la capacidad de actualización, Yago explicó que "la única forma de actualizar Bitcoin es mediante bifurcaciones suaves y cambios en el consenso", pero ya no.

"Ahora es posible introducir cualquier tipo de características que se quieran Bitcoin, de una manera sin permisos [...] para convertir lo que mucha gente pensaba que era una desventaja, el hecho de que se estaba osificando, y el hecho de que era muy difícil de cambiar, en su principal ventaja".

StarkWare consigue el primer testnet verificado a prueba de ZK

El 17 de julio, StarkWare anunció el hito histórico de verificar con éxito su propio verificador ZK en la red de pruebas de BTC, Signet.

El acontecimiento se produjo tras tres meses de exploración "OP_CAT" por parte de la empresa, lo que le permitió establecer su nuevo verificador STARK en la red.

El verificador sentó las bases para el desarrollo de soluciones de capa 2 basadas en ZK para ayudar a mejorar la escalabilidad de BTC y avanzar en las oportunidades de pago global en la blockchain.

Aclaración: La información y/u opiniones emitidas en este artículo no representan necesariamente los puntos de vista o la línea editorial de Cointelegraph. La información aquí expuesta no debe ser tomada como consejo financiero o recomendación de inversión. Toda inversión y movimiento comercial implican riesgos y es responsabilidad de cada persona hacer su debida investigación antes de tomar una decisión de inversión.