Tap In With TapToolsは記事「Aiken: Revolutionizing Smart Contract Development on Cardano」を公開し、カルダノ開発環境である注目のAikenについての革新性、それに基づいていくつかの注目すべきプロジェクトを紹介しています。
Aikenは、カルダノ向けに設計されたスマートコントラクトプログラミング言語であり、馴染みのある構文、オンチェーン最適化、オフチェーン互換性を提供しています。プロパティベースのフレームワークと形式的検証によるセキュリティを重視し、開発者に包括的なツールチェーンを提供します。Aiken上で構築されたプロジェクトには、スマートコントラクトの効率とセキュリティを向上させたSundaeSwapが含まれます。
以下はTap In With TapToolsに掲載された記事「Aiken: Revolutionizing Smart Contract Development on Cardano」を翻訳したものです。
Aiken: カルダノ上でのスマートコントラクト開発を革新
by Tap In With TapTools 2023年9月11日
Aikenは、Cardanoに特化したスマートコントラクトプログラミング言語で、スマートコントラクトの開発プロセスを簡素化し、現代的で効率的な環境を提供することを目的としています。この記事では、Aikenが何であるかを探り、それに基づいていくつかの注目すべきプロジェクトを紹介します。
Aikenとは？
Aikenは、Cardanoのブロックチェーンエコシステムの独自の要求に合わせて調整された先駆的なスマートコントラクトプログラミング言語として存在しています。Aikenは、開発プロセスを簡素化し、効率とセキュリティを促進するように設計された新しいアプローチ可能な言語を導入しています。従来のスマートコントラクト言語とは異なり、Aikenは以下のような革新的な機能を持っています。
その中でも最も目立つ特徴の一つは、C系構文によるフレンドリーな構文です。Aikenは、RustやTypeScriptなどのプログラミング言語に似たC系構文を採用しており、これらの言語に慣れ親しんでいる開発者がスムーズにAikenに移行できるようになっています。
Aikenの可能性を最大限に引き出すためには、拡張UTXO（eUTxO）モデルの知識が必要です。開発者は、Cardano内でトランザクションとスマートコントラクトが機能する方法を規定する拡張UTXO（eUTxO）モデルの複雑さを理解する必要があります。この知識は、安全で効率的なスマートコントラクトの構築に不可欠です。
Aikenの主な焦点はオンチェーンであることです。Cardanoのブロックチェーンに合わせて丹精込めて作られたAikenは、オンチェーン実行に最適化されていることを保証しています。この専門性は、堅牢なオンチェーンアプリケーションを作成したい開発者にとって、特に重要な利点です。
Aikenは、オフチェーン互換性とオンチェーン専門性を調和的にバランスさせています。外部のコンポーネントやツールとシームレスに統合できるように、オフチェーンプロセスと外部ツールに対して互換性を保っています。この相互運用性により、Cardanoベースのアプリケーションの開発可能性が広がります。
Aikenは、親しみやすい構文を採用しながら、純粋関数型言語としての本質を保っています。この関数型プログラミングパラダイムは、不変性、参照透明性、および副作用の欠如に重点を置いています。これにより、命令型プログラミングのバックグラウンドを持つ開発者が、思考や方法論を適応させる必要があります。
もう一つの有用な機能は、Blueprint Stub Generationです。Aikenは、ブループリントスタブを提供することで、オフチェーンコンポーネントの統合を簡素化しています。これらはテンプレートとして機能し、開発プロセスを容易にし、Cardanoエコシステム内での相互運用性を促進します。
また、Aikenは、プロパティベースのフレームワークと形式的検証を通じてセキュリティに強い重点を置いています。このアプローチにより、開発者はスマートコントラクトのプロパティや不変条件を定義、テスト、および数学的に証明することができます。その結果、契約の品質、安全性、および堅牢性が向上します。Aikenは、コードの強化と実験に対する単体テストおよびベンチマークフレームワークを統合しており、安全性を高めます。
最後に、Aikenは、コンパイラ、コードフォーマッター、パッケージマネージャ、言語サーバー、ドキュメンテーションジェネレータ、およびテストフレームワークを含む包括的なツールチェーンを開発者に提供します。これらのツールは、開発プロセスを合理化し、開発者がスマートコントラクトを効率的に構築、テスト、およびデプロイできるようにします。
Aikenを利用したプロジェクト
Cardanoエコシステム内のいくつかのプロジェクトは、より効率的で安全なスマートコントラクトを作成するために、Aikenの機能を活用しています。以下では、これらのプロジェクトの一部を紹介します。
SundaeSwap：効率とセキュリティを向上
Aikenを介して、Cardano上の最初のAMMスタイルの分散型取引所であるSundaeSwapは、スマートコントラクトの効率、セキュリティ、およびスケーラビリティを向上させました。YouTubeの動画では、Aikenの影響を示し、SundaeSwap V1スマートコントラクトと比較して、注文の埋め率が驚異的な2016.7％向上したことが強調されています。
Jpg.store
Jpg.storeはCardano上の主要なNFTマーケットプレイスであり、Aikenを利用してV3スマートコントラクトを強化しています。Sundae Labsによるこれらのコントラクトの監査では、大幅なパフォーマンスの改善が明らかになりました。特に、V3コントラクトにより、マーケットプレイスでの一括購入がシームレスに行われ、ユーザーの手数料が削減されます。
LenFi
レンディングおよび借入プロトコルのLenFiは、Aikenを取り入れたV2リリースの監査を現在進行中です。このアップデートでは、プール化されたレンディングと、Cardano初のフラッシュローンが導入されています。コミュニティマネージャーのNeophyteは、「LenFi V2の監査は順調に進んでおり、その一因はAikenの堅牢性にあります。」と述べています。
Butane Protocol
Cardano上で構築されるオープンなシンセティックプロトコルのButaneは、Aikenを利用してより安全で多様なエコシステムを作り上げています。Butaneの開発者であるMicahは、以下のようにAikenの使用方法について述べています：
Butaneでは、Aikenを使用してバリデータを分離し、特定の不変条件に関してより高い保証を可能にしています。例えば、マルチバリデータを使用することで、CDPボンドがCDPポジションに一意に対応することを簡単に保証できます（ライブまたは清算されたかどうかに関係なく）。なぜなら、私たちは ‘ロックされたバリデータ’ と呼ばれるものを簡単に実装でき、同じミンティングハッシュからスクリプトハッシュと同じものをミントすることで、いかなる参照トークンの必要もなくバリデーションを行うことができるからです。そのため、特定のポジションに結び付けられたボンドを持つロジックを書くことが容易になります。
AikenはCardanoにおける開発者やプロジェクトがより効率的で安全で革新的なスマートコントラクトを作成するために不可欠な存在です。SundaeSwap、Jpg.store、LenFi V2、Butaneなどのプロジェクトが先頭を切っていることからも分かるように、AikenはCardanoのスマートコントラクトエコシステムの将来において重要な役割を果たすことになります。
Butane Protocolのリードデベロッパー、Micahからの洞察
Butane ProtocolのリードデベロッパーであるMicahは、Cardano上でスマートコントラクト開発にAikenを使用する利点について貴重な洞察を共有しました。
私は去年の8月頃からAikenを書いており、それがコンパイルできるようになる前から使っていました。私はIOHKの開発者エクスペリエンスワーキンググループの一員でした。私はすぐにPlutusTxからAikenに移行し、初期のドキュメンテーションの一部を書き、早い段階で推奨し始めました。私はAikenへのマイナーな貢献者と言えるでしょう。
Micahは、AikenとPlutusTxとの開発者エクスペリエンスの大きな違いを強調しました。
使用方法に関して言えば、PlutusTxと比べると夢のようです。PlutusTxの問題は、ツールの問題と言語の問題の組み合わせです。
彼はPlutusTxの主な問題の1つについて詳しく説明しました。
PlutusTxには、特定のバージョンのHaskellライブラリを使用する必要があるという、Nixというインフラストラクチャの問題がありました。埋め込み型DSL(eDSL)であるため、新しいバージョンの契約を試すたびに、すべてのライブラリを再コンパイルする必要がありました。
しかし、Aikenのコンパイル方法はゲームチェンジャーでした。
Aikenが本当に素晴らしいのは、Aiken言語が単一のバイナリ実行可能ファイルであり、私の.akソースファイルを数秒でUPLCブループリントにコンパイルしてくれることです。非常に細かな変更を契約に加えるための反復時間は以前は3〜10分で、すべてがビルドされてテストが実行されるのを待っているだけでした。これは主にコンパイラの問題によるものでした。Aikenは数秒で完了し、Lucidエミュレータなどのツールとともに、コードの変更を行い、完了したエンドツーエンドのテストを20秒未満で確認することができます。
Micahは反復時間の遅さの影響を強調しました。
開発を反復的なプロセスとして理解するならば、テストを実行しコードをコンパイルするのに時間がかかると、結果が得られないため、モデルの改善や理論化ができなくなるということが簡単に理解できます。
彼はまた、Aikenの強みについても言及しました。
だから開発者体験の面から言えば、Aikenは単純に素晴らしいです。完全に自己完結しており、高速です（eDSL vs DSL、eDSLはHaskellなどのホスト言語に埋め込まれているのに対し、DSLは独自のパーサーと構文を持っています）。
Micahは、Aikenの構文とその明瞭さを向上させる役割についても詳しく説明しました。
次に、Aikenの機能について説明できます。Aikenは独自の構文を持つため、ノイズを最小限に抑え、読み書きの明瞭さを高めることができます。
Aikenの最適化能力も称賛の的でした。
Aikenは非常に最適化されています。実際、最適化されていないAikenの方がPlutusTxよりも速かったのです。これは、あるプログラミングパラダイムを別のパラダイムに無理に適用しようとすることではなく、 ‘シンプルイズベター’ の良い例でした。
彼はAikenの特定の最適化についても詳しく説明しました。
Aikenのもう1つの主な機能は、マルチバリデータです。Aikenはこれをシームレスに実装しており、特定のプロトコルをより簡単に表現できます。
Micahの洞察は、Aikenの効率的な開発プロセスと優れたパフォーマンスによって、Cardanoエコシステム内のButane Protocolなどのプロジェクトで作業する開発者にとって選択肢の一つであることを明らかにしています。
効率的な開発と幅広い開発者の採用を促進するカタリスト
Cardano向けの専用スマートコントラクトプログラミング言語であるAikenは、Cardanoエコシステム内で大きな変革をもたらすことを約束しています。Aikenは、開発の効率向上、スループットの増加、PlutusやHaskellと比較してより魅力的な環境を推進するカタリストとして機能します。
Aikenの重要な貢献は、スマートコントラクトの開発を効率化し迅速化する能力にあります。PlutusやHaskellなどの先行者とは異なり、Aikenはシンプルで使いやすい構文を導入し、開発者の学習コストを削減します。この柔軟性により、スマートコントラクトの展開が迅速化します。さらに、Aikenの高速なコンパイル時間とLucidエミュレータのような重要なツールとの互換性により、反復時間が大幅に短縮されます。これにより、開発者は迅速な改善を行い、スマートコントラクトのモデルを試行錯誤することができます。これにより、エコシステム内でのイノベーションが促進されます。
Aikenの導入により、Cardanoブロックチェーン上でのスマートコントラクトの実行において高いスループットが約束されます。言語の最適化とオンチェーン実行のためのカスタムデザインにより、トランザクション処理が高速化されます。この高いスループットは、ユーザーエクスペリエンスの向上を促し、より複雑でリソースを消費する分散型アプリケーション（dApps）やプロトコルを可能にします。Cardanoエコシステムが拡大し続ける中で、この高いスループットはスマートコントラクトの相互作用の増加する需要に対応するために重要となります。
Aikenの登場によって最も変革的な要素は、より広範な開発者コミュニティをCardanoエコシステムに引き付ける可能性です。Aikenのなじみのある構文と学習コストの低さは、異なるバックグラウンドを持つ開発者を惹きつけるでしょう。この開発者中心のアプローチにより、Cardanoコミュニティの成長が加速し、ブロックチェーン業界において重要な資産となります。よりアクセスしやすく、開発者にやさしい環境により、Cardanoは他のブロックチェーンプラットフォームと競争しながらトップの人材を引き付ける能力を向上させます。
結論
AikenはCardanoのエコシステムを革新する準備が整っています。その効率的な開発プロセス、高いスループット、開発者にとって使いやすいアプローチは、それ以前のPlutusとHaskellとは一線を画しています。スマートコントラクトの作成を簡素化することで、Aikenはイノベーションを加速させるだけでなく、多様な開発者コミュニティを惹きつけます。Aikenの先駆的な進化により、Cardanoは競争力のあるブロックチェーンの世界でより優位な立場に立つことができるようになりました。
最新の暗号通貨ニュースについてお役に立てれば幸いです。もし読んで楽しんでいただけたら、ぜひTapToolsのTwitterをフォローし、Discordに参加してください。
