#MOVE 📝 La seguridad de un token basado en Move
La seguridad es clave para los activos digitales en la blockchain. Los lenguajes de contratos inteligentes tradicionales tienen vulnerabilidades como la duplicación accidental o la pérdida de activos. El Lenguaje de Programación Move fue desarrollado para abordar esto.
Un token escrito en Move proporciona un nivel de seguridad más alto que otros tokens debido a su estilo de "Programación Orientada a Recursos".
1. Concepto de Recurso
En Move, los tokens se tratan como "Recursos" en lugar de datos ordinarios.
No Copiable: No se permite copiar los recursos en absoluto, solo moverlos. Esto previene ataques como el doble gasto a nivel de lenguaje.
No Descartable: No se permite que los recursos se eliminen accidentalmente. Los tokens solo pueden ser destruidos por código, previniendo bloqueos en el contrato.
2. Verificación del Verificador de Bytecode
El Verificador de Bytecode de Move verifica previamente las reglas de seguridad antes de subir contratos inteligentes a la blockchain.
Verificación en Cadena: Verifica estrictamente las reglas de seguridad de recursos.
Prevención de Errores: Si el código tiene un defecto de seguridad, se negará el acceso al contrato a la red (implementación), reduciendo la vulnerabilidad debido a errores humanos.
3. Soporte de Verificación Formal
Move incluye una herramienta llamada Move Prover. Puede probar que las acciones del contrato son siempre matemáticamente correctas. Esta característica proporciona mayor confianza en las importantes propiedades de seguridad del token.
El lenguaje Move se basa en un Modelo de Recursos que trata los activos como objetos físicos, y debido a la constante verificación de la seguridad del código, los tokens escritos con él pueden considerarse que tienen un nivel de seguridad muy alto.
