Synereo CTO が DAO から学んだ教訓について語る: 信頼の濫用を避ける方法

SynereoはDAOが適切に機能する方法を見つけ出すことに取り組んでいます

システムが完全に自動化されておらず、スマート コントラクトで定義された役割を人間が担うことが必要な場合、人間の要素を考慮する必要があります。彼らは、イーサリアムのような完全に自動化されたシステムではなく、分散型システムの管理に関与することになります。

誰を信じればいいのでしょうか？

これは、イーサリアムプラットフォーム上のDAO（分散型匿名組織）への最近のハッキングに続くもので、盗まれた資金を回収するためにハードフォークが行われました。これにより、ETH と ETC (Ethereum Classic) の分離も起こりました。

「Focus on Economics」と題されたビットコインポッドキャストの第75回のインタビューで、多数の学術出版物を持つコンピューティングの専門家とみなされているSynereoのCTO、グレッグ・メレディスは、コンピュータープログラムを完全に自律的にすることはリスクであると固く信じていました。

メレディスはこう語った。

「プログラムを視覚的に検査して調査し、何が起こっているのかを言うことはできません。他の種類の自動化された方法を調査していても、プログラムが実行できるすべての紆余曲折を実際に理解するのは非常に困難です。コンピューター プログラムは神秘的です。しかし、コンピューター プログラムには、私たちを互いに結びつける人間的な性質がありません。現時点では、王国の鍵をこの新しい自動化エージェントに何の熟考もなく渡すのは良い提案ではありません。それが私たちの現状だと思います。」

何億もの相互接続された契約で何ができるでしょうか?

メレディス氏によれば、コンピュータ言語とプログラムは、一定の範囲内の演算における数学に基づいています。彼らが何ができるか、また、彼らが何ができるかの範囲は、完全にはわかっていません。

メレディスは次のように説明した。

「まず、単一のプログラムではそれを知ることはできません。何百万もの契約とそれらの契約のインスタンスを想像すると、状況はさらに複雑になります。次の百万は、実行中のそれらの契約のインスタンスです。つまり、文字通り何億もの相互接続された契約について話していることになります。それについて考えるだけで、その規模のダイナミクスは理解できますが、実際には知ることはできません。」

インタビューの冒頭で、ポッドキャストの司会者は、Synereo の正式に検証されたスマート コントラクト言語である Rholang が DAO 攻撃を防ぐことができた可能性があると述べていました。

また、Synereoの「DAO攻撃耐性」コードの共有に関する多くの会話から肯定的な反応を得たとも述べた。プラットフォームを活用し、スマート コントラクト フレームワークを活用することへの関心が高まっています。

Synereoとその社会モデル

Synereo は、共感の測定をコードに統合したソーシャル モデルを提供します。彼らの評判メカニズムは、人々がお互いを信頼する必要があることを保証し、割り当てられたコントロールを正式に検証されたスマート コントラクトにロックすることで、信頼を悪用することがより困難になります。

その背後にある技術は、分散型ソーシャルネットワークが収益を上げるための持続可能なモデルを作成するために使用したいと考えるようになるまで、4年以上にわたって開発されていました。

9月までに、アルファ版がテストネット形式のプログラムとして開始される予定です。これにより、チームはユーザーと協力して問題に取り組み、アイデアに耳を傾け、進捗状況を把握し、スマート コントラクトを導入したり、DAO や DCO に資金を提供したりする前に、アプローチを検証できるようになります。