当一个系统并非完全自动，但需要人们有智能合约中定义好的角色时，需要将人为因素考虑进来。他们将参与对分散化系统的管理，而不是像以太坊那样的全自动系统的情形。
相信谁？
这紧随最近以太坊平台上的DAO——或言分散化匿名组织——的黑客事件，它导致了恢复被盗资金时的硬分叉方案。也已经导致了ETH 和 ETC ——以太坊经典的分离。
在比特币播客第75集的一篇题为聚焦经济的采访中，Synereo的首席技术官Greg Meredith——被认为是计算领域的专家，拥有许多学术性出版物——坚决认为让计算机程序完全自动是一个风险。
Meredith说：
“你不能视觉上检验和调查一个程序，然后就说正在发生什么。即使你调查其他种类的自动化方法，真正弄明白程序能做的所有迂回曲折也会变得非常困难。电脑程序是神秘的。但是他们没有那些让我们互相联系在一起的人类品质。在此时，不经过任何反思就将王国密钥交给这个新的自动代理并不是好的提议。我认为那就是我们所处的情形。”
数以亿计相互联系的合约可以干什么？
根据Meredith的看法，电脑语言和程序是建立在一定操作范围内的数学上的。它们可以做的事情和事情的范围都不是能够充分得知的。
Meredith解释说：
“首先，你不能用单个程序就知道。当我们想象数以百万计的合约以及这些合约的例子时，事情就更复杂了。第二个百万是那些正在运行的合约的例子。所以我们正在谈论的是字面意思的数以亿计相互联系的合约。想想那个，我们就能理解那个规模的动态了——我们真的知道不了。”
在采访的早期阶段，播客的主持人说Synereo形式化验证的智能合约语言Rholang本可能阻止对DAO的攻击。
他们还说，他们从关于共享Synereo的“DAO防攻击”代码的许多对话中收到积极的回复。与该平台合作以及利用他们的智能合约框架的兴趣提升了。
Synereo和它的社会模型
Synereo提供一个社会模型——在它的代码中整合对同情心的测量。他们的信誉机制确保人们之间仍然需要信任，将指派给他们的控制扣进形式化验证的智能合约中——使信任更难以被滥用。
在他们想用它为分散化社交网络创建一个可持续模型来赚钱之前，它背后的技术已经发展了四年多了。
到九月份，它的Alpha版本将作为一个试验网风格的程序开始。这将使它的团队能够就问题与用户共同工作，倾听想法，获得进步，以及在带来智能合约、给DAOs或DCOs 等提供资金之前验证方法。
免责声明：本网站内容主要来自原创、合作伙伴供稿和第三方自媒体作者投稿，凡在本网站出现的信息，均仅供参考。本网站将尽力确保所提供信息的准确性及可靠性，但不保证有关资料的准确性及可靠性，读者在使用前请进一步核实，并对任何自主决定的行为负责。本网站对有关资料所引致的错误、不确或遗漏，概不负任何法律责任。任何单位或个人认为本网站中的网页或链接内容可能涉嫌侵犯其知识产权或存在不实内容时，应及时向本网站提出书面权利通知或不实情况说明，并提供身份证明、权属证明及详细侵权或不实情况证明。本网站在收到上述法律文件后，将会依法尽快联系相关文章源头核实，沟通删除相关内容或断开相关链接。
