Cardanoが本領発揮：「凍結・差し押さえ」対応のプログラマブル・トークン設計が公開
2025年3月、Cardanoにおける次世代トークン設計の概念実証を紹介した記事「New programmable token design proves Cardano’s freeze-and-seize capabilities」が公開されました。規制対応型のステーブルコイン「Wyoming Stable Token（WST）」の登場は、金融分野などの厳格なルールが求められる業界において、Cardanoが現実解となり得ることを力強く示しています。
プログラマブル・トークンがもたらす新時代
Input Output（IOG）とAnastasia LabsのPhilip DiSarro氏によって開発されたこのプロジェクトは、トークンの発行・転送・支払いにおける完全な制御と、資産凍結・差し押さえ（Freeze-and-Seize）機能を実現しています。これにより、Cardanoは金融規制やセキュリティ要件に準拠したアプリケーションを支えるブロックチェーンとして、次のフェーズに突入しました。
実現の鍵はCIP-0143
このプロジェクトの中心には、新しいCardanoの標準仕様「CIP-0143」があります。CIP-0143は、トークンポリシーを定義し、すべてのトークンを共通アドレス体系で扱えるようにするものです。以下のような特徴があります：
• 柔軟な設計：NFTのロイヤリティや現実資産のトークン化にも対応可能
• ハードフォーク不要：既存のCardanoインフラのまま実装可能
• アドレスの統一管理：トークンごとに別アドレスを用意する必要なし
これにより、既存のウォレットにもシームレスに統合でき、トークン発行者もユーザーもシンプルな運用が可能となります。
WSTの構造：凍結・差し押さえの実装方法
WSTは、以下のような技術構成によって運用されます：
• 凍結アカウントのリストをオンチェーンのリンクリストとして管理
• 各凍結アドレスに対して専用UTXOを発行し、一定時間での判定が可能
• 発行者は任意のアドレスからWSTを差し押さえる権限を持つ
この構成により、規制対応トークンとして必要な機能を高パフォーマンスかつセキュアに実現しています。
実践的な設計パターンとテスト戦略
WSTのPOCは単なる機能実証にとどまらず、Plutusのスマートコントラクトにおける以下のようなベストプラクティスも提示しています：
• ステークバリデータの利用によるトランザクション単位の検証
• リディーマで入出力を明示的に指定
• UTXOベースのリンクリストによる高速な存在チェック
• 実際のメインネット条件に基づいたユニットテスト
• スクリプトを再利用しやすくするプロトコルパラメータの分離
これらの手法は、他のPlutusアプリケーション開発者にとっても有用な指針となるでしょう。
実演とユーザー向けUIも公開
デモ用のWebアプリケーション（Next.js + Lucid）も同時に提供され、WSTの送受信や凍結・差し押さえ操作がブラウザ上で確認できます。
さらに、ワイオミング大学でのライブデモでは、学生が実際にCardanoメインネット上でトークン凍結と差し押さえ操作を実行し、そのトランザクションIDも公開されています。
• WST転送
• アカウント凍結
• WST差し押さえ
結論：Cardanoは「現実解」へと進化する
CIP-0143の登場とWSTの実装によって、Cardanoは金融や公共領域など、厳格なルールが求められる業界に対応可能なインフラを正式に整えました。
規制対応、柔軟なトークン設計、拡張性、エネルギー効率、そして開発者に優しい設計。
これらすべてが融合することで、Cardanoは「ただのブロックチェーン」ではなく、未来のWeb3基盤としての道を歩み始めたのです。
GitHubリポジトリ（POCコードやテスト、UI含む）：
https://github.com/input-output-hk/cip0143-stablecoin-poc
以下はIOGブログ「New programmable token design proves Cardano’s freeze-and-seize capabilities」を翻訳したものです。
新たなプログラマブル・トークン設計により、Cardanoの凍結・差し押さえ機能が証明される
ネットワークのプログラマビリティと、比類なきスケーラビリティ、相互運用性、省エネルギー型アプリケーションがCardanoを前進させ続けている
2025年3月12日
著者：ヤン・ミューラー（Jann Müller）
新たなプログラマブル・トークン設計により、Cardanoの凍結・差し押さえ機能が証明される
Cardanoの可能性に限界があるとすれば、それはイノベーターの創造力のみです。しかし、ピアレビューされた研究とスケーラブルなアーキテクチャに基づいたその設計は、規制対応、データ保護の強化、プライバシー重視のアプリケーションに最適なブロックチェーンとしてCardanoを際立たせています。
「凍結・差し押さえ（Freeze-and-seize）」機能は、特に金融や高度に規制された業界において、規制およびビジネス要件を満たすために設計されたアプリケーションの構築において極めて重要な要素です。このメカニズムは、資産を悪意あるアクターから保護するために、機関が資産の凍結・差し押さえを行う権限を持つことを意味します。これはCardanoにとって新しい概念ではなく、ブロックチェーン全体でも既に存在している考え方です。
しかし、Cardanoが発行、送金、支払いの全てを制御可能なプログラマブル・トークンをサポートしていることを証明するために、Input | Output社とAnastasia LabsのPhilip DiSarro氏は、「凍結・差し押さえ」機能を備えた規制対応型ステーブルコインの概念実証（POC）を構築しました。このステーブルコインはWyoming Stable Token（WST）として知られています。
このPOCの完全なソースコードはon Githubで公開されています。凍結・差し押さえ機能に加えて、このPOCはCIP-0143も実装しています。CIP-0143は、Cardanoウォレットやアプリケーションがプログラマブル・トークンを自動的に認識できるようにするための標準です。
CIP-0143: トークンのプログラマビリティを強化
このCIP（Cardano Improvement Proposal）は、トークンポリシーのレジストリと、CIP-0143に準拠したトークンを保存するためのアドレス形式を定義します。WSTのようなポリシーは、そのスクリプトハッシュをオンチェーンのデータ構造に入力することでレジストリに追加できます。WSTやその他のトークンに関連するトランザクションを検証する必要がある場合、ロジックは単純にトークン固有のスクリプトへとチェックを委譲します。
CIP-0143の主な特徴
柔軟性
このCIPは柔軟な設計となっており、ロイヤリティ支払い機能を持つNFTや、譲渡前にオフチェーンでの確認が必要なトークン化された実世界資産など、さまざまなユースケースの実装が可能です。
ハードフォーク不要
CIP-0143は、定義済みの規約を持つPlutusスクリプトの集合であるため、その導入にはハードフォークや、ADAや既存のネイティブトークンポリシーへの変更は必要ありません。
統一されたアドレス体系
CIP-0143で定義された主要な規約の1つが、アドレス形式です。各トークンごとに個別のアドレスを要求するのではなく、すべての通常のウォレットアドレスには1つのプログラマブル・トークン用アドレスが割り当てられ、それを通じてすべてのCIP-0143ベースのトークンを受け取ることができます。その結果、WST専用のアドレスを持つ必要はなく、この標準に準拠するすべてのトークンは1つのアドレスで管理可能となります。
このプログラマブル・トークンアドレスは、通常のウォレットアドレスから直接導出され、支払いクレデンシャルをステーククレデンシャルとして使用します。このシンプルなアプローチにより、CIP-0143の既存ウォレットへの統合がスムーズに行えます。
WST：プログラマブルで準拠したトークン
WST（Wyoming Stable Token）は、CIP-0143に準拠したトークンの一例です。その主な機能は「転送ポリシー」であり、WSTトークンを含むすべてのトランザクションにおいて、送信者のアドレスが凍結されていないことをチェックします。また、WSTの発行者（ミンティング権限を持つ者）が、WSTを保有している任意のアドレスからそのトークンを差し押さえることも可能です。
この機能を実現するために、オンチェーンで凍結アドレスのリンクリストが維持されます。凍結された各アカウントに対して、1つのUTXO（未使用トランザクション出力）を使用し、リストは支払いクレデンシャル順に辞書順（lexicographically）で整列されています。各UTXOには、現在のエントリと次のエントリの両方が含まれます。そのため、送信者が凍結されていないことの証明には、リストのサイズに関係なく常に一定の時間で確認が完了します。
CIP-0143によるポリシー登録および検証のインフラが整った後は、WSTの構築は非常にスムーズでした。開発者は凍結アカウントリストのビジネスロジックに完全に集中でき、ポリシーが正しく呼び出されるための管理機能やブックキーピングに煩わされる必要はありませんでした。これらの処理はすべてCIPが担ってくれるため、このCIPを基にしたすべてのトークンが同じロジックを再利用できます。
ベストプラクティスと設計パターン
Cardano上で「凍結・差し押さえ」が実現可能であることを証明しただけでなく、WSTプロトタイプはPlutusにおける設計パターンやベストプラクティスの有用な例も提供しています。
以下はその主なポイントです：
トランザクションレベルでの検証にステークバリデータを使用
UTXOの支出用バリデータは、ステークバリデータスクリプトに処理を委譲します。つまり、トランザクションの一部としてそのバリデータが実行されたかを確認します。
例：ProgrammableLogicBase,、166行目
リディーマを使って、トランザクションの入力・出力の特定の項目を参照
リディーマ（redeemer）にインデックスを含めることで、オンチェーンコード内でコストの高い検索処理を避けることができます。
例：ExampleTransferLogic、145行目
凍結アカウントのリストをUTXOセット内のリンクリストとして保存
これにより、あるアドレスがリストに含まれているか／いないかの確認を、リストサイズに関係なく一定時間で行うことが可能になります。
実際の台帳コードと現実的なパラメータを使ったユニットテスト
スクリプトをメインネットの実際の台帳コードベースやプロトコルパラメータでテストすることで、期待通りに動作するか、最小UTXO値やトランザクションサイズ、ブロックサイズなどに関する問題がないかを確認できます。
例：UnitTestモジュール
パラメータ専用のUTXOを設置
プロトコル固有のパラメータをインラインデータムとして専用のUTXOに格納し、それをリファレンス入力として使用します。これにより、他のCIP-0143ユーザーもそのパラメータにアクセスできるようになり、パラメータが変更されるたびにスクリプトハッシュを更新する必要がなくなります。
例：ProtocolParamsモジュール
出力の期待されるData表現との比較
Plutusスクリプト内では、特定の出力が存在することを確認するために、期待されるデータムをData型として構築し、それを実際のインラインデータムと等価比較します。これにより、不要なデータが含まれることを防ぎ、**プロトコルの安全性（例えば、大きなデータム攻撃やエンコーディング悪用）**を保ちます。
例：PTokenDirectory内のpIsInsertedNodeありがとうございます。それでは、最後のセクション「結論」の翻訳をお届けします。
ユーザーインターフェース（UI）とライブデモ
私たちは、エンドユーザーがプログラマブル・トークンを送受信するのがどれほど簡単かを示すために、スタイリッシュなWebアプリケーションも追加しました。このUIはNext.jsをベースに構築されており、Lucidライブラリを使用してトランザクションへの署名と送信を行います。
ライブデモ
私たちは最近、ワイオミング大学にてWSTのライブデモを実施しました。エンジニアリングの学生であるAijun Hall氏が、Cardanoメインネット上で凍結および差し押さえ操作を実行しました。
以下は、ワイオミング州ララミーで行われたライブデモ中に生成されたトランザクションIDの例です：
• WSTトークンを2つのウォレット間で転送
https://cexplorer.io/tx/d92651eaa48e9f825b5fb40d109dff9e74b7754f366dc86b8c9159738e14327f
• アカウントの凍結
https://cexplorer.io/tx/6b67f518e681964ac90574749745039cb20a8b190b1afb1c6e6c2fe620db3e11
• 凍結アカウントからのWST差し押さえ
https://cexplorer.io/tx/27a94541838d87e53b04ae510d5e5ab1ee344e83e2ba7cbc6b3fe2cc88e6c986
結論
CIP-0143の多用途性は、さまざまなタイプのトークンをサポートするだけでなく、ウォレットや他のアプリケーションとの容易な統合も可能にします。プログラマブル・トークンの標準は、アロンゾハードフォークの初期段階から最も期待されていた機能のひとつであり、ついにこのように強力かつエレガントな設計に収束したことは非常にエキサイティングです。
さらなる情報については、POCのGitHubリポジトリをご確認ください。ディスカッションの開始、バグレポートの提出、プルリクエストの作成、そして最も重要なこととして、あなた自身で構築を始めることをお勧めします！
この記事の執筆には、Amir Meyssami氏も貢献しています。
