「コードは法律」が論争に直面する中、スマートコントラクトは「差し迫った課題」に直面

特定の反復タスクを自己実行型ブロックチェーン コードに置き換えることができる場合でも、そのコードで置き換える必要があるわけではありません。

昨日、ウォール街の関係者やブロックチェーンのイノベーターらがマンハッタンのニューヨーク・ロースクールに集まり、スマートコントラクトがよい場合と悪い場合、そしてこの技術の普及を妨げているものは何なのかについて議論した。

コーネル大学教授であり、暗号通貨および契約イニシアチブ（IC3）の共同ディレクターであるアリ・ジュエルズ氏は、次のように述べた。

「現在、スマートコントラクトはいくつかの大きな差し迫った課題に直面しています。」

ウォールストリート・ブロックチェーン・アライアンスが主催したイベントで、法的に健全で安全なスマートコントラクトの実装に関するパネルディスカッションの中で、ジュエルズ氏はこの技術が直面している障害を2つの大きなカテゴリーに分類した。

まず、業界の機密性が障害となります。金融機関やその他の業界関係者は、透明性のメリットとしてこの技術を高く評価しているものの、自社の情報をブロックチェーン上に置くことには躊躇している。

この意見の相違を解決するにあたり、ジュエルズは状況が2つの方向に発展する可能性があると考えました。

まず、彼は、Zcash が使用する zk-SNARK テクノロジーなど、ゼロ知識証明を実行するためのソフトウェア ソリューションを挙げました。このテクノロジーにより、相手側は共有する情報の量や誰がそれを閲覧できるかを制御できるようになります。

第二に、彼はハードウェアソリューションも挙げました。特に、ジュエルズ氏は、インテルのソフトウェア・ガード・エクステンション（SGE）が機密性と透明性のバランスをとるのに役立つだろうと述べた。

Intel の Sawtooth Lake は、PoET (Proof of Elapsed Time) と呼ばれるコンセンサス アルゴリズムに基づいており、Intel SGX を含む信頼できる実行環境 (TEE) で実行されるように設計されています。

「ゼロ知識証明やSGXのようなツールにより、ブロックチェーンユーザーは両方のメリットを享受できるようになります。」

スマートコントラクトの正確性を確保する

第二に、スマートコントラクトが直面しているもう一つの「差し迫った課題」は、正確性です。

モリソン・フォースター法律事務所の財務・プロジェクトチームの特別顧問、ジョシュア・アシュリー・クレイマン氏は、この質問は次のように言い換えられると述べた。「コードが契約で想定していたものと一致することをどのように保証できるのか？」

ジュエルズ氏は、バグ報奨金制度を広く利用することで、コードの不正確さや、特定の状況下で契約の実行を妨げる可能性のあるいわゆる「脱出口」を発見するのに役立つと考えている。クレイマン氏は、精度の問題に対する答えは単純さにあると語る。

同社のブロックチェーンおよびスマートコントラクトチームの創設メンバーでもあるクレイマン氏は、次のように述べた。

「一般的に、取引はシンプルであればあるほど良い、また、裁量権が少ないほど良いと私たちは言う傾向があります。」

しかし、スマート コントラクトには根本的な性質があり、それが Juels 氏が言うところの「正確性の必要性」です。スマート コントラクトは更新可能かつ解釈可能である必要もあります。

「コードは法律である」という議論

スマートコントラクトの強みの一つはその驚異的な正確性だが、これは弱点でもあるとジュエルズ氏は言う。

その極端な例は、いわゆる「コードは法である」という哲学であり、ブロックチェーンのスマート コントラクトに対応する自然言語は存在しません。

スマート コントラクトの最初の大規模な使用として、DAO は起動後に独自のコードを修正することができませんでした。コードを変更することは、既存のユーザーが同意した条件を変更することに等しいためです。その結果、DAO が攻撃を受けたとき、資金は徐々に流出し、より抜本的な解決策であるハードフォークが実施されるまで、暗号通貨コミュニティは無力な状態に陥りました。

モナックス・インダストリーズの最高執行責任者（COO）兼法務顧問であり、長年スマートコントラクトを批判してきたプレストン・バーン氏は、「コードは法律である」という哲学を「非弁護士」が語る「流行りのマーケティング」のナンセンスだと評した。

Adjoint の創設者兼 CEO である Havell Rodrigues 氏は、次世代のスマート コントラクトは、スマート コントラクトを使用するコミュニティに少なくとも少しのアクセスを提供できるものでなければならないと説明しました。

ロドリゲスはこう語った。

「企業ユーザーや法務ユーザーがスマート コントラクトで問題を解決できるようにしたいのです。」

悪いスマートコントラクト

このブロックチェーン専門家グループは、スマート コントラクトの作成プロセス中に何をすべきでないか、何を作成してはいけないかという問題にも取り組みました。

一般的に言えば、スマート コントラクトがもたらす価値は、その使用頻度にのみ比例します。したがって、契約を一度だけ使用する場合も、契約をめったに使用しない場合も、どちらも価値のある使用例にはならない可能性があります。

同時に、スマート コントラクトの価値は、それが混乱させる仲介者の価値と同程度にしか上がりません。したがって、仲介者を必要としない、または仲介者をほとんど使用しない相手方は、スマート コントラクトを使用する可能性が低くなります。

ただし、スマート コントラクトが作成される場合、必ずしも設計原則に従って作成されるわけではありません。

どのようなスマート コントラクトのアイデアが不適切かと尋ねられたジュエルズ氏は、スマート コントラクトは実際には多くの犯罪行為の機会をもたらすと述べました。

標準スマートコントラクト

スマート コントラクトが広く採用されるまでには、克服すべきハードルや回避すべきリソースがさらに多くあります。

別のプレゼンテーションでは、エンタープライズデータマネジメント（EDM）評議会の創設者であるマイク・メリトン氏は、現在開発中のスマートコントラクト標準が、その広範な導入に向けた最終段階になると主張した。

先週、SWIFTはByrneのErisソフトウェアとTendermintコンセンサスエンジンを使用した独自の概念実証を発表した。これはISO20022規格がブロックチェーン上でどのように機能するかを実証するために設計されたものだ。

今年初め、金融貿易銀行協会（BAFT）は、主要な人材を採用し、独自のブロックチェーン標準に関する議論を拡大した。その後すぐに、国際証券協会の機関投資家向け取引コミュニケーション（ISITC）の欧州支部が10のブロックチェーンベンチマークを提案した。

これまでのブロックチェーン標準化作業はブロックチェーンの相互運用性に重点を置いていたようだが、メリトン氏は、EDM委員会の金融ビジネス業界オントロジー（FIBO）プロジェクトはスマートコントラクト全般に的を絞っていると述べた。

200 を超える会員を擁するこの非営利業界団体は現在、FIBO 標準の概念実証の高度な段階にあります。この標準は、従来の契約の実際の言語に基づいており、プラットフォーム間で頻繁に取引される契約の大規模な処理要件に対応するように設計されています。

メリトン氏はこう語った。

「ブロックチェーンを拡張する上での最大のポイントは、ISOやFIBOなどの標準を活用することです。大きな可能性があります。」

EDMの創設者は、現在デジタル・アセット・ホールディングス、コンセンシス、R3と協議中であり、今年初めにはウェルズ・ファーゴ、ステート・ストリート、ドイツ銀行とテストを実施していたと述べた。彼は、2017 年後半に利用可能になる予定のこの標準に基づいた概念実証をいくつか作成することを楽しみにしています。