Fujitsu Laboratories Ltd. y Fujitsu Research and Development Center Co., Ltd. han anunciado el desarrollo de una tecnología que puede verificar, de antemano, los riesgos asociados con los contratos inteligentes, que son programas que ejecutan automáticamente las transacciones en las plataformas de blockchain. La tecnología también identifica ubicaciones relevantes en el código fuente.
Se espera que la tecnología Blockchain, que se desarrolló como la base para Bitcoin, tenga aplicaciones en una variedad de campos más allá de las finanzas, que incluyen el sector inmobiliario y el cuidado de la salud. Sin embargo, debido a que los riesgos de los contratos inteligentes están directamente relacionados con las pérdidas comerciales, ha habido problemas para mejorar su confiabilidad como sistema.
Ahora, Fujitsu Laboratories y el Centro de Investigación y Desarrollo de Fujitsu han desarrollado algoritmos para identificar las secuencias de transacción afectadas por el riesgo en Ethereum, una plataforma para ejecutar aplicaciones de cadena de bloques, utilizando la tecnología de ejecución simbólica. Al usar estos algoritmos, han desarrollado una tecnología capaz de detectar integralmente seis tipos de riesgos en contratos inteligentes, que pueden pasar por alto en una revisión manual, y luego pueden identificar las ubicaciones relevantes en el código fuente. Esta tecnología permitirá a los desarrolladores de blockchain desarrollar rápidamente contratos inteligentes aún más seguros.
Los detalles de esta tecnología se anunciaron en el Taller Blockchains and Smart Contracts 2018 (BSC 2018), una conferencia internacional que se celebró en París, Francia, del 26 al 28 de febrero.
- Tecnología para detectar riesgos de contratos inteligentes utilizando tecnología de ejecución simbólica. Fujitsu Laboratories y el Centro de Investigación y Desarrollo de Fujitsu han desarrollado un algoritmo para identificar integralmente errores en el código fuente que podrían generar el riesgo de que alguien abuse de las especificaciones del lenguaje de Ethereum para falsificar el origen de una llamada de transacción, mediante el uso de ejecución simbólica para ejecutar virtualmente transacciones bajo una variedad de circunstancias de acuerdo con el código fuente basado en la secuencia de procesamiento incorrecto hasta las reglas de autenticación establecidas de antemano, los resultados de una comparación con patrones de código exclusivos de Ethereum vinculados con fraude, y sobre la presencia o ausencia de acceso a registros de transacciones exclusivos de la tecnología blockchain. Esta tecnología proporciona una detección de riesgos completa y altamente precisa.
- Tecnología para identificar con precisión lugares relevantes en el código fuente para riesgos descubiertos. Los Laboratorios Fujitsu y el Centro de Investigación y Desarrollo de Fujitsu han desarrollado tecnología para identificar a qué parte del código fuente se aplica con mayor precisión un riesgo recientemente descubierto. Esta tecnología hace posible la ejecución simbólica eliminando comandos no utilizados de un archivo de ejecución de depuración, con información de código fuente, que corresponde a los archivos de ejecución de Ethereum, lo que permite identificar las ubicaciones del código fuente que corresponden a los riesgos identificados en el archivo de ejecución estimando la relación correspondiente entre el archivo de ejecución y el archivo de ejecución de depuración usando información tal como los tipos y la secuencia de comandos de procesamiento ejecutados virtualmente.
Usando esta tecnología recientemente desarrollada, las dos compañías encontraron que donde las herramientas de verificación previas tenían una tasa de detección de alrededor del 67%, esta nueva tecnología era capaz de detectar 100%, exceptuando unos pocos artículos, y que en términos de precisión lograba una tasa de precisión de hasta 88%, que permite tanto la detección de riesgos de alta precisión como la identificación de ubicaciones de riesgos del código fuente.
En el futuro, Fujitsu Laboratories continuará desarrollando tecnologías de verificación, no sólo para Ethereum, sino también para Hyperledger Fabric, una implementación de framework blockchain y uno de los proyectos de Hyperledger hospedados por The Linux Foundation, con el objetivo de comercializar esta tecnología durante el año fiscal 2018.
Deja un comentario