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 cumplen, los desarrolladores están a cargo de este tipo de contratos.

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, asegúrese de que esté libre de errores críticos no deseados, 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, que la creación de código libre de errores es prácticamente imposible.

Los errores le han costado

Las criptomonedas, incluso aquellas que no aceptan contratos inteligentes, hijo 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, con una pérdida de $ 12.5 millones se ha adjudicado a una puerta trasera autorizada en su contrato inteligente, se ha 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 usar para promulgar contratos inteligentes que usan una lógica extremadamente sofisticada. El problema es que, cuanto más complejo es esa lógica, mayor es la probabilidad de que un error explotable y se infiltre. Solidez, el lenguaje principal utilizado para codificar los contratos inteligentes de Ethereum, es muy difícil de dominar. Los bloqueados habilitados por contrato que han surgido desde entonces han intentado eliminar cuentos errores. Esto implica alejarse de Solidez y, a menudo, de la integridad, un favor de un sistema más restrictivo con menos margen de error.