Desmitificando los Incentivos en el Computador de Consenso

Las criptomonedas como Bitcoin y el sistema Ethereum más reciente permiten a los usuarios especificar scripts en transacciones y contratos para soportar aplicaciones más allá de las simples transacciones en efectivo. En este trabajo, analizamos la medida en que estos sistemas pueden hacer cumplir la semántica correcta de los scripts. Mostramos que cuando la ejecución de un script requiere un esfuerzo de computación no trivial, existen ataques prácticos que desperdician los recursos computacionales de los mineros o llevan a los mineros a aceptar resultados de script incorrectos. Estos ataques empujan a los mineros a una elección desafortunada, que llamamos el dilema del verificador, donde los mineros racionales tienen buenos incentivos para aceptar blockchains no validados. Llamamos al marco de computación a través de una criptomoneda programable un computador de consenso y desarrollamos un modelo que captura los incentivos para verificar la computación en él. Proponemos una resolución al dilema del verificador que incentiva la ejecución correcta de ciertas aplicaciones, incluida la computación externalizada, donde los scripts requieren un tiempo mínimo para verificar. Finalmente, discutimos dos implementaciones prácticas distintas de nuestro computador de consenso en redes de criptomonedas reales como Ethereum.