Charles Hoskinson detalla un modelo de seguridad para puentes de Cardano usando pruebas ZK de Midnight

Charles Hoskinson ha propuesto un nuevo modelo de seguridad para los puentes de Cardano tras el exploit de Wanchain que involucró a Cardano y BNB Chain. En su video con pizarra, “Getting Bridges back on Track”, describió cómo las pruebas ZK de Midnight, la autorización por capas y los cortacircuitos automatizados podrían reducir el riesgo de futuros ataques a puentes.

El exploit de Wanchain expuso cuatro superficies de ataque del puente

El incidente del puente de Wanchain previamente reportado implicó que aproximadamente 515 millones de tokens $NIGHT salieran del lado de Cardano del tesoro del puente antes de que gran parte de la liquidez llegara a los intercambios descentralizados de Cardano. El protocolo de Midnight, su red de validadores y el activo nativo de Cardano no se vieron comprometidos.

Hoskinson también abordó las peticiones para restaurar la oferta de cNIGHT a su estado anterior. Dijo que los tokens ya habían sido distribuidos como activos nativos de Cardano, dejando a Midnight e Input Output sin un mecanismo centralizado para revertir la propiedad de los tokens en monederos de usuarios.

Según el modelo descrito en el video, los usuarios bloquean la representación en Cardano de $NIGHT antes de recibir un activo envuelto correspondiente en BNB Chain. La devolución del activo requiere que los tokens envueltos se destruyan antes de que los tokens originales puedan desbloquearse en Cardano.

Hoskinson identificó cuatro superficies de ataque distintas en ese proceso: el contrato de Plutus en Cardano, el contrato de Solidity en BNB Chain, la infraestructura de Cardano fuera de cadena y la infraestructura de BNB Chain fuera de cadena. Un fallo en cualquier componente puede resultar en confirmaciones falsas, autorizaciones inválidas o liberaciones no autorizadas de tokens.

Añadió que los puentes pueden verificar más que transferencias de activos. También pueden probar el estado de transacciones, la pertenencia de UTxO, eventos de acuñación y quema, delegación, recompensas, resultados de scripts y acciones de gobernanza. Su presentación enumeró 42 categorías de posibles afirmaciones sobre el estado de Cardano y 52 para Midnight.

El modelo ZK de Midnight eliminaría al operador del puente

El modelo propuesto por Hoskinson reemplaza al operador de puente convencional con una prueba de conocimiento cero generada por el usuario y vinculada a una dirección de destino en otra cadena de bloques. La prueba se enviaría a un contrato verificador que comprueba si el evento requerido ocurrió en la cadena de origen.

Cualquier parte podría retransmitir la prueba porque la autorización dependería de su validez criptográfica en lugar de la identidad del mensajero. Una vez verificada, el contrato de destino podría acuñar o liberar el activo correspondiente sin depender de un operador de puente para interpretar ambas cadenas de bloques.

Midnight es una cadena asociada a Cardano centrada en la privacidad que admite aplicaciones que combinan estado público y privado, pruebas de conocimiento cero y divulgación selectiva. Su lenguaje Compact está diseñado para permitir a desarrolladores de TypeScript crear aplicaciones con ZK sin implementar directamente la criptografía subyacente.

Hoskinson propuso combinar la verificación ZK con un sistema de firmas umbral. Una transacción avanzaría solo cuando ambos mecanismos la aprobaran. Un fallo en cualquiera de las capas podría detener el funcionamiento del puente; la segunda capa seguiría protegiendo los activos bloqueados frente a liberaciones no autorizadas.

La base técnica incluye el artículo de investigación “Crossing with Confidence: Formal Analysis and Model Checking of Blockchain Bridges”, que define y prueba propiedades de seguridad en varias arquitecturas de puentes. Hoskinson no anunció un equipo de desarrollo, una fecha de lanzamiento ni un puente ZK de Cardano y Midnight completado.

Cardano Pub/Sub y Midnight Passport amplían el modelo de seguridad

Hoskinson también describió un sistema de alertas en toda la red de Cardano para contener ataques después de que se detecten. Los intercambios descentralizados, protocolos de préstamos, monederos, intercambios centralizados y operadores de puentes podrían suscribirse a canales de seguridad verificados a través de una red de publicación y suscripción.

Una alerta de un puente comprometido podría activar cortacircuitos automatizados, permitiendo a las aplicaciones conectadas suspender la negociación, retirar liquidez, deshabilitar mercados de préstamos o detener transferencias. El objetivo es restringir la capacidad de un atacante para cambiar activos robados por stablecoins o moverlos a través de servicios de lavado.

Hoskinson situó la infraestructura Pub/Sub entre las prioridades de Cardano para 2027, tras más avances en Ouroboros Leios. Input Output publicó anteriormente un prototipo experimental de Cardano Pub/Sub, que se archivó el 17 de julio con un aviso de que el desarrollo se había trasladado a un nuevo repositorio.

La parte final de la propuesta abarca una protección opcional de monedero por white hat. Los usuarios podrían autorizar una intervención predefinida al crear un monedero sin custodia. Durante un ataque activo, una parte white hat aprobada podría mover los activos expuestos, tras lo cual el propietario demostraría en privado el derecho a recuperarlos.

Hoskinson vinculó ese proceso con Midnight Passport y la divulgación selectiva. La documentación de Midnight describe Passport como un monedero de consumo anunciado sin semillas, con claves residentes en hardware y recuperación mediante ayudantes de confianza. En el modelo propuesto, también podría conectar de forma privada un monedero con su propietario, una autorización white hat y una póliza de seguro.

La investigación formal sobre puentes y el trabajo experimental de Pub/Sub ya son públicos. El puente ZK, los cortacircuitos de producción, el sistema de licencias white hat y el modelo de seguro basado en Passport siguen siendo componentes propuestos sin calendarios de implementación publicados.