Contrato inteligente

Un contrato inteligente es un programa informático o un protocolo de transacción diseñado para ejecutar, controlar o documentar automáticamente eventos y acciones según los términos de un contrato o acuerdo. ^{[ 1 ] [ 2 ] [ 3 ] [ 4 ]} Los objetivos de los contratos inteligentes son la reducción de la necesidad de intermediarios de confianza, los costos de arbitraje y las pérdidas por fraude, así como la reducción de excepciones maliciosas y accidentales. ^{[ 5 ] [ 2 ]} Los contratos inteligentes se asocian comúnmente con las criptomonedas , y los contratos inteligentes introducidos por Ethereum se consideran generalmente un componente fundamental para las finanzas descentralizadas (DeFi) y las aplicaciones de tokens no fungibles (NFT). ^{[ 6 ]}

El documento técnico original de Ethereum, escrito por Vitalik Buterin en 2014 ^{[ 7 ],} describe el protocolo Bitcoin como una versión débil del concepto de contrato inteligente, tal como lo definió originalmente Nick Szabo , y propone una versión más robusta basada en el lenguaje Solidity , que es Turing completo . Desde entonces, diversas criptomonedas han incorporado lenguajes de programación que permiten contratos inteligentes más avanzados entre partes no confiables. ^{[ 8 ]}

Un contrato inteligente no debe confundirse con un contrato legal inteligente , que es un acuerdo tradicional, en lenguaje natural y legalmente vinculante, cuyos términos seleccionados se expresan e implementan en código legible por máquina. ^{[ 9 ] [ 10 ] [ 11 ]}

En 1996, Nick Szabo utilizaba el término «contrato inteligente» para referirse a contratos que se harían cumplir mediante propiedad física (como hardware o software) en lugar de por ley. Szabo describió las máquinas expendedoras como un ejemplo de este concepto. ^{[ 12 ] [ 13 ]} En 1998, el término se utilizó para describir objetos en la capa de servicio de gestión de derechos del sistema The Stanford Infobus , que formaba parte del Stanford Digital Library Project . ^{[ 1 ]}

Un contrato inteligente no suele constituir un acuerdo vinculante válido ante la ley . ^{[ 14 ]} Existen propuestas para regular los contratos inteligentes. ^{[ 9 ] [ 10 ] [ 11 ]}

Los contratos inteligentes no son acuerdos legales, sino transacciones que se ejecutan automáticamente mediante un programa informático o un protocolo de transacción , ^{[ 14 ]} como medios tecnológicos para la automatización de obligaciones de pago ^{[ 15 ]} , por ejemplo, mediante la transferencia de criptomonedas u otros tokens. Algunos académicos han argumentado que la naturaleza imperativa o declarativa de los lenguajes de programación afectaría la validez legal de los contratos inteligentes. ^{[ 16 ]}

En algunas jurisdicciones, los juristas han examinado cómo la rigidez de los contratos inteligentes interactúa con doctrinas tradicionales como la imprevisibilidad contractual. Por ejemplo, la doctrina jurídica colombiana ha propuesto adaptar la teoría de la onerosa sobrevenida (teoría de la imprevisión) para dar cuenta de los altos costos económicos y sistémicos de revertir los efectos de los contratos inteligentes mediante la intervención judicial, haciendo hincapié en la necesidad de internalizar estos costos y desarrollar nuevos mecanismos procesales para los entornos digitales. ^{[ 17 ]}

Desde el lanzamiento de la cadena de bloques Ethereum en 2015 , el término "contrato inteligente" se ha aplicado a la computación de propósito general que se realiza en una cadena de bloques. El Instituto Nacional de Estándares y Tecnología de EE. UU. describe un "contrato inteligente" como una "colección de código y datos (a veces denominados funciones y estado) que se implementa mediante transacciones firmadas criptográficamente en la red de la cadena de bloques". ^{[ 18 ]} En esta interpretación, un contrato inteligente es cualquier tipo de programa informático que utiliza una cadena de bloques. Un contrato inteligente también puede considerarse un procedimiento almacenado seguro , ya que su ejecución y efectos codificados (como la transferencia de tokens entre partes) no pueden manipularse sin modificar la propia cadena de bloques. En esta interpretación, la ejecución de los contratos es controlada y auditada por la plataforma, no por programas arbitrarios del lado del servidor que se conectan a la plataforma. ^{[ 19 ] [ 20 ]}

En 2018, un informe del Senado de los Estados Unidos afirmó: «Si bien los contratos inteligentes pueden sonar novedosos, el concepto se basa en el derecho contractual básico. Por lo general, el sistema judicial resuelve las disputas contractuales y hace cumplir los términos, pero también es común contar con otro método de arbitraje, especialmente para transacciones internacionales. Con los contratos inteligentes, un programa hace cumplir el contrato integrado en el código». ^{[ 21 ]} Algunos estados de los Estados Unidos que han aprobado legislación sobre el uso de contratos inteligentes son Arizona, ^{[ 22 ]} Iowa, ^{[ 23 ]} Nevada, ^{[ 24 ]} Tennessee, ^{[ 25 ]} y Wyoming. ^{[ 26 ]}

En abril de 2021, el Grupo de Trabajo sobre Jurisdicción del Reino Unido (UKJT) publicó las Reglas de Resolución de Disputas Digitales (las Reglas de DR Digitales), que tenían como objetivo permitir la resolución rápida de disputas legales sobre blockchain y criptomonedas en Gran Bretaña. ^{[ 27 ]}

En 2021, la Comisión de Derecho de Inglaterra y Gales dictaminó que los contratos legales inteligentes pueden ser reconocidos y ejecutados conforme a la legislación inglesa vigente. ^{[ 28 ]}

De forma similar a una transferencia de valor en una cadena de bloques, el despliegue de un contrato inteligente en una cadena de bloques se produce mediante el envío de una transacción desde una billetera para la cadena de bloques. ^{[ 29 ]} La transacción incluye el código compilado para el contrato inteligente, así como una dirección de receptor especial. ^{[ 29 ]} Esa transacción debe incluirse en un bloque que se agrega a la cadena de bloques, momento en el cual el código del contrato inteligente se ejecutará para establecer el estado inicial del contrato inteligente. ^{[ 29 ]} Los algoritmos tolerantes a fallos bizantinos protegen el contrato inteligente de forma descentralizada contra intentos de manipulación. Una vez desplegado un contrato inteligente, no se puede actualizar. ^{[ 30 ]} Los contratos inteligentes en una cadena de bloques pueden almacenar estados arbitrarios y ejecutar cálculos arbitrarios. Los clientes finales interactúan con un contrato inteligente a través de transacciones. Dichas transacciones con un contrato inteligente pueden invocar otros contratos inteligentes. Estas transacciones pueden resultar en un cambio de estado y el envío de monedas de un contrato inteligente a otro o de una cuenta a otra. ^{[ 30 ]}

La cadena de bloques más popular para ejecutar contratos inteligentes es Ethereum . ^{[ 31 ]} En Ethereum, los contratos inteligentes se escriben típicamente en un lenguaje de programación Turing-completo llamado Solidity , ^{[ 32 ]} y se compilan en bytecode de bajo nivel para ser ejecutados por la Máquina Virtual de Ethereum . ^{[ 33 ]} Debido al problema de parada y otros problemas de seguridad, la Turing-completitud se considera un riesgo y se evita deliberadamente en lenguajes como Vyper . ^{[ 34 ] [ 35 ]} Algunos de los otros lenguajes de programación de contratos inteligentes que carecen de Turing-completitud son Simplicity, Scilla, Ivy y Bitcoin Script. ^{[ 35 ]} Algunas plataformas más nuevas han explorado lenguajes específicos de dominio "orientados a activos" (como Scrypto) que tratan los activos digitales como tipos de datos nativos dentro del entorno del lenguaje para imponer reglas de finitud y seguridad a nivel del compilador. ^{[ 36 ]} Sin embargo, las mediciones realizadas en 2020 utilizando expresiones regulares mostraron que solo el 35,3% de los 53.757 contratos inteligentes de Ethereum en ese momento incluían recursiones y bucles, construcciones relacionadas con el problema de la parada. ^{[ 37 ]}

Varios lenguajes están diseñados para permitir la verificación formal : Bamboo, IELE, Simplicity, Michelson (se puede verificar con Rocq ), ^{[ 35 ]} Liquidity (se compila a Michelson), Scilla, DAML y Pact. ^{[ 34 ]}

Los procesos en una cadena de bloques son generalmente deterministas para garantizar la tolerancia a fallos bizantinos . ^{[ 45 ]} Sin embargo, la aplicación en el mundo real de los contratos inteligentes, como las loterías y los casinos , requiere aleatoriedad segura. ^{[ 46 ]} De hecho, la tecnología de cadena de bloques reduce los costos de realización de una lotería y, por lo tanto, es beneficiosa para los participantes. La aleatoriedad en la cadena de bloques se puede implementar mediante el uso de hashes de bloques o marcas de tiempo, oráculos, esquemas de compromiso, contratos inteligentes especiales como RANDAO ^{[ 47 ] [ 48 ]} y Quanta, así como secuencias de equilibrios de Nash de estrategia mixta . ^{[ 45 ]}

En 1998, Szabo propuso que la infraestructura de contratos inteligentes se puede implementar mediante registros de activos replicados y ejecución de contratos utilizando cadenas hash criptográficas y replicación tolerante a fallos bizantinos . ^{[ 49 ]} Askemos implementó este enfoque en 2002 ^{[ 50 ] [ 51 ]} utilizando Scheme (posteriormente añadiendo SQLite ^{[ 52 ] [ 53 ]} ) como lenguaje de script de contrato. ^{[ 54 ]}

Una propuesta para usar Bitcoin para el registro de activos replicados y la ejecución de contratos se llama " monedas de colores ". ^{[ 55 ]} Los títulos replicados para formas de propiedad potencialmente arbitrarias, junto con la ejecución de contratos replicados, se implementan en diferentes proyectos.

A partir de 2015, UBS estaba experimentando con "bonos inteligentes" que utilizan la cadena de bloques de bitcoin ^{[ 56 ]} en los que los flujos de pago podrían hipotéticamente automatizarse por completo, creando un instrumento de autopago. ^{[ 57 ]}

Los deseos de herencia podrían implementarse hipotéticamente de forma automática al registrar un certificado de defunción mediante contratos inteligentes. ^{[ 58 ] [ 59 ]} Los certificados de nacimiento también pueden funcionar junto con contratos inteligentes. ^{[ 60 ] [ 61 ]}

Chris Snook de Inc.com sugiere que los contratos inteligentes también podrían usarse para manejar transacciones inmobiliarias y podrían usarse en el campo de los registros de títulos y en el registro público . ^{[ 62 ] [ 63 ] [ 64 ] [ 65 ] [ 66 ]}

Seth Oranburg y Liya Palagashvili argumentan que los contratos inteligentes también podrían usarse en contratos de trabajo , especialmente en contratos de trabajo temporales, lo que, según ellos, beneficiaría al empleador. ^{[ 67 ] [ 68 ]}

Los datos de las transacciones de un contrato inteligente basado en blockchain son visibles para todos los usuarios de la blockchain. Los datos proporcionan una vista criptográfica de las transacciones; sin embargo, esto genera una situación en la que los errores, incluidas las vulnerabilidades de seguridad, son visibles para todos y pueden no ser corregidos rápidamente. ^{[ 69 ]} Un ataque de este tipo, difícil de corregir rápidamente, se ejecutó con éxito en The DAO en junio de 2016, drenando aproximadamente US$50  millones en Ether en ese momento, mientras los desarrolladores intentaban llegar a una solución que lograra el consenso. ^{[ 70 ]} El programa The DAO tenía un retardo establecido antes de que el hacker pudiera retirar los fondos; se realizó una bifurcación dura del software Ethereum para recuperar los fondos del atacante antes de que expirara el límite de tiempo. ^{[ 71 ]} Otros ataques de alto perfil incluyen los ataques a la billetera multifirma de Parity y un ataque de subdesbordamiento/sobredesbordamiento de enteros (2018), que totalizaron más de US$184  millones. ^{[ 72 ]}

Los problemas en los contratos inteligentes de Ethereum, en particular, incluyen ambigüedades y construcciones sencillas pero inseguras en su lenguaje de contratos Solidity, errores del compilador, errores de la máquina virtual de Ethereum, ataques a la red blockchain, la inmutabilidad de los errores y la falta de una fuente central que documente las vulnerabilidades, los ataques y las construcciones problemáticas conocidas. ^{[ 38 ]}

Los contratos legales inteligentes se distinguen de los contratos inteligentes. Como se mencionó anteriormente, un contrato inteligente no necesariamente es legalmente ejecutable como un contrato. Por otro lado, un contrato legal inteligente posee todos los elementos de un contrato legalmente ejecutable en la jurisdicción donde puede ser ejecutado y puede ser ejecutado por un tribunal. Por lo tanto, si bien todo contrato legal inteligente contendrá algunos elementos de un contrato inteligente, no todo contrato inteligente será un contrato legal inteligente. ^{[ 73 ]}

No existe una definición formal de contrato legal inteligente en la industria jurídica. ^{[ 74 ]}

Un contrato ricardiano es un tipo de contrato legal inteligente. ^{[ 75 ]}

• Código y otras leyes del ciberespacio
• Aplicación descentralizada
• Ethereum
• Regulación mediante algoritmos
• Regulación de algoritmos
• Contrato ricardiano (un patrón de diseño para capturar la intención del acuerdo de las partes) ^{[ 76 ]}
• Préstamo
• Computación multipartita segura
• Transparencia