HoskinsonがCardanoのeUTXOをAdam Backの助言に結び付ける

Charles Hoskinsonは10月9日、Cardanoの拡張UTXOモデルを開発する際にAdam Backの助言に従ったと記した。Ethereumの初期チームとの2014年の議論を振り返るBackの投稿に応じ、Hoskinsonはその後の歩みの違いを対比した。CardanoはeUTXOへ、BackはSimplicityとLiquidへと進んだという。

BackのUTXO推奨にHoskinsonが応答

Backは、Ethereumチームがコードを書き始める前に、可変ステートと動くコードを伴う残高ベースのモデルではなくUTXOを勧めたと回想した。彼はその助言を、最近のButerinによるUTXOベースの手法の議論と比較し、当時の自らの提案が認識されていないことへの不満を示した。

関連する投稿で、Backは当時チームに伝えたと記憶する警告を述べた。稼働中の仮想マシンのコードと、残高ベースのアクターとメッセージングのモデルを組み合わせると、処理同士の相互作用や順序が結果に影響するレースコンディションを生む可能性があると主張した。

Backはまた、Hoskinsonがその通話を始め、他にも複数のEthereumの技術系創業メンバーが参加していたと述べた。

Hoskinsonは次のように応じた。

「まあ君の助言は確かに採用した。私たちはEUTXOを作り、君たちはSimplicityとLiquidを作った。」

このやり取りは、当時の議論に関する両者の記憶と、その助言とその後の開発の方向性を結び付けるHoskinsonの明確な位置付けを記録している。

Crypto Crowは「Not So Fast… Watch This First」でこれらの投稿を取り上げ、Cardanoのアーキテクチャが認められたものとして解釈した。Backの発言は自らの推奨とEthereumの初期設計に焦点を当て、HoskinsonはCardanoへの直接的なつながりを示した。

CardanoのeUTXOはどのようにスマートコントラクトを支えるか

UTXOは未使用取引アウトプットを意味する。資金は過去の取引からのアウトプットとして表現され、新たな取引がそれを消費し、新しいアウトプットに置き換える。各アウトプットは一度しか使用できない。

ウォレットは、ユーザーが管理するアウトプットを合計して残高を表示する。ADAを送る際には、適切なアウトプットを選び、受取人のための新しいアウトプットと、送信者に返るおつりのアウトプットを作成する。

CardanoのeUTXOモデルは、この手法をデータとスマートコントラクトの規則で拡張している。アウトプットはアプリケーションのステートを表すデータを保持でき、検証スクリプトが、ロックされた資金を使用する条件を取引が満たしているかを確認する。

Ethereumはアカウントベースのモデルを採用しており、コードで制御されるコントラクトアカウントを含む。これらのアカウントにはデータが保存されており、取引の実行によって変更できる。

そのため、開発者は両ネットワークでアプリケーションのステートを異なる形で構成する。

Cardanoの取引は、実行する処理、スクリプトの引数、計算資源の実行予算をあらかじめ指定する。公式ドキュメントでは、提出前にローカルでスクリプトの挙動を評価し、手数料を算出する方法が説明されている。

そうした予測可能性がアウトプットの競合を無くすわけではない。必要なインプットを別の取引が先に使用すると、準備していた取引はそれを消費できなくなる。アプリケーションのロジックを複数のUTXOに分散することは、要求の調整とより大きな並列性の実現に重要だ。

ButerinがハイブリッドなEthereumのスケーリング手法を概説

8月16日の投稿で、ButerinはUTXOスタイルのステート、動的ステート、そしてその中間的な手法の強みを組み合わせるEthereumのスケーリング戦略案を説明した。

彼は、これらの発想のいくつかを切り開いたのはBitcoinコミュニティだとして功績を認め、特にUtreexoに言及した。彼の目標は、分散性、ノード運用のしやすさ、検閲耐性を保ちながら、Ethereumの活動の大部分をスケールさせることだと述べた。

この提案は、ステートを構成する異なる方法を組み合わせることに関するものだ。Buterinの投稿はCardanoやそのeUTXOモデルには触れておらず、採用済みの移行ではなく提案中の方向性を記述している。

CardanoはすでにeUTXOを用いてコントラクトのステートを表現し、ADAや他の資産の送付を検証している。Ethereumの議論は、将来のスケーリングアーキテクチャにおいて、UTXOスタイルの技法を動的ステートとどのように並立させるかに関わる。Hoskinsonの反応は、Cardanoの既存モデルをその長期的な技術的対話の中に位置付け、Backの推奨を自らが採用した助言として示している。