Synereo首席技術(shù)官談DAO的教訓：如何避免信任濫用

當一個系統(tǒng)并非完全自動，但需要人們有智能合約中定義好的角色時，需要將人為因素考慮進來。他們將參與對分散化系統(tǒng)的管理，而不是像以太坊那樣的全自動系統(tǒng)的情形。

相信誰？

這緊隨最近以太坊平臺上的DAO——或言分散化匿名組織——的黑客事件，它導致了恢復被盜資金時的硬分叉方案。也已經(jīng)導致了ETH 和 ETC ——以太坊經(jīng)典的分離。

在比特幣播客第75集的一篇題為聚焦經(jīng)濟的采訪中，Synereo的首席技術(shù)官Greg Meredith——被認為是計算領(lǐng)域的專家，擁有許多學術(shù)性出版物——堅決認為讓計算機程序完全自動是一個風險。

Meredith說：

“你不能視覺上檢驗和調(diào)查一個程序，然后就說正在發(fā)生什么。即使你調(diào)查其他種類的自動化方法，真正弄明白程序能做的所有迂回曲折也會變得非常困難。電腦程序是神秘的。但是他們沒有那些讓我們互相聯(lián)系在一起的人類品質(zhì)。在此時，不經(jīng)過任何反思就將王國密鑰交給這個新的自動代理并不是好的提議。我認為那就是我們所處的情形?！?/p>

數(shù)以億計相互聯(lián)系的合約可以干什么？

根據(jù)Meredith的看法，電腦語言和程序是建立在一定操作范圍內(nèi)的數(shù)學上的。它們可以做的事情和事情的范圍都不是能夠充分得知的。

Meredith解釋說：

“首先，你不能用單個程序就知道。當我們想象數(shù)以百萬計的合約以及這些合約的例子時，事情就更復雜了。第二個百萬是那些正在運行的合約的例子。所以我們正在談?wù)摰氖亲置嬉馑嫉臄?shù)以億計相互聯(lián)系的合約。想想那個，我們就能理解那個規(guī)模的動態(tài)了——我們真的知道不了?！?/p>

在采訪的早期階段，播客的主持人說Synereo形式化驗證的智能合約語言Rholang本可能阻止對DAO的攻擊。

他們還說，他們從關(guān)于共享Synereo的“DAO防攻擊”代碼的許多對話中收到積極的回復。與該平臺合作以及利用他們的智能合約框架的興趣提升了。

Synereo和它的社會模型

Synereo提供一個社會模型——在它的代碼中整合對同情心的測量。他們的信譽機制確保人們之間仍然需要信任，將指派給他們的控制扣進形式化驗證的智能合約中——使信任更難以被濫用。

在他們想用它為分散化社交網(wǎng)絡(luò)創(chuàng)建一個可持續(xù)模型來賺錢之前，它背后的技術(shù)已經(jīng)發(fā)展了四年多了。

到九月份，它的Alpha版本將作為一個試驗網(wǎng)風格的程序開始。這將使它的團隊能夠就問題與用戶共同工作，傾聽想法，獲得進步，以及在帶來智能合約、給DAOs或DCOs 等提供資金之前驗證方法。

生成海報

免責聲明：本網(wǎng)站內(nèi)容主要來自原創(chuàng)、合作伙伴供稿和第三方自媒體作者投稿，凡在本網(wǎng)站出現(xiàn)的信息，均僅供參考。本網(wǎng)站將盡力確保所提供信息的準確性及可靠性，但不保證有關(guān)資料的準確性及可靠性，讀者在使用前請進一步核實，并對任何自主決定的行為負責。本網(wǎng)站對有關(guān)資料所引致的錯誤、不確或遺漏，概不負任何法律責任。任何單位或個人認為本網(wǎng)站中的網(wǎng)頁或鏈接內(nèi)容可能涉嫌侵犯其知識產(chǎn)權(quán)或存在不實內(nèi)容時，應(yīng)及時向本網(wǎng)站提出書面權(quán)利通知或不實情況說明，并提供身份證明、權(quán)屬證明及詳細侵權(quán)或不實情況證明。本網(wǎng)站在收到上述法律文件后，將會依法盡快聯(lián)系相關(guān)文章源頭核實，溝通刪除相關(guān)內(nèi)容或斷開相關(guān)鏈接。