BTC.com手机客户端

Synereo首席技术官谈DAO的教训:如何避免信任滥用

Synereo 发布在 竞争币 0 1386

synereo dao lesson

Synereo 正在努力寻找 DAO如何恰当发挥作用

当一个系统并非完全自动,但需要人们有智能合约中定义好的角色时,需要将人为因素考虑进来。他们将参与对分散化系统的管理,而不是像以太坊那样的全自动系统的情形。

相信谁?

这紧随最近以太坊平台上的DAO——或言分散化匿名组织——的黑客事件,它导致了恢复被盗资金时的硬分叉方案。也已经导致了ETH 和 ETC ——以太坊经典的分离。

比特币播客第75集的一篇题为聚焦经济的采访中,Synereo的首席技术官Greg Meredith——被认为是计算领域的专家,拥有许多学术性出版物——坚决认为让计算机程序完全自动是一个风险。

Meredith说:

“你不能视觉上检验和调查一个程序,然后就说正在发生什么。即使你调查其他种类的自动化方法,真正弄明白程序能做的所有迂回曲折也会变得非常困难。电脑程序是神秘的。但是他们没有那些让我们互相联系在一起的人类品质。在此时,不经过任何反思就将王国密钥交给这个新的自动代理并不是好的提议。我认为那就是我们所处的情形。”

greg synereo

数以亿计相互联系的合约可以干什么?

根据Meredith的看法,电脑语言和程序是建立在一定操作范围内的数学上的。它们可以做的事情和事情的范围都不是能够充分得知的。

Meredith解释说:

“首先,你不能用单个程序就知道。当我们想象数以百万计的合约以及这些合约的例子时,事情就更复杂了。第二个百万是那些正在运行的合约的例子。所以我们正在谈论的是字面意思的数以亿计相互联系的合约。想想那个,我们就能理解那个规模的动态了——我们真的知道不了。”

在采访的早期阶段,播客的主持人说Synereo形式化验证的智能合约语言Rholang本可能阻止对DAO的攻击。

他们还说,他们从关于共享Synereo的“DAO防攻击”代码的许多对话中收到积极的回复。与该平台合作以及利用他们的智能合约框架的兴趣提升了。

Synereo和它的社会模型

Synereo提供一个社会模型——在它的代码中整合对同情心的测量。他们的信誉机制确保人们之间仍然需要信任,将指派给他们的控制扣进形式化验证的智能合约中——使信任更难以被滥用。

在他们想用它为分散化社交网络创建一个可持续模型来赚钱之前,它背后的技术已经发展了四年多了。

到九月份,它的Alpha版本将作为一个试验网风格的程序开始。这将使它的团队能够就问题与用户共同工作,倾听想法,获得进步,以及在带来智能合约、给DAOs或DCOs 等提供资金之前验证方法。

发文时比特币标准价格 买价:¥3823.17 卖价:¥3822
原文:https://cointelegraph.com/news/synereo-cto-on-dao-bitter-lesson-how-to-avoid-trust-abuse
作者:Olusegun Ogundeji
编译:Dana
责编:Miner
稿源(译):巴比特资讯(http://www.8btc.com/synereo-lesson-from-dao ‎)
版权声明: by nc" sa 作者保留权利。文章为作者独立观点,不代表巴比特立场。

评论:0

您需要登录后才可以回复 登录|注册