智能合同是如何被信任的？

Question

smart合同如何建立信托？这更像是一种社会问题吗？(很多人都知道这个协议中的合同有这个地址，还是有一种更不可信的方式，可以让人确认一个聪明合同的真实性？)

我的意思是，生态系统中有一些流行的智能契约，从化合物、Aave到Uniswap等等，它们的真实性如何得到验证？只有社会共识？还是别的什么？

那么，那些聪明的合同最终不会受到欢迎，从而形成一个良好的社会共识来建立真实性呢？人们怎么相信这些？

Answer 1

它结合了以下几个方面：

1. 社会信任: TVL (用户数和支付量)，在Twitter上的参与，在不和谐服务器上的活动等等。
2. 开放源码可验证性，即在以太扫描和古尔西等区块链探索者上验证源代码，以及在GitHub这样的git托管平台中发布智能契约存储库。

我不知道有任何成功的web3项目不能同时勾选两个框。

Answer 2

当你说你“信任”聪明的合同时，这可能意味着一些事情。下面是一些我能想到的，从大多数到最不技术性的订单：

• 相信部署在区块链上的字节码与源代码匹配：稳健性编译器是确定性的。，所以如果我部署了一个智能契约，然后告诉您“这里是该智能契约的源代码”，那么您可以编译我的源代码，并确保它与区块链上的字节码相匹配。
• 相信智能契约是由合适的人控制的：
  • 如果项目足够大，那么您可以查看使用智能契约进行事务处理的历史；如果我部署了一个大型项目的智能契约副本，那么我还必须生成比他们的项目更多的事务，以欺骗您，这在财务上是不可行的。
  • 如果您知道负责智能契约的人的地址，那么您可以看到给定的智能契约是否是由同一个人创建的，并且/或您可以看到他们是否执行过只有所有者才能执行的函数。

• 相信智能契约的代码没有错误:为此，您可以阅读源代码，或者依赖其他人的分析(也称为审计)。如果在设计代码时考虑到了这一点，那么使用形式化的数学方法就有可能证明代码的属性，比如“它的循环次数永远不会超过X次”。这是相当困难的，因为代码中通常有很多可移动的部分，而将它们全部保存在脑海中是很有挑战性的。
• 相信代码做了“正确的事情”：为此，您需要了解代码强制执行了哪些规则，以及这些规则如何转化为现实后果。(“规则必须始终以其压迫的能力来评估”)这要求您超越代码，关注技术的更广泛的社会背景，并需要对这种环境有一个“系统视图”。一些即将出现的技术，如人工智能文本和图像生成器、面部识别、自动驾驶机器和算法社交网络，目前正在评估它们是否会为整个社会做“正确的事情”。
• 相信这个项目不是一个骗局和/或不会被放弃:这超出了区块链信任的范围，而是一个投资建议的问题。对于区块链项目来说，要证明这一点和传统的创业公司一样困难--这可能会更加困难，因为区块链技术固有的化名使得欺诈行为更容易不受后果地进行。