关于smart合同信任的研究/项目

Question

在上一个问题中，讨论了如何信任智能契约。如果您假设智能契约是自主代理，那么这个信任的某些部分是由etc平台强制执行的:加密措施(身份、消息签名等)。和共识(有效交易等)。

在多agent系统中，信任和信誉的计算模型是存在的.我想知道是否有关于如何在智能契约中实现计算信任的研究或项目。更具体地说，另一个实体(人或代理)如何以计算方式信任智能契约的应用程序代码。

Answer 1

...how可以以计算的方式信任智能契约的应用程序代码吗？

这是一个相当抽象的..。(我不确定我是否在与问题相同的背景下思考。)

看一看形式验证，这是一种证明程序对所有输入都正确的方法。

目前，石竹(将Ethereum正规化)和在DevCon2上展示一样都有工作要做。还请参阅下面的前一个线程：

什么是正式验证，为什么它对智能合同很重要？

Answer 2

您还可以将字节码从块链中取出，并在必要时自己进行正式验证。如果有必要，孔隙度分解器也将允许您获得可读的可靠代码。