イーサリアムを去ったホスキンソン、カルダノで研究に賭ける
2014年6月、チャールズ・ホスキンソンはイーサリアムの指導部から外れたが、当時を振り返る記録はETHの割り当てを受けたと説明する。ジェレミー・ウッドと始めたカルダノは研究重視の開発を選んだ。その成果と、数学的証明の及ばない範囲を追う。
要点
- 2014年、イーサリアムの組織方針が変わった。回顧記録はホスキンソンの指導部離脱とETHの割り当てを別々に記している。
- ホスキンソンとジェレミー・ウッドは2015年にIOHKを設立。カルダノは研究、関数型コード、仕様と実装の反復検討を重視した。
- 2017年9月にByronが始まり、2021年9月のAlonzoでスマートコントラクト機能が加わった。プロトコルの証明は、全アプリの安全保証とは異なる。
出来事のタイムライン
ジョセフ・ルービンはイーサリアムのブログで、ツークの営利組織とトロントの非営利組織を提案した。
イーサリアムの回顧記録はこの会議を指導部の分裂時点とし、離脱した創設者へのEther割当を別に記している。
Input Outputは設立を2015年と記し、カルダノはホスキンソンとジェレミー・ウッドが同年に開発を始めたと説明する。
カルダノはOuroboros合意を使ってADAを送金できる、初期の連合型ネットワークを公開した。
AlonzoはPlutusによるスマートコントラクト機能を導入した。プロトコル機能表はエポック290に位置付けている。
1. イーサリアムには技術とともに組織が必要だった
イーサリアムは稼働前から、誰が基盤技術を作り、費用を負担するかを決める必要があった。チャールズ・ホスキンソンは初期指導部の一員だった。Early Days of Ethereumは短期間のCEO役と紹介する一方、正式なCEOを置く成熟した会社ではなかったという参加者の説明も残している。[11]
ジョセフ・ルービンは2014年5月15日の公式ブログで、ツークの営利法人とトロントの非営利組織が協力して生態系を作る案を示した。企業を認めるか否かだけが争点ではない。共有基盤と商業活動の間で権限、資金、責任をどう分けるかが問われていた。[4]
7月14日、ミハイ・アリシーは同じ公式ブログで、チームとコミュニティの議論を経て技術を開発・維持する非営利構造を選んだと説明した。日付のある二つの記事は組織構想の変化を示すが、非公開会話の台本や正確な投票数までは提供しない。[5]
2. ツークでの決別とETHの割り当ては別の話
Early Days of Ethereumは決定的なツーク会議を2014年6月7日と記録する。この回顧によると、創業者8人による指導部が解散し、ヴィタリック・ブテリンは一部に継続を求める一方、ホスキンソンとアミール・チェトリットを外した。議事録や法的判断ではなく歴史の記述である。[3]
同じ記録は、離れた二人も共同創業者のままで、ETHの割り当てを受けたと明記する。指導的な役職を失うことと、トークンを受け取る権利を失うことは違う。一枚もETHを受け取らなかったという場面は引用元と逆になる。5対3の投票も、この記録では裏付けられない。[3]
それでも決別の意味は小さくない。ホスキンソンはイーサリアム指導部から方針を決める立場を失い、後のプロジェクトで別の開発方針を進めた。これは経歴の流れについての解釈であって、本人の内心や復讐心を確認した主張ではない。[3]
3. IOHKが選んだ研究と実装の往復
Input Outputの会社沿革は設立を2015年と記している。イーサリアムの歴史アーカイブはホスキンソンとジェレミー・ウッドを共同創業者として紹介し、カルダノの公式史も両者が同年に開発を始めたと説明する。会社とネットワークは別の組織だ。IOHKが技術開発を担う一方、カルダノ財団とEMURGOはエコシステム内でそれぞれの役割を発展させた。[12][3]
ホスキンソンは2017年7月10日の記事で、カルダノは完全なロードマップや権威ある白書なしに始まったと述べた。モジュール化した関数型コード、査読研究、検討で問題が見つかれば論文と実装と追加研究を往復することが原則だった。全コードが完成済みの証明とともに現れたわけではない。[1]
Ouroboros論文は、その方法の具体例だ。アゲロス・キアイアス、アレクサンダー・ラッセル、ベルナルド・ダヴィド、ロマン・オリニコフの研究はCRYPTO 2017で発表された。定義されたPoSプロトコルの安全性と報酬設計の性質を示すが、全ウォレット、アプリ、運用者、将来の変更を保証しない。[7]
4. ADAの配分とネットワークの出発点
カルダノの初期配分記録は、2015年10月から2017年1月初めまで、アジアで四段階の引換券販売が行われたと説明する。日本法人と販売組織を通じた総売上は108,844.5 BTC、一般販売の配分は25,927,070,538 ADAだった。この数字だけでは購入者の長期的な忠誠心を証明できない。[6]
同じ記録では、生態系の三組織への追加配分は5,185,414,108 ADA、開始時に利用可能だった合計は31,112,484,646 ADAだ。調達金、トークン配分、後の時価総額は異なる指標であり、そのままホスキンソン個人の収入を意味するものではない。[6]
Byron期は2017年9月に始まった。公式ロードマップはOuroborosを使う連合型ネットワークとADAの送金機能を説明し、通貨名ADAがエイダ・ラブレスに由来すると記す。カルダノはプラットフォームだ。最初からPoSだったことは、後の全機能や運用権限の分散が完成していたことを意味しない。[9]
5. スマートコントラクトにも証明の境界がある
プロトコルの機能記録はAlonzoを2021年9月、エポック290に置く。Plutusによるスマートコントラクト機能を加えた別の開発上の節目である。重要なのは開発者が作れるものの拡張であり、特定の価格を創業者同士の勝敗の証拠にすることではない。[10][13]
拡張UTXOの研究は、共有可変状態を導入せず、より豊かな検証スクリプトを表現する方法を説明する。著者らは特定の状態機械と台帳モデルの対応をAgdaで形式化した。契約の設計と推論の仕方は変わるが、公開された全契約からリエントランシーの問題やその他の脆弱性が消える保証ではない。[8]
カルダノの文書はHaskell製ノードと、仕様に照らしてコードを検査する形式手法を説明する。仕様の要求、証明の前提、実装との一致はそれぞれ確かめる必要がある。別の開発路線は生まれたが、論文や時価総額だけで稼働ソフトウェアへの信頼が完成するわけではない。[3][8]
この事件から学ぶ重要教訓（Key Takeaways）
証明が対象にする範囲を確かめる
OuroborosとEUTXOの研究は定義したモデルの性質を示す。全実装や全アプリが自動的に安全認証を得るわけではない。
初期配分と後の評価額を分ける
初期記録が示すのは引換券販売とADAの配分だ。永続的な保有者の忠誠心や創業者個人の利益は証明しない。
指導部の決別から別の設計が生まれる
ホスキンソンの離脱とカルダノ開発は別の組織・技術経路を示す。個人的な争いの単純な勝敗には還元できない。
続けて読みたいストーリー
同じテーマを、別の事例や背景から考えてみましょう。
出典・参考文献
- [1]出典 1: カルダノを開発する理由Input Output · 2017-07-10
- [2]出典 2: カルダノの開発・組織・形式手法Cardano Foundation
- [3]出典 3: ツークでの指導部分裂に関する回顧記録The Early Days of Ethereum
- [4]出典 4: ジョセフ・ルービンによる二拠点の組織案Ethereum Foundation · 2014-05-15
- [5]出典 5: ミハイ・アリシエによる非営利組織の決定説明Ethereum Foundation · 2014-07-14
- [6]出典 6: ジェネシス配分と初期ADA割当Cardano Foundation
- [7]出典 7: Ouroborosのプロトコル安全性に関する論文IACR
- [8]出典 8: 拡張UTXOモデルと形式化の範囲Input Output
- [9]出典 9: Byronの連合型ネットワーク公開とADAの由来Input Output
- [10]出典 10: プロトコル機能表：Alonzoとエポック290Cardano Improvement Proposals
- [11]出典 11: チャールズ・ホスキンソンの初期指導部での活動The Early Days of Ethereum
- [12]出典 12: Input Outputの会社沿革Input Output
- [13]出典 13: AlonzoのPlutusスマートコントラクト機能Cardano Documentation