La mainnet de Bitcoin recibe la primera prueba ZK verificada de la historia.

Informe de Cointelegraph: BitcoinOS verificó con éxito la primera prueba ZK en la red principal de BTC, señalando una nueva era para Bitcoin como una plataforma para aplicaciones descentralizadas.
BitcoinOS (BOS), un protocolo de rollups de Bitcoin, verificó con éxito la primera prueba de conocimiento cero (ZK) en la red principal de la cadena de bloques a las 11:22 pm UTC el 24 de julio.
El logro hace posible desbloquear nuevos niveles de funcionalidad y escalabilidad en la red principal de Bitcoin sin necesidad de realizar más cambios en la capa base de la cadena de bloques.
En una sesión de preguntas y respuestas escrita con Cointelegraph, Edan Yago, cofundador de BOS, dijo que el desarrollo "representa una era en la que Bitcoin ya no es solo oro digital".
"También es un sistema operativo y una plataforma en la que se pueden construir todas las aplicaciones descentralizadas del mundo. [...] 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 por parte de Bitcoin."
Implicaciones de la verificación de la prueba ZK en la red principal
La tecnología detrás de la verificación en la red principal es la biblioteca de software de verificación de conocimiento cero (ZK) succincto e no interactivo (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 Bitcoin. Yago explicó las implicaciones de establecer las pruebas ZK en la red principal, afirmando que una transacción podría ahora representar "cientos y miles de transacciones".
"Ahora se puede utilizar una sola transacción de Bitcoin para transacciones privadas y para cosas como contratos inteligentes."
Relacionado: StarkWare verifica la primera prueba de conocimiento cero en Bitcoin
La cadena de bloques de Bitcoin se convierte en un sistema operativo
Yago explica que el avance de ZK en la verificación en la red principal de Bitcoin se alinea estrechamente con el objetivo de la empresa, lo que le permite convertirse básicamente en "un sistema operativo".
Yago explicó que al transformar la red principal de Bitcoin en "algo más que un sistema de transacciones para pagos", podría usarse "para servicios descentralizados y actividades, como DAOs, DeFi, cualquier cosa que puedas imaginar".
Respecto a la capacidad de actualización, Yago dijo que "la única forma de actualizar Bitcoin es a través de bifurcaciones suaves y cambios en el consenso", pero esto ya no es el caso.
"Ahora es posible introducir cualquier tipo de características que desees en Bitcoin, de forma sin permisos, [...] convertir lo que mucha gente pensaba que era una desventaja, el hecho de que estaba fosilizado y que era muy difícil de cambiar, en su principal ventaja".
StarkWare asegura la primera verificación de prueba ZK en la red de prueba
El 17 de julio, StarkWare anunció el hito histórico de verificar con éxito su propia prueba ZK en la red de prueba de Bitcoin, Signet.
El desarrollo siguió a tres meses de exploración de "OP_CAT" por parte de la empresa, 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.
Inicio para ayudar a mejorar la escalabilidad de Bitcoin y avanzar en las oportunidades de pago globales en la cadena de bloques.