MSTR Cat

Blockchain/Nivel VII · Evolución/7.1 Ethereum: el ordenador mundial/Lección 1

Ethereum: el poder y el precio de la programabilidad

La trampa de Turing: qué sucede cuando un registro puede ejecutar cualquier programa

MaterialesUna copia de BIP-341 (Taproot)El whitepaper de Ethereum (2014)El artículo de BitVM (2023)

Curiosidad

  1. ¿Por qué la capacidad de ejecutar código arbitrario amplía inevitablemente la superficie para el robo?
  2. ¿Cómo hizo una comunidad un fork de su propia cadena para revertir un hackeo, y por qué Bitcoin rechazó ese precedente?
  3. ¿Cuál es el mecanismo preciso mediante el cual Bitcoin verifica cálculos intensivos sin ejecutarlos?

Explorar

  1. Ethereum se lanzó en julio de 2015 con un objetivo distinto al de Bitcoin: la programabilidad de propósito general. Mientras que el lenguaje de scripts de Bitcoin estaba diseñado para transacciones financieras específicas y auditables, Ethereum introdujo una máquina virtual Turing completa (la EVM). Esto permitió a los desarrolladores escribir y desplegar cualquier tipo de programa directamente en la cadena. El resultado fue una explosión de tokens, protocolos de finanzas descentralizadas y tokens no fungibles imposibles de replicar en el limitado entorno de scripts de Bitcoin.
  2. El poder del cómputo general conllevaba un precio. En junio de 2016, un error recursivo en el contrato inteligente de The DAO permitió a un atacante sustraer aproximadamente un tercio de los fondos recaudados. La comunidad de Ethereum se enfrentó a una crisis: ¿debían dejar que el código se ejecutara tal como estaba escrito (“el código es ley”) o intervenir? Eligieron intervenir, ejecutando un hard fork que trasladó los fondos robados a un contrato de reembolso mediante un cambio de estado irregular. Esta decisión dividió la cadena en Ethereum y Ethereum Classic, demostrando que el consenso social podía anular un código inmutable.
  3. El incidente de The DAO puso de manifiesto una vulnerabilidad estructural: la expresividad amplía la superficie de ataque. La mayoría de los robos posteriores en cadenas programables no se debieron a fallos criptográficos, sino a claves de administración retenidas, lógica de contratos actualizable o simples errores de programación. Cuando una cadena permite ejecutar cualquier programa, cada nueva funcionalidad añade complejidad que puede ser explotada. La carga de la seguridad pasa de los diseñadores del protocolo a miles de desarrolladores individuales que pueden carecer de auditorías rigurosas.
  4. Una respuesta a esa superficie de ataque surgió del propio lenguaje. Move, creado en Facebook para su abandonado proyecto Libra (más tarde Diem), trata los tokens como recursos: un valor que el sistema de tipos no permite que un programa copie ni descarte silenciosamente, de modo que clases enteras de errores de doble contabilización y de pérdida de fondos fallan al compilar en lugar de fallar en producción. Cuando Diem cerró en 2022, antiguos ingenieros de Diem llevaron Move a nuevas cadenas. Aptos, fundada por Avery Ching y Mo Shaikh, lanzó su mainnet el 17 de octubre de 2022 con Block-STM, un motor de ejecución paralela que procesa las transacciones de forma optimista, comprueba después cuáles tocaron los mismos datos y vuelve a ejecutar solo esas. La ingeniería era de vanguardia; el lanzamiento, no. Los exchanges listaron el token APT antes de que se publicara su distribución, las cifras mostraban que aproximadamente la mitad del suministro iba a inversores, colaboradores principales y la fundación, la actividad on-chain inicial quedó muy por debajo del rendimiento anunciado, y el equipo admitió que “podría haber ido mejor”. Sui, creada por otro grupo de exingenieros de Diem, le siguió con su propia mainnet basada en Move en 2023. La lección tiene dos caras: los lenguajes más seguros reducen la superficie de ataque, pero la tecnología no rescata un lanzamiento que resulta opaco para sus holders.
  5. La respuesta de Bitcoin ha sido una adopción selectiva en lugar de una copia total. En lugar de computación general, Bitcoin ha integrado capacidades específicas y auditables. Taproot, activado en noviembre de 2021, introdujo árboles de scripts que permiten condiciones de gasto complejas manteniendo la privacidad y la eficiencia. Las billeteras adoptaron PSBT (Partially Signed Bitcoin Transactions, transacciones de Bitcoin parcialmente firmadas), un formato estándar para pasar una transacción entre firmantes. Estas incorporaciones mejoran la funcionalidad sin introducir una máquina virtual de propósito general en la que cualquier código defectuoso pueda comprometer toda la red.
  6. Para la computación pesada que no pueden manejar los scripts simples, el enfoque de BitVM ofrece un camino. Propuesto por Robin Linus en 2023, BitVM mantiene la computación pesada fuera de la cadena; solo se verifica en Bitcoin un paso en disputa, y únicamente si alguien lo impugna. Así se preserva la capa base ligera de Bitcoin y a la vez se habilitan aplicaciones avanzadas, de modo que el protocolo principal siga siendo simple, verificable y resistente a los fallos en cascada observados en los entornos de contratos inteligentes de propósito general.
  7. La disyuntiva es clara: Ethereum prioriza la flexibilidad a costa de la complejidad en seguridad y de los riesgos de actualización; Bitcoin prioriza la estabilidad y la explicitud al restringir la computación. Para cualquier nueva funcionalidad que se añada a una cadena, la prueba es si introduce estado oculto o poderes de administración de los que se pueda abusar. Si una capacidad no puede verificarse mediante reglas simples y transparentes, sin depender de terceros de confianza ni de complejos forks de consenso social, conlleva un riesgo inherente. Esta distinción define la actual divergencia arquitectónica entre las dos cadenas líderes.

Datos clave

  • La mainnet de Ethereum se lanzó en julio de 2015 con una máquina virtual Turing completa.
  • El hackeo de The DAO ocurrió en junio de 2016 y provocó un hard fork que dividió la cadena.
  • Taproot se activó en Bitcoin en noviembre de 2021 (bloque 709,632), introduciendo los árboles de scripts.
  • La mayoría de los robos en contratos inteligentes se deben a claves de administración retenidas o a errores de programación, no a fallos criptográficos.
  • Move (del proyecto Libra/Diem de Facebook) modela los tokens como recursos que no pueden copiarse ni eliminarse; Aptos lanzó su red principal basada en Move el 17 de octubre de 2022 con ejecución paralela mediante Block-STM.
  • BitVM permite la computación fuera de la cadena con resolución de disputas dentro de ella, para mantener una capa base ligera.
  • PSBT permite flujos de firma de transacciones entre varias partes con responsabilidad explícita.

Ejercicio nueve, seis, tres, uno

9ReunirEnumera 9 funcionalidades o protocolos de contratos inteligentes. Anota si cada uno se basa en computación general, en lógica de script específica o en oráculos externos.
6AgruparAgrupa los 9 en 6 según la superficie de ataque que genera cada uno.
3DestilarReduce los 6 a 3 razones principales por las que la computación de propósito general aumenta el riesgo sistémico.
1CristalizarEscribe 1 oración sobre dónde trazarías la línea entre una capacidad segura y una peligrosa, y por qué.

Verificación de hechos

Fechas, cifras y afirmaciones verificadas con las fuentes publicadas que se enumeran a continuación.

Abrir en la academia interactiva →

EN PT ZH JA KO RU DE FR MS