El Fin de la Era del Código Cerrado Está Cerca: La Oscuridad Nunca Fue Seguridad

En los últimos días, las personas que intentaban hacer todo bien perdieron su Bitcoin. Compraron un firmador de hardware respetado, generaron una semilla fuera de línea utilizando ese dispositivo y confiaron en que el dispositivo haría lo único para lo que existe un firmador: producir un número que nadie más pueda adivinar. El Coldcard no lo hizo. Un guardia de preprocesador que verificaba lo incorrecto había redirigido silenciosamente la generación de semillas a un PRNG (generador de números pseudorandom) de software débil, Yasmarang de MicroPython, en lugar de la fuente de entropía de hardware. En algunos modelos, la entropía efectiva colapsó a alrededor de 40 bits. El fallo se envió en marzo de 2021 y estuvo en firmware legible públicamente durante más de cinco años. Los atacantes barrieron 500 direcciones antes de que alguien entendiera por qué; en pocos días, el recuento de Galaxy Research alcanzó 4,585 direcciones y casi 90 millones de dólares; el ataque sigue en curso a la fecha de este artículo.

La suposición de trabajo de Coinkite, con un amplio acuerdo en X, es que alguien utilizó IA para examinar el firmware disponible públicamente y encontrar el error. Ya sea que así es como este atacante lo encontró o no, el próximo lo hará. Si bien se realizó una auditoría asistida por IA semanas antes del robo, no encontró nada (potencialmente debido a las capacidades del modelo, potencialmente debido a la construcción específica de la búsqueda). Desde que comenzó el ataque, los investigadores han mostrado varios modelos de frontera localizando el mismo fallo en minutos a partir de un solo aviso. El código estuvo abierto a revisión humana durante cinco años y ningún humano lo detectó.

Coinkite había trasladado su firmware de una licencia de software libre a términos de código disponible, MIT con una Cláusula Común, después de que Foundation Devices utilizara el código en un producto competidor. Podías leer el código fuente pero no construir un negocio sobre él. No cambió nada. El error vivió en un código que una máquina podía leer independientemente de lo que permitiera la licencia; de hecho, entró en el árbol, en la misma reescritura que eliminó el último de los códigos GPL. El cambio de licencia no aumentó la protección; simplemente cambió la economía de encontrar el error.

En la era de la IA altamente capacitada, todo lo que se distribuye es legible, o pronto lo será. Despoja un binario de sus símbolos, pásalo por un descompilador, y sale el pseudo-C que saluda a cualquiera que haya abierto Ghidra: variables sin nombre, flujo de control aplanado, funciones etiquetadas como FUN_00401a20. Ininteligible para la mayoría de las personas. Esa alta barrera para la comprensión humana era toda la prima de seguridad del "código cerrado".

Un programa compilado no tiene más opción que decir la verdad. El código que permanece encriptado no puede ejecutarse. En el momento de la ejecución, el procesador debe recibir las instrucciones reales, así que lo que sea que haga el programa, le entrega a la máquina un relato completo y exacto de cómo hacerlo. La información está toda allí en el código de máquina. La ofuscación no elimina, y no puede eliminar, eso.

Si leer un binario suena demasiado difícil para que una máquina lo domine pronto, compáralo con lo que las máquinas ya están haciendo con problemas mucho más difíciles. Leer un binario es análisis: cada hecho que necesitas está frente a ti, y el trabajo es extracción. La invención matemática es otro orden de dificultad, porque exige un objeto que nadie haya visto jamás. A las 02:19 UTC del 20 de julio, Levent Alpöge, un matemático que trabaja con Claude Fable 5 de Anthropic, publicó un contraejemplo a la conjetura jacobiana de Keller, un problema abierto desde 1939 y lo suficientemente difícil como para estar en la lista de desafíos de Stephen Smale para el siglo XXI. Generaciones lo habían intentado. La refutación son tres polinomios en tres variables. Lean lo verificó en pocas horas, y es lo suficientemente corto para que cualquiera lo confirme en un sistema de álgebra computacional en aproximadamente un minuto.

La jacobiana cayó en una tarde, mientras el cuestionador aparentemente estaba viendo la final de la Copa Mundial de la FIFA. En mayo, un modelo de OpenAI derribó la conjetura de distancia unitaria de Erdős, una pregunta abierta desde 1946; a finales de julio, una conjetura de teoría de grafos de 30 años cayó ante cuatro avisos; entre ellos vino la refutación jacobiana y una serie de otros resultados que habían permanecido durante décadas.

Establezca ese ritmo junto a la modesta tarea de leer el código de máquina que ya está disponible en Internet. Los modelos de hoy manejan mejor la salida de código fuente y descompiladores que los bytes en bruto, por lo que un binario completamente cerrado mantiene un margen delgado. Ese margen es un bache de costo, y se está erosionando a la velocidad que usted observa en todas partes. Apostar la seguridad en cuánto tiempo dura significa apostar contra un reloj que solo se acelera.

La misma capacidad que encuentra su error de entropía lee su método propietario. Esta es la víctima silenciosa, y afecta a empresas que nunca se consideraron expuestas a nada de código abierto. El secreto comercial en el software enviado siempre fue solo oscuridad en un traje. La ley lo ha dicho desde que existe la ley de secretos comerciales: la ingeniería inversa de un producto que posee legalmente es un juego limpio, y por lo tanto un secreto sobrevive solo mientras esa ingeniería inversa siga siendo costosa. Cuando el costo de extracción cae a una suscripción y un aviso, el secreto incorporado en el código que entrega a sus clientes deja de serlo. Su algoritmo ingenioso, su formato no documentado, su ventaja en el binario: legible para cualquiera que se preocupe por mirar, en una línea de tiempo cada vez más medida en minutos.

Nada de esto necesariamente hace que el código abierto sea seguro. Heartbleed se ocultó en la biblioteca TLS más ampliamente desplegada en la tierra durante dos años, porque la visibilidad sin atención financiada no encuentra nada. La puerta trasera xz mostró que el modelo de contribución abierta es en sí mismo una superficie de ataque, una que un adversario paciente puede atravesar con una cara amigable y dos años de buenos commits. Mientras que la apertura alguna vez fue un escudo, ya no lo es. Lo que sí compra son revisores que tienen permiso para mirar, construcciones que pueden ser reproducidas y verificadas de forma independiente, una salida cuando un proveedor muere o se vuelve en contra, y el reconocimiento de que todo esto sucederá le guste o no.

Ahora debemos asumir que cada línea enviada será leída por alguien que desea hacer daño, porque así será. El defensor tiene una ventaja estructural que el atacante nunca tendrá: tiempo. Puede aplicar los mismos modelos fronterizos a su propio código antes del lanzamiento, en el espacio entre el commit y el envío, mientras que el atacante espera un binario que aún no existe. Haga que sus construcciones sean reproducibles, de modo que se vinculen de nuevo a la fuente y la fuente pueda ser verificada. Diseñe para fallar cerrado, y mantenga el núcleo confiable lo suficientemente pequeño como para que un error no pueda arruinarlo todo. Para el negocio específico de mantener Bitcoin, aprenda la lección que Coldcard está enseñando en tiempo real: posea la entropía que no puede permitirse que se adivine, mantenga el elemento seguro mínimo y detrás de una interfaz publicada, y distribuya sus claves a través de implementaciones independientes, de modo que ningún dispositivo único, y ningún error de un solo proveedor, sea la totalidad de su exposición.

Para Bitcoin, las apuestas son implacables de una manera que no lo son en otros lugares, ya que el mero conocimiento de las claves privadas otorga posesión. El error de entropía ha dejado cicatrices permanentes. Parchear el generador no hace nada por las semillas que ya produjo; un espacio de claves débil permanece susceptible para siempre, y la divulgación le entrega al atacante la receta. Hemos visto esto antes. La vulnerabilidad Milk Sad en la herramienta exploradora libbitcoin, bx, sembró claves privadas a partir de un valor de 32 bits, y los atacantes estaban drenando las billeteras que produjo antes de que el defecto se hiciera público. Los atacantes mantienen su propio horario, invitados o no. Para el dinero que no se puede recuperar, "encontrable eventualmente" es un sinónimo de "perdido eventualmente."

Bitcoin nunca confió en la oscuridad. El protocolo es abierto, sus reglas son verificables por cualquiera, su seguridad no se basa en secretos sino en matemáticas e incentivos que se mantienen a la vista. El hardware y el software que construimos a su alrededor merecen el mismo estándar, porque la alternativa ya no está sobre la mesa. La elección nunca fue abierta o cerrada. Fue disciplinada o expuesta.

La lección más amplia de esta situación de Coldcard es que tener software de código cerrado es como tener una semilla generada por un Coldcard roto; parece bueno, pero está fundamentalmente construido sobre arena. Todos pueden leer el código; la única pregunta que queda es si reconoces ese hecho, o si tú y tus usuarios lo aprenden de la manera en que lo hicieron los usuarios de Coldcard, una dirección drenada a la vez.

Esta es una publicación de invitado de Colin Crossman, quien es productor de contenido en Fedi. Las opiniones expresadas son completamente suyas y no reflejan necesariamente las de BTC Inc o Bitcoin Magazine.

Este contenido se ofrece únicamente con fines informativos generales y no constituye asesoramiento financiero, de inversión, legal ni fiscal. Cualquier evento, recompensa, promoción en línea o información relacionada que se mencione en el presente documento no debe considerarse como una recomendación, solicitud o invitación a comprar, vender, tradear o de negociar de otra manera con cualquier criptoactivo. Los criptoactivos son sumamente volátiles y pueden provocar pérdidas. La disponibilidad de los servicios, productos y eventos relacionados de WEEX puede variar según la región. Tienes la responsabilidad de asegurarte de que tu participación esté de acuerdo con las leyes y regulaciones locales vigentes.