[論文レビュー] Smart Contract Languages: a comparative analysis

Massimo Bartoletti, Lorenzo Benetollo+12 more|arXiv (Cornell University)|Apr 5, 2024

European and International Contract Law被引用数 4

ひとこと要約

この論文は、『Rosetta Smart Contracts』と呼ばれる独自のベンチマークを用いて、EthereumのSolidity、SolanaのRust、CardanoのAiken、AlgorandのPyTEAL、AptosのMove、TezosのSmartPyの6つの主要なスマートコントラクト言語について、設計、セキュリティ、使いやすさ、および資産管理やコスト制御などの主要機能への対応を比較分析している。研究では、Moveの線形型が資産関連の脆弱性に対する最も強固なコンパイル時保証を提供していることが明らかになった。一方、手続き型プログラミングスタイルは承認型モデルと比較して、可読性が高く、エラーの発生しにくさが向上している。

ABSTRACT

Smart contracts have played a pivotal role in the evolution of blockchains and Decentralized Applications (DApps). As DApps continue to gain widespread adoption, multiple smart contract languages have been and are being made available to developers, each with its distinctive features, strengths, and weaknesses. In this paper, we examine the smart contract languages used in major blockchain platforms, with the goal of providing a comprehensive assessment of their main properties. Our analysis targets the programming languages rather than the underlying architecture: as a result, while we do consider the interplay between language design and blockchain model, our main focus remains on language-specific features such as usability, programming style, safety and security. To conduct our assessment, we propose an original benchmark which encompasses a wide, yet manageable, spectrum of key use cases that cut across all the smart contract languages under examination.

研究の動機と目的

• パブリックブロックチェーンにおける主流のスマートコントラクト言語の設計原理と実用的影響を評価すること。
• 言語レベルの特徴が分散型アプリケーション（DApps）におけるセキュリティ、可読性、開発効率に与える影響を特定すること。
• 資産サポート、コントラクト相互作用、プラットフォーム固有の機能といった言語のサポートが脆弱性の低減に果たす役割を評価すること。
• 手続き型と承認型プログラミングモデルの誤りの発生しやすさと保守性の観点から比較すること。
• 将来のスマートコントラクト言語やプラットフォームの評価に用いる標準化されたベンチマークを確立すること。

提案手法

• 著者らは、実世界のDAppユースケースを代表する幅広い範囲をカバーする目的で、独自のベンチマーク「Rosetta Smart Contracts」を開発した。
• 主要なパブリックブロックチェーンにおける6つの主要なスマートコントラクト言語を分析対象とした：EthereumのSolidity、SolanaのRust、CardanoのAiken、AlgorandのPyTEAL、AptosのMove、TezosのSmartPy。
• 分析は、型安全性、資産モデリング、カスタムトークンのサポート、プログラミングパラダイム（手続き型対承認型）といった言語固有の特徴に焦点を当てた。
• 研究では、アカウントベース型とUTXO型のブロックチェーンモデルに基づいて言語を分類し、これらのモデルが言語設計とセキュリティに与える影響を評価した。
• 全言語にわたりベンチマークの実装を手を動かして行うことで、コードの明確さ、ボイラープレートの量、エラーの発生しやすさを直接比較可能とした。
• 著者らは、契約層の意思決定が言語設計と挙動に与える主な影響を隔離する目的で、段階的なブロックチェーンアーキテクチャモデルを用いた。

実験結果

リサーチクエスチョン

• RQ1 異なるスマートコントラクト言語は、使いやすさ、セキュリティ、資産管理への対応においてどのように異なるか？
• RQ2 基盤となるブロックチェーンモデル（アカウントベース型対UTXO型）は、スマートコントラクト言語の設計と安全性にどのような影響を与えるか？
• RQ3 手続き型と承認型プログラミングモデルは、コードの可読性と脆弱性の表面積の観点から、どのように比較できるか？
• RQ4 ネイティブな言語レベルの機能（例：線形型、カスタムデータ型）は、二重支出や資産損失といった一般的な脆弱性をどれほど低減できるか？
• RQ5 標準化されたベンチマークは、複数のプラットフォームにまたがるスマートコントラクト言語の定性的な評価と比較に効果的に用いることができるか？

主な発見

• Moveの線形型の使用は、コンパイル時に資産の重複や損失を完全に防ぐ最も強固な静的保証を提供し、資産関連の脆弱性に対して最も耐性がある。
• 状態を更新して効果を引き起こす手続き型プログラミングスタイルは、トランザクションフィールドの複雑な検証を要する承認型モデルと比較して、可読性が高く、エラーの発生しにくいことが判明した。
• カスタムトークンや資産型のネイティブサポートを備えた言語（例：Aiken、Move）は、一時的なデータ型に依存する言語と比較して、財務的損失や不正な送金のリスクを顕著に低減している。
• 任意精度演算や安全なランダム生成といったネイティブ機能が欠落していると、開発者は計算コストが高く、またはセキュリティに欠ける代替手段を採用せざるを得ず、効率性と分散性が損なわれる。
• UTXOベースのプラットフォーム、たとえばCardanoやAlgorandでは、資産の型の整合性がより困難であり、Aikenがレコードフィールドの更新や算術演算に依存しているように、エラーの発生リスクが高まっている。
• 理論的にはチューリング完全であるものの、一部の言語では複雑な操作（例：大きな整数のChurchエンコーディング）に現実的でない代替手段を要する場合があり、重要な機能に対する言語レベルの第一級サポートの重要性が浮き彫りになった。