Cardanoの新しいスマートコントラクトライブラリが当初目標を上回る

CardanoのContractsLibraryイニシアチブは、当初の目標である五つを上回り、六つの再利用可能なスマートコントラクトを用意した。AlwaysTrueでDeveloper Experienceイニシアチブを率いるRobertino Martinezは、X SpaceのディスカッションCardanoの中核開発の分散化の中でこの進捗を明らかにした。

このライブラリは、開発者が一般的な機能を一から作るのではなく、すぐに統合できるスマートコントラクト部品を提供することを目指している。EthereumエコシステムにおけるOpenZeppelinの手法に触発され、オンチェーンのコード、トランザクション構築ツール、技術仕様、形式検証を組み合わせている。

六つのコントラクトは最終的なコードおよび仕様のレビュー段階に到達している。Martinezは、セキュリティ監査はまだ完了しておらず、現時点でCardanoメインネットにデプロイすべきではないと強調した。

六つのコントラクトが公開テストに向けて前進

ContractsLibraryは当初、五つの再利用可能なスマートコントラクトを提供する見込みだった。Martinezによれば、開発チームは六つを用意し、コミュニティによる広範なテストに先立って最終的な品質確認を開始した。

このイニシアチブは、孤立したプログラミング関数ではなく、アプリケーション指向の完結したコンポーネントに重点を置いている。開発者は既存のコントラクトを設定で調整したり、ソースコードを適応させたり、コンポーネントを組み合わせたりして、さまざまなアプリケーション要件に対応できる想定だ。

このライブラリは、Anastasia Labsの取り組みを含む、Cardano内で既に確立されている開発パターンを取り入れている。

またMartinezは、高保証チームが形式検証作業を開始したことを確認した。まずコントラクト間で共有される特性に焦点を当て、その後に個別実装の検証へと進む。

完了した開発作業と本番稼働可能性を区別することは依然として重要だ。六つの準備済みコントラクトがあるからといって、六つすべてが監査済みまたは形式的に検証済みで、無制限に利用可能という意味ではない。

OpenZeppelinに着想を得たCardano向け開発スタック

OpenZeppelinは、Ethereumおよびその他のEVMエコシステムで再利用可能なスマートコントラクト部品の広く使われるリソースとなっている。ContractsLibraryは、Cardanoの拡張UTxOアーキテクチャに適合した同等の開発リソースを提供することを目指す。

各実装は、いくつかの相互に関連する要素を組み合わせるよう設計されている。

オンチェーンのコンポーネントはAikenを用いてCardanoの台帳によって強制される規則を定義する。MeshJSやTx3への対応を含むオフチェーンのトランザクションビルダーは、アプリケーションがそれらのバリデータと対話するために必要なトランザクションを構築するのを支援する。

技術仕様は各コントラクトの意図された挙動を記述し、テストおよび形式検証は実装が定義された要件を満たしているかを評価するための追加手段を提供する。

このプロジェクトでは、選択したコントラクト特性に関する機械検証された証明のためにLean 4も使用している。

この統合的な構造は、Cardano開発における実務的な課題に対処する。すなわち、分散型アプリケーションを構築するには、スマートコントラクトの検証とオフチェーンのトランザクション構築を調整する必要がある。

相互に結び付いたコンポーネントを提供することで、ContractsLibraryは反復的な開発作業を減らし、一般的なコントラクトパターンを新しいアプリケーションに統合しやすくすることを目指している。

[NEWSBREAK]

最終要件は引き続きセキュリティレビュー

ContractsLibraryはより広いDeveloper Experienceイニシアチブの一部であり、Martinezの継続的なリーダーシップの下でInput OutputからAlwaysTrueへと移管された。

このイニシアチブには、接続されたCardano開発環境の生成を支援するcardano-initなどの他のツールも含まれる。

ContractsLibraryに関しては、直近の優先事項はコード品質チェックの完了、実装のテスト利用へのアクセス性向上、そして形式検証の継続だ。

Martinezは、初期リリースを本番対応のライブラリではなくテストの機会として扱うよう開発者に助言した。また、Cardanoの開発ツールが今後のプロトコル変更に適応する中で、迫り来るDijkstraハードフォークが慎重さを促す追加の理由であることも指摘した。

このプロジェクトは、セキュリティ監査に向けて準備が整ったコントラクトと、必要なレビューを完了して安定ステータスに到達したコントラクトとを区別している。

公開リポジトリはコードと開発ドキュメントを提供しているが、そこにある資料は六つすべてのコントラクトが安定版としてリリース済みであることを示すものではない。

したがってMartinezの最新情報は、具体的な開発マイルストーンを確立する。すなわち、チームは当初の計画より一つ多いコントラクトを用意した。公開テスト、個別の形式検証、必要なセキュリティレビューは、これらの実装を本番対応のコンポーネントと見なす前に残された別個のステップだ。