スマートコントラクトを愚かにする: Dao 事件に関する考察

第0章 はじめに

多くの起業家がスマートコントラクト市場に目を向けており、スピーチで興奮気味に話しています。スマート コントラクトは間違いなくホットな話題であり、金持ちになりたいのであれば、これに注意を払う必要があります。 Dao事件はスマートコントラクトの道における重大な事故となり、この分野に長期的な影響を及ぼすことになるだろう。

昨日、清華大学で行われた李開復氏の講演「人工知能の黄金時代」を視聴しました。その中で、知能の将来と現状について、参考にして学ぶ価値のあるいくつかの見解が示されていました。ダオ事件から私はどんな思いを得たのでしょうか？

第1章: 人工契約でスマート契約を教育する

スマート コントラクトには、私たちを興奮させるスローガンがあります。「コードは法律である」。 Dao の設計ロジックもこのスローガンに従っています。ダオ氏は、伝統的な会議や議題、あるいは各国の「証券取引委員会」などの既存の監督機関に邪魔されることなく、「株主」が投票して権力を行使し、決定を下すことができる意思決定メカニズムを確立しようとしている。ダオ氏は、こうした伝統的な議会の手続きを成文化し、国民が投票するためのボタンだけを残すことを望んでいる。

Dao の設計ロジックは、次のように理解できます。少数のプログラマーが知性と知恵を駆使して、既存の会議仕様を置き換える一連のプログラムを作成します。これは明らかにトップダウンの考え方です。これは、中華人民共和国の建国時に我が党が採用した、統一された中央政府が広大な国土を統率するという計画経済の考え方と同じである。

人工知能の分野ではそうはいきません。人工知能の分野には、アルゴリズムとデータという2つの重要なポイントがあります。アルゴリズムを記述し、データを使用してアルゴリズムをトレーニングします。ビッグデータを通じてアルゴリズムをインテリジェントにします。データトレーニングの結果が理想的でない場合、人間はアルゴリズムを破棄します。これがマイクロソフトの「小兵」の運命だ。シャオビンさんはインターネット上で多くの罵り言葉や人種差別を学んだため、マイクロソフト社から死刑判決を受けた。 (くそ、毎日別のシャオナが現れて私に可愛がってくれる。なんてうっとうしいんだ！お金ができたら、Apple を使って在宅勤務するよ。) これはボトムアップの思考モードで、データ層から少しずつインテリジェントなものを構築します。

しかし、スマート コントラクトの分野では、少なくとも Ethereum と Dao を見る限り、私たちはそうではありません。私たちは、データ自体は重要ではないかのように、常にコード、コード、コードについて話します。あたかも、理想的で普遍的なコードを設計することで、歴史の進化を終わらせることができるかのようです。弁護士、裁判官、すべての仲介者、そして人々の間の絡み合いから解放される可能性があります。必要なのはコードを認識することだけです。

Dao が攻撃されたとき、私は、泥棒が犯罪を犯し、ハッカーが 2 億ドル相当のコードの脆弱性を悪用して参加者の富をひそかに引き出すのを、イーサリアム コミュニティ全体がただ見ているしかなかったことに驚きました。しかし、ほとんどの人は無力です!

Microsoft は XiaoIce を簡単に廃止できるが、Ethereum が提案しているソフトフォークとハードフォークには問題が山積しており、盗まれたイーサリアムをコードが自動的にロック解除する前に成功するかどうかは不明だ。

おそらく、スマート コントラクトの寿命を再考し、データで知性を訓練する必要があるでしょう。これらのデータは人工的な契約です。

第2章: スマートコントラクトを愚かにする

李開復氏は人工知能について語る際に例を挙げた。私たちは皆、検索エンジンは賢いと思っていますが、実際は愚かです。彼らにできるのは、私たちにたくさんの答えを与え、その中から一つを選ばせることだけです。これは検索エンジンのフォールトトレラント設計です。

ダオは攻撃され、コミュニティ全体が死を待つことになった。これは、スマート コントラクトの現在のフォールト トレランスはほぼゼロであることを示しています。

これは本当に危険すぎる。どのようなソフトウェアにもバグは存在しますが、これはソフトウェア業界では認められたルールです。 「Hello world!」と書くだけでも何度もデバッグしなければなりません。スマート コントラクトなどの複雑なプログラムは、フォールト トレラントになるように設計する必要があります。

スマート コントラクトに Google のランキング アルゴリズムを学習させることを検討する時期が来ているのかもしれません。スマート コントラクトに人間に代わって決定を下させるのではなく、代わりに答えを選択させましょう。スマート コントラクトに無数の可能性の中から限られた可能性を選択させ、それから決定を下します。

どうやら、Dao の攻撃者が使用した手法は完全に「合法」のようです (もちろん、コードは法律であるという意味です)。もしこの法的措置が単一の結果をもたらすのではなく、ダオに複数の選択肢を与えることを可能にしたなら、それほど悲劇的ではなかったかもしれない。

スマートコントラクトをより愚かにすることは、より賢明な選択かもしれません。

第3章: まずは小さなフィールドでスマートコントラクトを運用する

人工知能の分野では、注意を呼びかけている著名人が多数いる。たとえば、ビル・ゲイツ、マスク、ホーキングなどは、人工知能に対して非常に厳しい批判をしてきました。そのため、人工知能製品の設計者はファイアウォールを追加しました。たとえば、AlphaGo は囲碁の計算しかできず、他のことは何もできません。

李開復氏はより正確な例を挙げている。

Google は、あらゆる気象条件や道路で運転できる自動運転車を開発したいと考えています。これは素晴らしいアイデアです。しかし、そうする必要はありません。実際、無人フォークリフトを作り、このフォークリフトを使って運転作業員の代わりをするといった小さな分野から始めることも可能です。

これは狭い範囲で試みられる実践です。

DAO スマート コントラクトは当初、投資分野における「株式選択」をインテリジェントにすることを目指しており、非常に野心的でした。この分野がインテリジェント化して、資本が「制御不能な」運用環境に入ると、非常に危険です。

スマートコントラクトの分野でビジネスを始めたい人は、まずおもちゃのソフトウェアを選ぶべきです。まず、何らかの制御可能な環境でビジネス契約をインテリジェント化し、次にそのようなプロジェクトを通じてデータを取得し、教訓を学び、継続的に改善していきます。次に、より広い社会的富の領域を創造します。

たとえば、スマート コントラクトのファミリー バージョンを作成し、親と子供向けのプログラムを作成できます。もし子供が今日皿を洗ったら、あなたに10元あげます。子供が時間通りに寝ないと10元差し引かれます...これらはすべてコードで実行できます。