El movimiento ahora está preparado para cultivar defi

Opinión de: Alex Nguyen, CEO de Vibrantx

El origen del lenguaje de programación Move no es Super Cypherpunk. Facebook (ahora Meta) creó un movimiento después de que el equipo Libra/Diem comparó los principales lenguajes de contratos inteligentes (bitcoin script, ethereum virtual máquina de bytecode) y decidió que su formidable talento tecnológico interno podría hacer un nuevo idioma construido en años de investigación del sector privado y privado.

El equipo original, incluidos los fundadores Mo Shaikh, Avery Ching y su equipo de ingeniería, dejó a Facebook para continuar como un proyecto de código abierto totalmente independiente encabezado por Aptos Labs y con el apoyo de la Fundación Aptos.

Es importante destacar que el experimento de Libra fallido de Meta nos dejó un lenguaje de programación diseñado específicamente para criptomonedas. Mover on Apptos ahora es de código abierto, y la Fundación Aptos es una organización comercialmente impulsada que da la bienvenida a los constructores de todos los orígenes.

Move es ahora el mejor lenguaje de programación para verificar la ausencia de errores y verificar modificaciones y fugas, así es como se piratean la mayoría de las cadenas de bloques.

Esta verificación se basa en dos características clave de Mover en Aptos: (1) “Compatibilidad hacia atrás” y (2) el concepto de un “auditor en tiempo de ejecución”.

La compatibilidad con retroceso significa a prueba de futuro

Mover en Aptos es rápido y barato, creando una experiencia de usuario competitiva, especialmente para aplicaciones de finanzas descentralizadas (DEFI). APTOS apunta a un alto rendimiento de transacción, con capacidades teóricas que alcanzan hasta 160,000 transacciones por segundo (TPS) a través de su motor de ejecución paralelo, Block-STM.

La finalidad sub-segundo de APTOS significa que las transacciones se confirman rápidamente, lo que mejora la experiencia del usuario en aplicaciones sensibles al tiempo.

Para ser justos, otras cadenas también tienen estas cualidades. Sin embargo, Mover On Aptos está diseñado para ser “compatible con retroceso”.

Las actualizaciones futuras no interrumpirán los proyectos existentes. Esto ayuda a los desarrolladores a sentirse más seguros de construir soluciones a largo plazo sin preocuparse por las cosas que se rompen debido a una actualización de movimiento.

Move Smart Contracts están diseñados para ser actualizables sin afectar la experiencia del usuario, lo cual es esencial para la adopción convencional. Esto permite a los equipos implementar correcciones de errores y nuevas características con cero interrupción.

Reciente: Las startups de cifrado no pueden confiar en una tecnología sólida para ganar fondos de VC: OKX

La flexibilidad del contrato inteligente a través de las características de seguridad específicas de Mover en Apptos da como resultado un envío de productos mejor y más rápido. Al ser más flexible, moverse en aptos puede adaptarse rápidamente para admitir nuevos ecosistemas.

La verificación “bytecode” evita fugas

Los trucos del contrato de solidez han prevalecido a lo largo de los años. Al construir tecnología Web3 Web3 para mercados por valor de miles de millones o incluso billones de dólares, es crucial tener un sistema de seguridad que proteja los proyectos de las fugas de recursos, el acceso a la memoria no válida y otras modificaciones no autorizadas.

Como se desarrolló inicialmente para el proyecto DIEM de Meta, Move está diseñado para la seguridad, la gestión de recursos y el rendimiento, lo que lo hace atractivo para los desarrolladores que buscan un lenguaje seguro pero robusto para contratos inteligentes.

Al implementar el código utilizando Move, el código se verificará en varias condiciones de codificación cruciales, como la gestión adecuada de los recursos, la corrección y la seguridad de referencia. Pase lo que pase con el código, se verificará primero para evitar que se ejecuten contratos inteligentes defectuosos o maliciosos.

Este es el poder de la verificación de código de bytecode incorporado de Move.

Verificación en tiempo real de la ausencia de errores

El reconocido pionero de la informática Edsger Dijkstra señaló: “¡Las pruebas de programa se pueden usar para mostrar la presencia de errores, pero nunca para mostrar su ausencia!”

Las capacidades de verificación formales de Move permiten a los desarrolladores realmente probar que no hay errores en código específico de acuerdo con las especificaciones preestablecidas.

MoveVM es menos probado en la batalla que la máquina virtual de Ethereum, pero como Rushi Manche, fundador de Movement Labs, ha explicado, Move requiere mucho menos auditoría de código. El tiempo de ejecución MoveVM puede actuar como un “auditor en tiempo de ejecución”.

El verificador dentro del MoveVM asegura que el código de transacción no sea dañino y que no pueda crear, duplicar o destruir recursos no permitidos por los firmantes de la transacción. En otras palabras, MoveVM es un “auditor en tiempo de ejecución” en lugar de un auditor de contrato inteligente humano.

Hoy, Mover on Aptos es más que un lenguaje de contrato inteligente. Mover on Apptos es la versión de Move más antigua, más reconocida y ampliamente utilizada, con una de las comunidades de desarrolladores de más rápido crecimiento y un ecosistema de infraestructura, herramientas y proyectos de rápido crecimiento.

Verificar rápidamente el código antes de que la implementación creara las condiciones para el movimiento del ecosistema Apto. Desde un comienzo de Web2 defectuoso, el movimiento ahora está preparado para cultivar Defi.

Opinión de: Alex Nguyen, CEO de Vibrantx.

Este artículo es para fines de información general y no está destinado a ser y no debe tomarse como asesoramiento legal o de inversión. Los puntos de vista, los pensamientos y las opiniones expresadas aquí están solos del autor y no reflejan ni representan necesariamente las opiniones y opiniones de Cointelegraph.