3 cosas que necesitan los contratos inteligentes antes de que finalmente puedan despegar

Arthur Breitman es el director ejecutivo y Kathleen Breitman la directora de operaciones de Tezos (Tezos), una nueva plataforma blockchain actualmente en desarrollo. Antes de fundar Tezos, Arthur trabajó en Goldman Sachs y Morgan Stanley, donde fue vicepresidente. Kathleen fue asociada sénior de estrategia del consorcio blockchain R3.

En este artículo especial de CoinDesk 2016 en revisión, los Breitman brindan su descripción general de los problemas actuales con el desarrollo de contratos inteligentes y seleccionan solo tres que creen que siguen siendo barreras para su uso generalizado.

Los contratos inteligentes son muy prometedores como la «aplicación revolucionaria» para las cadenas de bloques.

Si no estás familiarizado, uncontrato inteligenteEs un programa informático que ejecuta automáticamente los términos de un contrato en una cadena de bloques. En principio, se pueden usar contratos inteligentes para una amplia variedad de propósitos, como contratos de servicios inalámbricos, alquiler de apartamentos y habitaciones de hotel, contratos de trabajo freelance, automatización de pagos... cualquier lugar donde se desee prescindir de intermediarios.

Con más de17.000 millones de dólares en activosalmacenados solo en las 10 principales criptomonedas, actualmente existe una gran oportunidad de brindar a los activos blockchain existentes flexibilidad y utilidad adicionales al agregar capacidades de contratos inteligentes.

También es obvio que la Tecnología ofrece una ventaja sustancial para los Mercados tradicionales.

Por ejemplo, considere el caso práctico del mercado de derivados extrabursátiles (OTC), que representa 700 billones de dólares en valor nocional al año. Trasladar incluso un pequeño porcentaje de esas operaciones a contratos inteligentes representa un enorme ahorro potencial.

Pero antes de que los contratos inteligentes puedan cumplir su promesa, las plataformas que los hacen posibles necesitan un mayor desarrollo.

A continuación se presentan tres formas en las que los sistemas de contratos inteligentes pueden ganarse nuestra confianza en 2017:

1. Proporcionar capacidades de verificación formal

Escribir código que funcione exactamente como queremos es increíblemente difícil.

Todo software es vulnerable a errores o ataques de diversos tipos, pero con los contratos inteligentes, los activos reales están en juego. Necesitamos una mejor manera de garantizar que estos contratos sean robustos y seguros. Una forma es usar verificación formal, una técnica matemática de verificación de código para demostrar que se ejecutará según lo previsto.

Los contratos inteligentes deben implementarse en un lenguaje fácil de verificar. Por esta razón, los lenguajes funcionales, como Haskell y OCaml, son más adecuados para el código de contratos inteligentes que los imperativos como C/C++, Java y JavaScript, ya que su estructura es más fácil de analizar y verificar formalmente.

Es cierto que cada vez hay más programadores familiarizados con JavaScript, pero el foco debe desplazarse de la facilidad de uso a la seguridad.

Tenga en cuenta que la verificación formal tiene algunas limitaciones. No es completamente automática y requiere habilidad Human .

Además, la verificación formal solo puede probar las propiedades que realmente queremos verificar; si no se verifican los aspectos correctos, se pueden dejar vulnerabilidades abiertas. Aun así, es un paso en la dirección correcta cuando se implementa correctamente.

2. Garantizar la transparencia para que se pueda inspeccionar el código.

ONE de los mayores experimentos con contratos inteligentes fue The DAO, un vehículo de inversión virtualizado que recaudó 150 millones de dólares y luego fue víctima de un atacante que desvió 50 millones de dólares a su propia cuenta.

Cuando los investigadores de seguridad comenzaron a analizar The DAO, fue tedioso entender qué estaba haciendo realmente porque el código de bytes de The DAO (el código de la máquina virtual) era todo lo que era visible en la cadena de bloques y no estaba claro qué versión del código fuente se estaba implementando realmente.

El código de los contratos inteligentes debe ser transparente, sin lagunas, para que sepamos exactamente qué firmamos al firmar un acuerdo y, además, para que los errores sean más fáciles de detectar. Una forma de lograrlo es usar un lenguaje interpretado, en lugar de ONE compilado, de modo que el código real sea visible en la cadena de bloques y pueda inspeccionarse fácilmente.

De lo contrario, el código de bytes debe corresponder exactamente al código fuente que lo creó para garantizar su coincidencia. Esto requiere que el compilador esté certificado.

3. Proporcionar un mecanismo de gobernanza claro

Debido a que los contratos inteligentes se almacenan en una cadena de bloques, por definición el código es inmutable, lo que significa que, en un mundo perfecto, el código no cambia.

Pero el software nunca es perfecto. Pueden ocurrir cambios en la plataforma subyacente, lo que puede afectar la ejecución del código de los contratos inteligentes. La forma en que una blockchain gestiona estos cambios es crucial para generar confianza en su plataforma.

Donde no existe un modelo de gobernanza claro, no hay certeza de que el terreno no se tambalee repentinamente. Cuando les conviene, los desarrolladores CORE o quien esté al mando tienen el poder de cambiar las reglas del juego sobre la marcha.

Por supuesto, la vulnerabilidad de una cadena de bloques a este tipo de abuso de poder depende en gran medida de su comunidad. Aun así, las cadenas de bloques del futuro deberían tener principios de gobernanza claros y definidos desde el principio, para que los cambios de protocolo se realicen de forma predecible y nadie se vea afectado por grandes sorpresas.

Una vez que resolvamos los problemas, los contratos inteligentes despegarán y formarán la columna vertebral de muchos de los contratos que celebramos todos los días, manejando todo, desde las facturas de electricidad hasta el cuidador de su perro y el acuerdo que tiene con un propietario, todo detrás de escena y a través de Internet, haciéndonos la vida más fácil.

Y, al igual que Internet, no pensaremos en la Tecnología que hay detrás, sólo sabemos que funciona de manera consistente y confiable.

CorrecciónUna versión anterior de este artículo indicaba que la empresa matriz de CoinDesk, Digital Currency Group, había invertido en Tezos. Esto ha sido revisado.

Imagen del despegue de un aviónvía Shutterstock