La misión del billón de dólares para eliminar los errores de los Smart Contract

La tecnología blockchain tiene grandes misiones que cumplir, los desarrolladores son los responsables en gran medida de proporcionar seguridad a los recursos financieros destinados a estos contratos, veremos de que se trata.

No puedes tener un software sin errores. Cada pieza importante de código está sujeta a una amplia depuración, que es una parte inevitable del proceso de desarrollo. Pero cuando ese código controla activos digitales por valor de millones de dólares, asegurar que esté libre de errores críticos no solo es deseable, es imperativo. Como el hack de Bancor de esta semana y la racha de fallas de contrato inteligente con errores más pequeños de este año han demostrado, que la creación de código libre de errores es prácticamente imposible.

Los errores le han costado muchas pérdidas a la gente Crypto

Las criptomonedas, incluso aquellas que no permiten contratos inteligentes, son susceptibles a errores. Incluso el bitcoin, el punto de referencia por el que se miden otras monedas, ha tenido su parte, como el error de desbordamiento en 2010 que creó 180 mil millones de bitcoins en el bloque 74638. Sin embargo, se corrigió rápidamente sin que nadie ganara ni perdiera monedas. Los usuarios de Ethereum no siempre han tenido tanta suerte. Incidentes como DAO, Parity y, más recientemente, Bancor, cuya pérdida de $ 12.5 millones se ha atribuido a una puerta trasera autorizada en su contrato inteligente, han llevado la cantidad de cifrado perdido a errores de codificación a $ 1 mil millones. Toda una fortuna y las consecuencias es poca credibilidad a un sistema que puede contener errores.

Como una blockchain completa, la Máquina Virtual Ethereum puede usarse para promulgar contratos inteligentes que usan una lógica extremadamente sofisticada. El problema es que, cuanto más compleja es esa lógica, mayor es la probabilidad de que un error explotable y se infiltre. Solidity, el lenguaje principal utilizado para codificar los contratos inteligentes de Ethereum, es muy difícil de dominar. Los blockchains habilitados por contrato inteligentes que han surgido desde entonces han intentado eliminar tales errores. Esto implica alejarse de Solidity y, a menudo, de la integridad, a favor de un sistema más restrictivo con menos margen de error.

Cómo se están acercando los nuevos blockchains a los contratos inteligentes.

La Búsqueda de los Mil Millones de Dólares para Eliminar los errores en los Contratos Inteligentes en Blockchain Expo celebrado en Amsterdam, ( Smart Contract BugsAt Blockchain Expo in Amsterdam) news.Bitcoin.com habló con Jordan Andrews, Líder de Contratos Inteligentes en Stratis. Su plataforma usa C #, que se ha visto favorecida porque proporciona acceso a «tantas herramientas como decompiladores, excelentes editores, un conjunto de implementación de prueba y depuración coherentes en Visual Studio».

Lo que esto significa es que puedes descompilar cualquier contrato del bytecode a C # real», explicó Jordan. Él contrasta esto con Solidity, que se encuentra en «una delicada etapa de desarrollo, donde no se pueden descompilar bien muchos contratos. El hecho de que solo se puede auditar alrededor del 1% de los contratos en Ethereum es un problema, porque básicamente, los descompiladores no funcionan». Esto puede ser uno de los principales errores.

Mientras que Stratis se enfoca principalmente en la adopción de empresas, otros blockchains apuntan hacia Ethereum, pero aún deben alcanzar un estado de preparación donde puedan ponerle un guante a la plataforma de contrato inteligente de hecho que fincione en la criptografía. Tezos usará la verificación formal para sus contratos inteligentes en la forma de Michelson, un lenguaje de programación simple que premia la seguridad frente a la multifuncionalidad. Como resultado, debería ser más difícil para los codificadores crear programas arbitrarios, lo que a su vez significa que debería ser más difícil para ellos introducir fallas fatales.

En este sentido, Stellar proporciona capacidades limitadas de contratos inteligentes para cubrir asuntos tales como multi-sig, lotes y límites de tiempo.

Los contratos inteligentes de Cardano deben verificarse formalmente para garantizar que no tengan errores y que se ejecuten utilizando una máquina virtual llamada IELE.

Los contratos inteligentes EOS se implementan como ensamblado web precompilado usando C / C ++. Al igual que Cardano y Tezos, EOS todavía se encuentra en una etapa inicial de su desarrollo, con solo un puñado de desarrolladores que trabajan en su protocolo.

En comparación, Ethereum, puede contar con 35.000 desarrolladores de Solidity, y por lo tanto sigue siendo el blockchain de contrato inteligente preeminente de la web.

La pregunta, que surge se toda esta cantidad de información ¿esta puede ser controlada? en cuanto a la calidad de ejecución por lo extenso de los resultados.

La verificación formal reducirá los errores

La empresa Stratis, con su líder Jordan Andrews confía en que una mayor adopción de la verificación formal hará que los contratos inteligentes sean menos vulnerables: «Creo que el ecosistema tanto para, Stratis, como para Solidity verá tantas mejoras futuras. Una cosa que surge mucho ahora es la verificación formal, la idea de que se puede verificar un contrato y como se va a comportar.

Esto es obviamente una gran cosa y un avance. Los Stratis tendrán el potencial para hacer eso, y sé que también lo están investigando con Ethereum». Es decir los correctivos se están ejecutando.

Como la tecnología blockchain impregna todas las industrias, la función que juegan los contratos inteligentes en la ejecución de las decisiones aumentará drásticamente. En el proceso, el código de la computadora pasará de controlar cientos de millones a miles de millones de dólares en activos digitales.

La eliminación de errores es esencial para que los contratos inteligentes se conviertan en parte de los negocios cotidianos. Antes de que eso ocurra, los costosos errores causados por fallas adicionales son inevitables. Los errores de contrato inteligentes de Ethereum ya están por ahí. Es solo un caso de quién los encuentra primero: blanco o negro.

En resumen, cuando las empresas interesadas en ejecutar un contrato inteligente, colocan muchos recursos económicos en la red pública o privada, los hackers, están a la expectativa de cómo hacer para apropiarse de forma indebida de esos recursos, por lo tanto, la solidez, robustez, inviolabilidad de los códigos se hace imprescindible, falta u poco de madurez para lograr la excelencia, solo el tiempo lo dirá, pero la tecnología blockchain-bitcoin llegó para quedarse. Se espera por nuevos anuncios.

Referencia: news.bitcoin.com

Descargo de Responsabilidad: Este comunicado de prensa es sólo para fines informativos, la información no constituye consejo de inversión o una oferta para invertir. Las opiniones expresadas en este artículo son las del autor y no representan necesariamente los puntos de vista de infocoin, y no deben ser atribuidas a, Infocoin.

También te podría gustar...