StarkWare verifica la primera prueba ZK-STARK en Bitcoin Signet — Las pruebas de conocimiento cero llegan de forma nativa a Bitcoin
Bitcoin siempre ha sido la blockchain más segura y descentralizada que existe, pero también la más limitada en términos de programabilidad. Esa tensión se está disolviendo. StarkWare, el equipo detrás de la red Starknet Layer 2, ha verificado con éxito una prueba ZK-STARK en la red de prueba Signet de Bitcoin, lo que marca un hito fundamental para llevar la criptografía de conocimiento cero de forma nativa a la blockchain más grande del mundo.
Este logro, combinado con la investigación de ColliderVM, el lanzamiento de la mainnet de Citrea y el impulso más amplio para la infraestructura de Capa 2 de Bitcoin, indica que 2026 puede ser el año en que Bitcoin se transforme de una cadena exclusivamente de liquidación en una plataforma financiera programable, sin sacrificar ninguno de sus principios fundamentales.
Lo que StarkWare demostró realmente en Signet
En una demostración histórica, StarkWare desplegó un verificador STARK en la red de prueba Signet de Bitcoin, un entorno de pruebas controlado que refleja el comportamiento de la mainnet de Bitcoin. El verificador, construido en colaboración con la firma de capital de riesgo L2 Iterative (L2IV), verificó con éxito el cómputo del 32.º número en la secuencia de Fibonacci al cuadrado utilizando una prueba de conocimiento cero.
Los detalles técnicos son importantes. La verificación consumió aproximadamente 790,000 bytes virtuales (vBytes) en la red Signet. Si esto se replicara en la mainnet de Bitcoin con OP_CAT habilitado y una tasa de comisión de 2 sat/vByte, el costo sería de aproximadamente $950 por verificación; costoso para los estándares de las L2 de Ethereum, pero una prueba de concepto que anteriormente se consideraba imposible en el limitado entorno de scripting de Bitcoin.
El habilitador clave es OP_CAT, un opcode de concatenación que originalmente formaba parte del lenguaje de scripting de Bitcoin. Satoshi Nakamoto lo desactivó en 2010 debido a preocupaciones sobre posibles ataques de denegación de servicio. Su reactivación, ahora formalizada como BIP-347, permitiría a los scripts concatenar dos elementos de la pila, una operación aparentemente simple que desbloquea capacidades poderosas, incluyendo la verificación de árboles de Merkle, la ejecución de convenios (covenants) y, fundamentalmente, la verificación de pruebas STARK.
De Signet a ColliderVM: Eliminando la dependencia de OP_CAT
Si bien la demostración de Signet dependía de OP_CAT, los investigadores de StarkWare reconocieron que esperar un soft fork de Bitcoin podría llevar años, o tal vez nunca suceda, dado el enfoque cauteloso de la comunidad hacia los cambios de consenso. En abril de 2025, el cofundador de StarkWare, Eli Ben-Sasson, e investigadores del Instituto Weizmann publicaron ColliderVM, un protocolo que permite el cómputo con estado en Bitcoin sin requerir ningún cambio en el protocolo.
ColliderVM funciona a través de un esquema de compromiso basado en colisiones de hashes. Un probador debe producir una entrada que, cuando se procesa a través de una función de hash, genera una salida con características predeterminadas. Este mecanismo permite que los cómputos de varios pasos abarquen múltiples transacciones de Bitcoin manteniendo la integridad criptográfica, todo dentro de las restricciones actuales de Bitcoin Script.
Las ganancias de eficiencia son drásticas. Según Ben-Sasson, ColliderVM es "al menos 10,000 veces más eficiente" que su predecesor, ColliderScript. Aunque los investigadores reconocen que esto sigue siendo investigación y desarrollo y aún no está listo para producción, el documento demuestra que la verificación de pruebas STARK en la cadena en Bitcoin es "casi práctica" hoy en día.
Esto es importante porque desvincula la hoja de ruta de programabilidad de Bitcoin del proceso de activación de un soft fork, que suele estar cargado de tensiones políticas. Independientemente de si OP_CAT se reactiva alguna vez, ColliderVM proporciona un camino hacia la verificación ZK en Bitcoin.
La carrera para construir la infraestructura ZK de Bitcoin
StarkWare no está solo. Un ecosistema competitivo de proyectos está compitiendo por llevar capacidades de conocimiento cero a Bitcoin, cada uno adoptando un enfoque arquitectónico diferente.
BitcoinOS y BitSNARK
BitcoinOS hizo historia el 24 de julio de 2024 al verificar la primera prueba de conocimiento cero en la mainnet de Bitcoin en el bloque 853,626. Su protocolo BitSNARK permite la verificación de zk-SNARK en Bitcoin sin alterar el protocolo principal, utilizando un sistema de desafío-respuesta entre dos partes. BitcoinOS lanzó BitSNARK v0.1 como código abierto en septiembre de 2024, convirtiéndose en el primer proyecto en liberar tecnología de criptografía ZK de código abierto para la mainnet de Bitcoin.
Citrea: El primer ZK Rollup de producción de Bitcoin
Citrea activó su mainnet el 27 de enero de 2026, convirtiéndose en el primer ZK rollup de grado de producción para Bitcoin. Utilizando la tecnología zkEVM de RISC Zero, Citrea agrupa miles de transacciones fuera de la cadena, genera pruebas de conocimiento cero y las inscribe en la capa base de Bitcoin. Su puente Clementine, basado en el paradigma BitVM, permite transferencias de activos con confianza minimizada entre Bitcoin y el rollup.
Citrea se lanzó con ctUSD, una moneda estable respaldada por fíat construida sobre la infraestructura de M0 y MoonPay, dirigida a dos categorías principales de productos: préstamos respaldados por BTC y productos estructurados. Esto representa una aplicación concreta y utilizable de la tecnología ZK en Bitcoin, no solo una prueba de concepto.
Botanix Labs y la spider chain
Botanix fue pionera en el diseño de la "spider chain", una novedosa arquitectura de Layer 2 que permite sidechains con paridad bidireccional con Bitcoin. Lanzada a principios de 2025, Botanix ofrece compatibilidad con EVM mientras mantiene una fuerte conexión con el modelo de seguridad de Bitcoin, uniendo la robustez de Bitcoin con el ecosistema de contratos inteligentes de Ethereum.
La ambición de liquidación dual de Starknet
Quizás la visión más ambiciosa provenga de la propia Starknet. El proyecto aspira a convertirse en la primera Layer 2 en liquidar simultáneamente tanto en Bitcoin como en Ethereum: una red única que unifique los dos ecosistemas de blockchain más grandes.
La hoja de ruta es concreta. A través de una asociación con Alpen Labs, Starknet planea entregar un puente con confianza minimizada entre Bitcoin y su red para finales de 2026. La plataforma introdujo strkBTC para transacciones protegidas de Bitcoin en la Layer 2 de Ethereum, y ha delineado planes para escalar Bitcoin de 7 transacciones por segundo a miles, mientras reduce las comisiones de 0.002 y acorta los tiempos de confirmación de bloques de 10 minutos a 2 segundos.
Para finales de 2026, Starknet prevé escalar tres pilares de la Web3: Bitcoin como dinero sólido a través de BTCFi y puentes con confianza minimizada, la privacidad de Zcash a través de Ztarknet, y la ejecución de contratos inteligentes de propósito general a través de su Layer 2 de Ethereum existente. Si se ejecuta, esto posicionaría a Starknet como el tejido conectivo entre la capitalización de mercado de $ 1.4 billones de Bitcoin y el ecosistema DeFi de Ethereum.
Por qué el ZK en Bitcoin lo cambia todo
Las implicaciones de la verificación ZK nativa en Bitcoin van mucho más allá del escalado. Surgen tres capacidades transformadoras.
Layer 2s trustless sin pruebas de fraude. Los enfoques actuales de Layer 2 en Bitcoin, como Lightning Network o los sistemas basados en BitVM, dependen de pruebas de fraude con períodos de desafío, lo que significa que los usuarios deben esperar días o semanas para alcanzar la finalidad y alguien siempre debe estar atento a comportamientos deshonestos. Las pruebas ZK proporcionan finalidad criptográfica instantánea: o la prueba es válida, o no lo es. Sin torres de vigilancia (watchtowers), sin períodos de desafío, sin suposiciones de confianza más allá de las matemáticas.
Privacidad sin cambios de protocolo. Las pruebas de conocimiento cero pueden permitir transacciones privadas en Bitcoin sin requerir nuevos códigos de operación (opcodes) o cambios de consenso. Los esquemas de Prueba de Reserva (Proof-of-Reserve) permiten a los custodios demostrar tenencias de Bitcoin por encima de un umbral sin revelar direcciones o saldos reales. Esto es particularmente relevante a medida que la adopción institucional se acelera y las demandas de cumplimiento regulatorio coexisten con los requisitos de privacidad.
Resistencia cuántica. A medida que avanza la computación cuántica, los ZK-STARKs —que dependen de funciones hash en lugar de criptografía de curva elíptica— proporcionan una capa de verificación natural resistente a la computación cuántica. Esto posiciona la infraestructura ZK de Bitcoin como compatible con el futuro frente a los requisitos de seguridad post-cuántica, una preocupación que crece cada año.
La cuestión de OP_CAT
El tema inevitable sigue siendo la activación de OP_CAT. Formalizado como BIP-347 en abril de 2024, su reactivación simplificaría drásticamente la verificación ZK en Bitcoin y permitiría una nueva clase de aplicaciones de Bitcoin que incluyen covenants, vaults y esquemas avanzados de firmas múltiples.
Pero el proceso de soft fork de Bitcoin es deliberadamente lento y está cargado políticamente. El último soft fork exitoso de la comunidad —Taproot— tomó años de deliberación antes de su activación en noviembre de 2021. El debate sobre OP_CAT se ha entrelazado con disputas más amplias sobre la dirección del desarrollo de Bitcoin, incluyendo discusiones contenciosas sobre Ordinals, tokens BRC-20 y la eliminación del límite de retransmisión de 80 bytes.
La genialidad de proyectos como ColliderVM y BitSNARK es que no esperan permiso. Al trabajar dentro de las limitaciones existentes de Bitcoin, demuestran que la programabilidad puede lograrse mediante el ingenio de la ingeniería en lugar del consenso político. Si OP_CAT se activa finalmente, estos sistemas se vuelven drásticamente más eficientes. Si no sucede, seguirán funcionando.
Qué sigue
Los próximos 12 meses determinarán si el momento ZK de Bitcoin se traduce en una adopción significativa. Hitos clave a seguir:
- Maduración de ColliderVM de un documento de investigación a un prototipo funcional.
- Entrega de la liquidación dual de Starknet para Bitcoin y Ethereum.
- Crecimiento del ecosistema de Citrea como el primer ZK rollup en producción sobre Bitcoin.
- Trayectoria de activación de OP_CAT y el debate más amplio sobre el soft fork.
Lo que está en juego es enorme. Bitcoin posee aproximadamente el 55 % de la capitalización total del mercado cripto: más de $ 1.4 billones en valor que ha estado bloqueado en gran medida fuera de las capacidades de DeFi, contratos inteligentes y finanzas programables que las cadenas más pequeñas dan por sentado. La tecnología ZK es la llave que podría desbloquear este valor sin comprometer las propuestas de valor centrales de Bitcoin: seguridad, descentralización y simplicidad.
Para los constructores, desarrolladores y proveedores de infraestructura, el mensaje es claro: Bitcoin ya no es solo una capa de liquidación. Se está convirtiendo en una plataforma programable, y las pruebas de conocimiento cero son la tecnología que lo hace posible.
BlockEden.xyz proporciona infraestructura de API de blockchain de nivel empresarial compatible con múltiples cadenas, incluidos los ecosistemas de Bitcoin y Ethereum. A medida que surgen las Layer 2 de Bitcoin impulsadas por ZK, una infraestructura de nodos confiable se vuelve crítica para los desarrolladores que construyen en esta nueva frontera. Explore nuestro mercado de APIs para construir sobre cimientos diseñados para perdurar.