La expresi\u00f3n \u00absmart contract\u00bb, o contrato inteligente, carga con mucho significado que no se ha ganado. Sugiere algo jur\u00eddico, algo inteligente, algo que vela por un acuerdo. Lo que en realidad se despliega es un programa almacenado en una blockchain que se ejecuta cuando se lo invoca y mueve activos conforme a su propio c\u00f3digo. Entender la distancia entre el nombre y el mecanismo explica la mayor parte del riesgo.<\/p>\n
Un smart contract es c\u00f3digo y datos almacenados que residen en una direcci\u00f3n de una cadena. Cualquiera puede enviarle una transacci\u00f3n que llame a una de sus funciones. Cada nodo ejecuta el mismo c\u00f3digo sobre el mismo estado y llega al mismo resultado, y eso es lo que hace que el desenlace sea verificable en lugar de confiado.<\/p>\n
La ejecuci\u00f3n cuesta una comisi\u00f3n, por lo general proporcional al trabajo computacional realizado. Esa comisi\u00f3n no es un detalle contable: limita cu\u00e1n compleja puede ser en la pr\u00e1ctica la l\u00f3gica on-chain y empuja a los desarrolladores hacia contratos m\u00ednimos, con todo lo posible resuelto fuera de la cadena. Tambi\u00e9n significa que un contrato puede fallar sencillamente porque se qued\u00f3 sin presupuesto a mitad de la ejecuci\u00f3n.<\/p>\n
De ah\u00ed se derivan dos propiedades. La ejecuci\u00f3n es determinista, de modo que las mismas entradas dan siempre las mismas salidas. Y en la mayor\u00eda de las cadenas el c\u00f3digo desplegado es inmutable, de modo que lo que se despliega es lo que se ejecutar\u00e1 para siempre.<\/p>\n
Dentro de su propia cadena, la capacidad de imposici\u00f3n de un contrato es muy fuerte. Puede custodiar activos y liberarlos solo cuando se cumplen las condiciones establecidas. Puede imponer un orden, de modo que el paso dos no pueda ocurrir antes del paso uno. Puede imponer reglas aritm\u00e9ticas, como l\u00edmites de suministro o calendarios de emisi\u00f3n. Puede imponer control de acceso, restringiendo funciones a determinadas direcciones. Y puede hacer todo esto sin un operador que pueda cambiar de opini\u00f3n.<\/p>\n
Es una capacidad real. Un dep\u00f3sito en garant\u00eda que ning\u00fan intermediario puede saquear, un suministro de tokens que nadie puede inflar en silencio y la creaci\u00f3n de mercado automatizada que funciona sin libro de \u00f3rdenes son logros genuinos del modelo. El valor procede de eliminar la discrecionalidad, no de a\u00f1adir inteligencia.<\/p>\n
Un contrato no tiene sentidos. No puede ver llegar una entrega, ni un env\u00edo pasar la aduana, ni la prestaci\u00f3n de un servicio. Solo conoce lo que est\u00e1 escrito en el estado de su cadena. Cualquier interacci\u00f3n con el mundo f\u00edsico exige que alguien d\u00e9 fe de ella, y en ese momento se est\u00e1 confiando en quien atestigua.<\/p>\n
Un contrato tampoco tiene alcance. No puede embargar bienes, retener salarios ni obligar a nadie a comportarse de determinada manera. Si un acuerdo necesita ejecutarse contra una persona y no contra un fondo de activos on-chain, el c\u00f3digo no lo proporciona. En la pr\u00e1ctica, esto significa que los smart contracts funcionan bien cuando todo el objeto del acuerdo ya est\u00e1 on-chain, y funcionan mal cuanto m\u00e1s se aleja uno de esa situaci\u00f3n.<\/p>\n
Un contrato tampoco puede ejercer criterio. No puede reconocer que una contraparte actu\u00f3 de mala fe dentro de la letra de los t\u00e9rminos, ni que las circunstancias cambiaron de un modo que nadie previ\u00f3. Los contratos humanos se sostienen sobre la interpretaci\u00f3n. El c\u00f3digo no tiene ninguna.<\/p>\n
La criptograf\u00eda subyacente rara vez es el problema. Los fallos se agrupan en unos pocos lugares reconocibles.<\/p>\n
El caso cl\u00e1sico es una funci\u00f3n a la que se puede volver a entrar antes de que termine de actualizar su propia contabilidad, lo que permite a quien la invoca retirar fondos repetidamente contra un saldo que a\u00fan no se ha reducido. El c\u00f3digo se ejecut\u00f3 correctamente. El dise\u00f1o era err\u00f3neo. La inmutabilidad convierte entonces el error en permanente, salvo que se haya incorporado una v\u00eda de rescate.<\/p>\n
Muchos incidentes se reducen a una funci\u00f3n privilegiada que no estaba debidamente restringida, o a una clave administrativa m\u00e1s poderosa o menos protegida de lo que los usuarios supon\u00edan. Un contrato puede ser impecable en su l\u00f3gica central mientras una direcci\u00f3n de propietario conserva discretamente la capacidad de vaciarlo.<\/p>\n
Los contratos que hacen referencia a precios, tasas o resultados dependen de or\u00e1culos. Cuando un precio se lee de una fuente que puede manipularse a bajo costo, un atacante puede distorsionar la entrada y dejar que el contrato haga el da\u00f1o en su nombre. El contrato se comporta correctamente en todo momento.<\/p>\n
Los protocolos se construyen unos sobre otros, y un contrato que es seguro por s\u00ed solo puede no serlo cuando otro contrato puede invocarlo en una secuencia inesperada dentro de una sola transacci\u00f3n. El comportamiento emergente entre componentes s\u00f3lidos de forma independiente es una de las clases de riesgo m\u00e1s dif\u00edciles de razonar.<\/p>\n
La inmutabilidad es la raz\u00f3n por la que se puede confiar en un smart contract sin confiar en su autor. Tambi\u00e9n es la raz\u00f3n por la que un error puede resultar imposible de corregir. Los equipos responden con patrones actualizables, timelocks que retrasan los cambios para que los usuarios puedan salir, y control multifirma de las claves administrativas. Cada mitigaci\u00f3n es una reintroducci\u00f3n parcial de la confianza, elegida de forma deliberada.<\/p>\n
No hay ninguna configuraci\u00f3n que elimine la disyuntiva. Plenamente inmutable significa plenamente comprometido con lo que se despleg\u00f3. Actualizable significa que alguien puede cambiar las reglas. La postura honesta consiste en saber qu\u00e9 modelo usa un protocolo determinado, qui\u00e9n tiene las claves y qu\u00e9 demora existe antes de que los cambios surtan efecto.<\/p>\n
Los contratos se ejecutan dentro de bloques, lo que significa que sus garant\u00edas son solo tan fuertes como las garant\u00edas de liquidaci\u00f3n de la cadena subyacente. En una cadena donde las reorganizaciones son baratas, una transacci\u00f3n que parec\u00eda definitiva puede deshacerse, y con ella se va cualquier estado del contrato que dependiera de ella. La seguridad de la cadena, ya provenga del Proof of Work (prueba de trabajo) acumulado o del stake comprometido, forma parte por tanto del modelo de seguridad de un contrato y no es un tema aparte. La relaci\u00f3n se expone con m\u00e1s detalle en nuestra cobertura de tecnolog\u00eda blockchain<\/a>.<\/p>\n Antes de interactuar con un contrato, unas pocas preguntas hacen casi todo el trabajo. \u00bfEst\u00e1 el c\u00f3digo fuente verificado y es legible, o solo hay un binario compilado? \u00bfEs actualizable y, en tal caso, qui\u00e9n puede actualizarlo y con qu\u00e9 rapidez? \u00bfDe qu\u00e9 datos externos depende y de d\u00f3nde proceden esos datos? \u00bfHa sido revisado, en qu\u00e9 versi\u00f3n, y se atendieron los hallazgos? \u00bfCu\u00e1nto valor ha custodiado y durante cu\u00e1nto tiempo?<\/p>\n Nada de eso garantiza la seguridad. Lo que hace es pasar de confiar en una descripci\u00f3n a evaluar un mecanismo, que es lo m\u00e1ximo que honestamente est\u00e1 disponible. Para la terminolog\u00eda relacionada, consulte el glosario<\/a>, y para saber c\u00f3mo abordamos este material en general, consulte nuestra metodolog\u00eda<\/a>. Nada de lo aqu\u00ed expuesto constituye asesoramiento financiero.<\/p>\n","protected":false},"excerpt":{"rendered":" Un smart contract es c\u00f3digo que se ejecuta exactamente como est\u00e1 escrito, lo cual es a la vez su fortaleza y su riesgo central. Aqu\u00ed explicamos qu\u00e9 hace cumplir realmente, qu\u00e9 queda fuera de su alcance y d\u00f3nde se concentran los fallos.<\/p>\n","protected":false},"author":3,"featured_media":77,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[7],"tags":[],"class_list":["post-123","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-smart-contracts-explained"],"_links":{"self":[{"href":"https:\/\/cryptocurrencyminers.net\/es\/wp-json\/wp\/v2\/posts\/123","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/cryptocurrencyminers.net\/es\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/cryptocurrencyminers.net\/es\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/cryptocurrencyminers.net\/es\/wp-json\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/cryptocurrencyminers.net\/es\/wp-json\/wp\/v2\/comments?post=123"}],"version-history":[{"count":2,"href":"https:\/\/cryptocurrencyminers.net\/es\/wp-json\/wp\/v2\/posts\/123\/revisions"}],"predecessor-version":[{"id":301,"href":"https:\/\/cryptocurrencyminers.net\/es\/wp-json\/wp\/v2\/posts\/123\/revisions\/301"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/cryptocurrencyminers.net\/es\/wp-json\/wp\/v2\/media\/77"}],"wp:attachment":[{"href":"https:\/\/cryptocurrencyminers.net\/es\/wp-json\/wp\/v2\/media?parent=123"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/cryptocurrencyminers.net\/es\/wp-json\/wp\/v2\/categories?post=123"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/cryptocurrencyminers.net\/es\/wp-json\/wp\/v2\/tags?post=123"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}Una forma pr\u00e1ctica de evaluar uno<\/h2>\n