Desarrolladores de ontología describen las mejores prácticas de programación inteligente de contratos

Los desarrolladores de ontología ( ONT ), una red líder de «confianza distribuida» para crear y desplegar aplicaciones descentralizadas (dApps), han afirmado que la seguridad inteligente de los contratos se encuentra entre los «temas más candentes» en el ecosistema de blockchain en evolución.

Según el equipo de Ontology, los sistemas de contrato inteligente actuales contienen varios tipos de vulnerabilidades seguridad , incluidas aquellas «respaldadas por» la Máquina Virtual Ethereum (EVM) y la Máquina Virtual EOS Wasm.

«La seguridad de las cadenas de bloques» ha sido «cuestionada»

De hecho, estas lagunas de seguridad han resultado en pérdidas sustanciales para los proyectos de criptomoneda y sus usuarios, confirmó el equipo de desarrollo de Ontology. La administración de la red de confianza distribuida también cree que las vulnerabilidades en el código de contrato inteligente han «puesto en tela de juicio la seguridad de la tecnología de cadena de bloques».

El año pasado, la plataforma de financiamiento colectivo KickICO sufrió una violación de seguridad perjudicial debido a una vulnerabilidad de contrato inteligente. Según informes, más de $ 7 millones en tokens de KickICO fueron robados durante el hackeo.

Mejores Prácticas para Escribir Contratos Inteligentes Seguros

Para mejorar la seguridad de la plataforma, los desarrolladores de Ethereum ( ETH ) han proporcionado un amplio conjunto de recursos, que describen las mejores prácticas de la industria para redactar y emitir contratos inteligentes seguros.

Si bien las pautas para los contratos inteligentes son específicas para el desarrollo de Ethereum, las mejores prácticas recomendadas pueden, en general, aplicarse ampliamente al desarrollar software en otras redes de blockchain líderes, como Ontology, Tron ( TRX ), EOS, entre otras.

Vaas-ONT: una “plataforma de verificación inteligente de contratos automática”

Como se menciona en la publicación del blog de ontología.  , publicada el 23 de mayo de 2019, los desarrolladores de contratos inteligentes pueden usar VaaS-ONT, una «plataforma de verificación formal automática de contratos inteligentes» para encontrar posibles vulnerabilidades en el código fuente. Integrada en SmartX, el entorno de desarrollo de contrato inteligente de Ontology (IDE), la plataforma VaaS-ONT puede ubicar “lagunas comunes de seguridad” en “un clic”, señalaron los desarrolladores de Ontology.

Además, el IDE de contrato inteligente patentado se puede usar para verificar las «propiedades de seguridad» fundamentales y la «corrección de la función» de las aplicaciones basadas en la cadena de bloques habilitada para contrato inteligente, explicó el equipo de desarrollo de Ontology.

El 11 de abril de 2019, el equipo de Ontología anunció una nueva «asociación estratégica» con Beosin, una empresa de tecnología con sede en Chengdu centrada en mejorar la seguridad de la cadena de bloques. La asociación implicó el despliegue de VaaS-ONT, la primera «plataforma de verificación formal personalizada» (después de Ethereum).

Trabajando para mejorar la seguridad de los contratos inteligentes y las plataformas de blockchain

En julio de 2018, los desarrolladores de Beosin se unieron al «Plan Co-Builder» de Ontology y también comenzaron a trabajar con los desarrolladores de Ontology para formular las mejores prácticas para redactar contratos inteligentes. Esto implicó mejorar e implementar los procesos relevantes para la «auditoría de seguridad y la verificación formal», a fin de mejorar la «seguridad de los contratos inteligentes y las plataformas de cadena de bloques».

Fuente: cryptoglobe.com

Comments (No)

Leave a Reply