Realitio,众包的智能合约甲骨文:现在在主网上进行真钱试用

去年,我们宣布了名为“ Snopes遇见区块链上的机械土耳其人”的智能合约预言。 今天,我们很高兴向您介绍该项目的主网版本,现称为Realitio。

Realitio是一个基于人群的预言家,它依靠不断升级的纽带系统为人类和合同产生正确的答案。 目标是对具有公开已知答案的任何自然语言问题进行廉价且快速的验证。

今年3月,我们收到了以太坊社区基金的慷慨资助。 在此支持下,Realitio已进行了全面的智能合约安全性审核和dapp重新设计,并且现在可以用真钱在主网络上使用。

甲骨文问题

智能合约通常需要来自现实世界的信息。 此输入使合同知道是否满足条件,从而触发输出。 显然,这适用于与现实世界赛事明确相关的合同,例如世界杯投注。 但这也适用于依赖于主观条件来确定是否应释放资金的合同,例如“该团队是否已经完成了这一里程碑?”

有人认为,如果没有可信任的参与者,就无法解决oracle问题,但是有许多项目正在解决该问题。 以Witnet为例,Augur试图建立一个分布式的节点网络来充当事件的见证人,而Augur则推出了一种精致的基于游戏理论的高线行动来解决市场问题。 同时,我们正在尝试一种名为“主观辩护”的方法。

所有这些尝试都是高度实验性的,并且大多数依赖于本机令牌。 他们还容易遭受低速,高成本和低社交扩展性的困扰。 Realitio可以使用这些系统快速,廉价地验证答案,就像重型不信任系统的第二层一样。 它还可以依赖经过验证的系统,例如受信任方小组。

这个怎么运作。

Realitio基于一个简单的经济游戏。

你问一个问题。 为了鼓励其他人回答,您可以提供给最终回答者的奖励。

任何人都可以通过发布保证书来回答问题。 如果他们认为答案是错误的,那么任何人都可以挑战该答案并将其更改为其他答案,但他们必须加倍努力。

只要有人愿意为希望获得保证金和奖励的保证金加倍,挑战就可以继续。 每个答案都会重置倒数时钟,当倒数计时到期时,结果会自动结算。 当时的最终答案是获胜者,并要求保证金和奖励。

这种众包的经济游戏受到仲裁系统的支持。 任何想挑战最终答案的人都可以请求仲裁。 Realitio现在充当默认仲裁程序,但是该仲裁程序可以设置为任何以太坊合同,并且可以由任何人(例如组或DAO)或您可以编码的任何其他决策过程控制。 仲裁员合同将收取一定的费用,以解决问题,但是一旦中标总额足够高,通过仲裁解决错误的答案将是有利可图的。

有关此过程如何工作的更详细信息,请参阅文档。

下一步

当前的合同功能齐全,没有后门可以使我们停止,删除或升级它。 但是,使用真金白银的经验可能会告诉我们我们需要进行更改,并且我们认为它处于10月2日之前的试用期。 如果我们在试用期内发现有必要进行更改,则可以启动新合同并建议每个人都切换到该新合同。

我们还预留了一部分预算来充当恶意用户,将错误的答案放入系统中并提供担保。 如果您可以发现它们,则可以从中获利更正并索取我们的担保。

我们的仲裁合同目前设置为使用较低的费用,从而有效地限制了每个问题的价值。 我们计划逐步提高这项费用,以增加作为保证金转账的金额。 一旦系统正常运行,我们预计仲裁将非常罕见,几乎所有问题都将通过经济博弈解决。

同时,我们正在研究插件以连接到现有的不信任协调系统。 该正在进行的合同使用Augur作为其最终仲裁员,提供与Augur本身相同的安全保证,但成本仅为典型情况的一小部分。 同样的方法也适用于由Schelling Games提供支持的纠纷解决系统Kleros。 我们还在努力建立自己的“主观民主”制度,该制度将使经济绕开不良仲裁员。

关于基于信任的传统方法,我们正在与一些知名组织(从加密到法律再到传统媒体)进行讨论,以加入仲裁小组。 该小组将由智能合约控制,并以多数票解决。 如果您的组织有兴趣担任仲裁员,请在我们的Discord组中与我们联系。

我们的dapp在此处的主要以太坊网络上运行。 如果您想在测试网络上进行修改,可以在此处使用Rinkeby版本。

如果您对这些问题感兴趣,请加入我们的Discord社区。

我们还在Twitter上的@RealitioBot上发布了一个漫游器,用于发布问题和答案,并在@RealitioProject上提供了普通的Twitter帐户。

在合同上提出任何问题并获得答案的能力将成为智能合同开发人员的强大工具。 看一看,四处逛逛,看看可以做什么。