Oráculos, o ¿por qué los contratos inteligentes todavía no han cambiado el mundo?

Para aquellos que estén interesados ​​en el tema de los contratos inteligentes, la respuesta a la pregunta formulada en el encabezado radica en la superficie: hoy, los contratos no tienen una fuente confiable y completa de información sobre lo que está sucediendo en el mundo real. Como resultado de esto, está surgiendo una situación grave: podemos describir una lógica compleja en un contrato inteligente, y la cadena de bloques nos proporcionará su ejecución incondicional. Y ahora, al parecer, estamos a un paso de deshacernos de la necesidad de un tercero al concluir los contratos: esto es lo que significaban las palabras "cambiar el mundo" en el título. Sin embargo, cualquier lógica que describa los procesos del mundo real necesita saber qué está sucediendo en este mundo. Por lo tanto, el último obstáculo nos separa de la "revolución de la confianza" en forma de ausencia de proveedores de información u oráculos , como se les llama en el mundo de los contratos inteligentes. Una solución a este problema daría un tremendo impulso a la prevalencia y aplicabilidad de los contratos inteligentes. De lo contrario, esta tecnología corre el riesgo de quedarse para siempre como una plataforma para la implementación de ICO.



Las habilidades que no encuentran aplicación se convierten en nada.
Sten Nadolny

Oráculos


Oracle es un proveedor de información que, a pedido de un contrato, proporciona de la cadena fuera de línea del mundo datos confiables necesarios para el correcto funcionamiento del contrato. Los requisitos principales para el oráculo son la fiabilidad y la integridad de la información proporcionada. Aquí, la fiabilidad significa la capacidad de confirmar / verificar la validez de los datos, y la integridad significa la capacidad de proporcionar datos sobre una amplia gama de eventos del mundo real. Observamos por separado que el oráculo no es una fuente de información, es su proveedor de blockchain . Por lo tanto, la elección de la fuente de información es uno de los parámetros clave del oráculo, porque para que el oráculo sea confiable y completo, la fuente también debe ser confiable y completa (hablaremos de las fuentes en la siguiente sección).



Comencemos con la propiedad de confianza del oráculo. Hoy en día, hay dos enfoques principales para lograr la confiabilidad de los oráculos. El primero es el consenso de los oráculos . Como su nombre indica, en este enfoque se utiliza el consenso de varios validadores independientes. El principal problema de este enfoque (en términos de confiabilidad) es la creación de una red de validadores independientes. Por un lado, si seleccionamos / nombramos participantes de consenso (oráculos), dependerán del mecanismo de selección / nombramiento. Por lo tanto, la centralización continuará, aunque, por supuesto, en menor medida y de otra forma. Por otro lado, si alguien puede convertirse en un participante de consenso, el sistema se vuelve vulnerable a un ataque de Sybil . Además, existe la opinión de que comprometer (piratear, sobornar) a varios participantes de consenso pequeños puede ser más fácil que comprometer un validador grande, ya que un jugador grande tiene medidas de seguridad significativamente más serias y los costos de reputación son mucho más altos.

Oraclize ofrece una alternativa a la solución de consenso de Oracle : el usuario elige la fuente de información en Internet. Y para probar el funcionamiento correcto del oráculo, se utilizan TLSNotary-tests . Esta es una evidencia criptográfica de que los datos recibidos de la fuente seleccionada se transfieren al contrato inteligente de forma inalterada.



Por el momento, puede verificar esta evidencia en Internet utilizando un monitor de red para Ethereum (es inestable en el momento de la escritura). En el futuro, se planea realizar la posibilidad de verificar la evidencia TLSNotary directamente por el contrato en la red Ethereum.

Es importante tener en cuenta que ambos enfoques tienen el problema de confiar en la fuente de información (s): ambos en cierta medida nos garantizan la honestidad de transferir datos de la fuente al contrato, pero no garantizan la honestidad de la fuente (incluso si la elegimos nosotros mismos).

Fuentes de informacion


Al comienzo de esta sección, tocamos la integridad de los datos proporcionados por el oráculo. Lograr la integridad significa expandir el círculo de fuentes de información, y esto implica preguntas aún mayores para la confiabilidad de estos datos. Consideremos dos ejemplos simples: si su contrato necesita información sobre la tasa ETH / USD actual, entonces puede considerar grandes intercambios de criptomonedas como las fuentes, cuyo consenso será bastante confiable. Y si el contrato necesita saber si la luz está encendida en su habitación, será extremadamente difícil encontrar testigos independientes. Puede usar una fuente física, por ejemplo, una cámara en el dormitorio, pero si lo desea, es fácil engañar: coloque una bolsa en la cámara y siempre estará oscuro en su dormitorio. Por lo tanto, con un aumento en la integridad de la información proporcionada por el oráculo, el problema de encontrar fuentes confiables es aún más grave.

La fuente de información más natural está centralizada . Estamos acostumbrados a este enfoque en la vida cotidiana: conocemos las noticias en nuestro sitio web favorito, el tipo de cambio del dólar en el sitio web del Banco Central. La mayoría de nosotros cree ciegamente estas fuentes centralizadas, y esta creencia se justifica con mayor frecuencia, porque los costos de reputación para empresas tan grandes exceden los beneficios potenciales que se pueden obtener al proporcionarle información falsa. Hay dos peros. En primer lugar, confiabilidad: incluso cuando se trata de una fuente centralizada confiable, todavía operamos con fe, no con conocimiento. En segundo lugar, y más importante, integridad: el uso de una fuente centralizada puede considerarse un enfoque confiable solo para un círculo estrecho de eventos resonantes.

La primera forma de sortear las desventajas de una fuente centralizada es utilizar fuentes de consenso . Ya discutimos un enfoque similar cuando hablamos sobre el consenso de los oráculos. Como en el caso de los oráculos, este enfoque mejora tanto la fiabilidad como la integridad de la información proporcionada, sin embargo, su efecto positivo es limitado y tiene sus inconvenientes (consulte la sección anterior).

Otro enfoque para resolver el problema de las fuentes de información es un método indirecto . La idea es extraer información sobre el evento que nos interesa de fuentes indirectas.



Estas fuentes serán diferentes para cada tipo de evento: para la temperatura en Moscú, una foto de Instagram con la ubicación geográfica y la fecha adecuadas, para el resultado del partido, publicaciones en las redes sociales con las etiquetas y fechas correspondientes, etc. Es probable que los éxitos de los últimos años en el campo del aprendizaje automático nos permitan determinar el resultado de eventos pasados ​​con una precisión razonable de fuentes indirectas. Qué modelos de aprendizaje automático son aplicables para esto, qué precisión será, si las fuentes indirectas son independientes: todos estos problemas deben considerarse por separado para cada evento específico, y el hecho de su capacidad de solución será el criterio para la aplicabilidad del método indirecto para este evento.

Para tareas relativamente simples, como determinar el resultado de un partido mediante una selección suficiente de publicaciones de fanáticos del deporte, estos problemas parecen resolverse. Se supone que el contrato se referirá al nodo en el que se realizan los cálculos (extrayendo el pronóstico de fuentes indirectas). Se propone la confiabilidad de los cálculos para confirmar criptográficamente, como se implementa, por ejemplo, en el proyecto Golem .



Este enfoque es el segundo paso hacia la integridad de los oráculos. No se trata de la luz en el dormitorio, sino del clima, de los resultados electorales, del lanzamiento exitoso del Falcon Heavy .

En aras de la exhaustividad, abordaremos el tema de los mercados de predicción como Augur . El mercado utiliza la "sabiduría de la multitud" para predecir eventos futuros. Los usuarios predicen el posible resultado de estos eventos comprando acciones de remuneración por un resultado correctamente adivinado (los ganadores compartirán el premio en proporción al tamaño de sus apuestas). Por lo tanto, este enfoque implica una motivación económica para los participantes en la predicción: para la predicción correcta, el usuario recibe una recompensa y, en caso de una predicción incorrecta, pierde los fondos invertidos. El pronóstico en este caso es la expectativa promedio ponderada de todos los usuarios. El uso de los mercados de predicción aumenta en gran medida la integridad de la información proporcionada, ya que puede predecir cualquier cosa (si hay suficiente voluntad), y la fiabilidad proporciona la motivación económica de los participantes en la predicción.

Sin embargo, no todo es tan optimista como podría parecer a primera vista. Primero, la predicción es solo la expectativa de los participantes del mercado (se pueden citar muchos ejemplos de eventos que nadie esperaba que ocurrieran). En segundo lugar, en dicho modelo, la manipulación de la predicción es posible si los costos de cambiar la predicción por falso son menores que el beneficio de la operación incorrecta del contrato. Por ejemplo, si el contrato supone un pago grande en el caso del evento A, y el hecho de que ocurra este evento determina el mercado predictivo con una pequeña rotación de fondos, entonces el atacante puede falsificar el evento A, gastando solo una parte del beneficio obtenido en manipular la predicción.

Conclusión


La importancia de los oráculos para la tecnología de contrato inteligente es difícil de sobreestimar. Oracle sirve como proveedor de información desde la fuente hasta el contrato. Y si las soluciones existentes en la actualidad proporcionan una transferencia bastante confiable de esta información, entonces el problema con su confiabilidad original aún no se ha resuelto. Crear / seleccionar fuentes de información confiables y completas es la última frontera que separa los contratos inteligentes de la distribución ubicua. Dado el desarrollo activo de las tecnologías blockchain, podemos contar con una superación al menos parcial de este hito en los próximos años.

Source: https://habr.com/ru/post/es418791/


All Articles