Vi que Buterin hizo una observación interesante sobre la esencia de la seguridad. No se trata solo de la robustez del sistema, sino de la perspectiva de cuánto coinciden las intenciones del usuario con el funcionamiento real del sistema.

Es decir, la seguridad y la experiencia de usuario no son ejes opuestos, sino que en esencia son diferentes formas de ver el mismo problema. La función de la seguridad es minimizar la discrepancia, como cuando un usuario pretende "enviar 1 ETH a Bob" pero el resultado es diferente. A su vez, reducir esa discrepancia también mejora la experiencia de usuario.

Sin embargo, la seguridad perfecta es teóricamente imposible, porque las intenciones humanas son difíciles de definir matemáticamente desde el principio. Cuando se trata de objetivos complejos como la protección de la privacidad, la filtración de metadatos puede representar un riesgo mayor que la fuerza del cifrado.

Lo que propone Buterin es un diseño que aprovecha la redundancia. Superponer capas de verificación desde diferentes perspectivas, como sistemas de tipos, verificación formal, simulación de transacciones, multisig, límites de gasto, etc., para proteger la verdadera intención del usuario.

Lo interesante es el uso de modelos de lenguaje grande (LLM). Si estos modelos pueden aproximar el sentido común humano, podrían ser una ayuda para determinar las intenciones del usuario. Pero confiar únicamente en eso sería arriesgado; debe usarse en combinación con otros métodos de verificación, adoptando una postura cautelosa.

El diseño de la seguridad en blockchain, especialmente cómo equilibrar sin sacrificar la experiencia del usuario, parece que será cada vez más importante en el futuro.