[wps_section size=”full-boxed” height=”auto” background_color=”#1e73be” background_size=”cover” background_repeat=”no-repeat” background_mode=”fixed” align_content_vertical=”center” align=”left” content_width=”100%” content_color=”#fff” padding=”12″ margin=”15″]Truebit es una mejora de blockchain que permite que los contratos inteligentes realicen cálculos complejos de forma segura en lenguajes de programación estándar con costos de gas reducidos. La sencilla interfaz de Truebit genera certificados verificados públicamente para procesos de datos y evaluaciones de funciones.[/wps_section]
Bitcoin y Ethereum, cuyos mineros posiblemente componen colectivamente el recurso computacional más poderoso en la historia de la humanidad, no ofrecen más poder para procesar y verificar transacciones que los teléfonos inteligentes típicos. El sistema propuesto por Truebit evita este cuello de botella y brinda computación escalable a Ethereum. El ingenioso y nuevo sistema consiste en una capa de incentivos financieros encima de una capa de resolución de disputas donde esta última toma la forma de un versátil “juego de verificación”. Además de asegurar la computación subcontratada, las aplicaciones inmediatas incluyen grupos de minería descentralizados cuyo operador es un contrato inteligente de Ethereum, una criptomoneda con un rendimiento de transacciones escalables y medios confiables para transferir entre sistemas de criptomonedas inconexos.
El protocolo
Si bien los contratos inteligentes pueden realizar pequeños cálculos correctamente, las grandes tareas de cálculo plantean riesgos de seguridad para las cadenas de bloques. Truebit contrarresta esta deficiencia a través de un oráculo de actualización sin confianza que realiza correctamente las tareas computacionales. Cualquier contrato inteligente puede emitir una tarea de cálculo a este oráculo en forma de código de bytes de WebAssembly, mientras que los “mineros” anónimos reciben recompensas por resolver correctamente la tarea.
[wps_shadow style=”default”]El protocolo del oráculo garantiza la corrección en dos capas: una capa de consenso unánime donde cualquiera puede objetar las soluciones defectuosas, y un mecanismo en cadena que incentiva la participación y asegura una remuneración justa. Estos componentes se manifiestan formalmente a través de una combinación de arquitectura nueva fuera de la cadena y contratos inteligentes en la cadena.[/wps_shadow]
Truebit-OS en contexto
En lugar de depender de pruebas criptográficas externas de corrección, Truebit aprovecha los principios de la teoría del juego para aumentar de manera efectiva el poder de computación en cadena de las redes existentes.
Modelo de token de Truebit
El propósito principal de TrueBit es realizar cálculos correctos y sin tener que confianza a pesar del ancho de banda de cálculo limitado de los mineros. Intuitivamente, deseamos recompensar a los participantes que realizan correctamente las tareas computacionales, pero ¿quién decide si estas tareas se realizaron correctamente? En ausencia de una disputa, la parte que realiza una tarea computacional en nombre de un contrato TrueBit simplemente recibe una recompensa. Por otro lado, si ocurre una disputa, debemos confiar en el único recurso confiable, la red limitada de mineros, para resolverla.
Dilema del verificador
La mayoría de las cadenas de bloques utilizan scripts de contratos para admitir aplicaciones más allá de las simples transacciones en efectivo. Analizamos hasta qué punto estos sistemas pueden hacer cumplir correctamente los scripts. Los ataques prácticos pueden llevar a una elección desafortunada, que llamamos el dilema del verificador. Introducimos un protocolo de computación subcontratado de forma segura en Ethereum, que ofrece incentivos adecuados para lograr resultados computacionales correctos.
Sobre oráculos descentralizados para la disponibilidad de datos
El protocolo subyacente a Bitcoin tiene el potencial de asegurar una nueva clase de sistemas que coinciden en verdades no matemáticas. Truebit propone un diseño para un oráculo de disponibilidad de datos sin confianza. Esta exposición reduce el problema de determinar si un dato registrado está disponible públicamente o no al problema de construir una red en la que casi todos los nodos pueden descargar un dato dado, o casi ninguno de ellos puede.
Los contratos inteligentes hacen que las agrupaciones mineras de Bitcoin sean vulnerables
A pesar de sus fallas en la estructura de incentivos, los grupos de minería representan más del 95% del poder de cálculo de Bitcoin. Este documento presenta un ataque contra grupos de minería en el que una parte malintencionada paga a los miembros del grupo para que retengan sus soluciones de su operador de grupo. Truebit demuestra que un adversario con una pequeña cantidad de poder de cómputo y capital puede ejecutar este ataque.
Satoshi Nakamoto
El consenso de Nakamoto con respecto a los mineros racionales muestra cómo una minoría del poder de cálculo puede incentivar al resto de la red a aceptar una cadena de bloques de la elección de la minoría. Al desviarse del protocolo de minería, un grupo de minería que controla al menos el 38,2% de la potencia computacional total de la red puede, con una capacidad financiera modesta, obtener una ventaja minera sobre la minería honesta.
Solución: el juego de la verificación
El objetivo del juego de verificación interactivo de TrueBit es resolver una disputa dada entre un Solver, que ha proporcionado una solución a alguna tarea computacional, y un Challenger, que no está de acuerdo con la solución y, por lo tanto, pide que se juegue el juego de verificación. La capa externa de TrueBit (Sección 4) usa el juego de verificación como una subrutina. Los roles en el juego de verificación incluyen un Solver, que ofrece una solución a una tarea determinada, y un Chal-lenger que no está de acuerdo con la solución del Solver. La parte final, los jueces, siempre realiza los cálculos correctamente pero posee un ancho de banda computacional extremadamente limitado. Los jueces en TrueBit son toda la comunidad de mineros de Ethereum que llegan a veredictos a través del consenso de Nakamoto.
