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