Cardano スマートコントラクトを簡単に説明

Plutus スクリプト言語の基礎

1. Plutus は、Cardano のスマート コントラクト実行環境用に特別に設計された関数型プログラミング言語です。

2. 拡張 UTXO (EUTXO) モデルで動作します。このモデルは、各トランザクション出力を値とロジックの両方を保持する独立した不変のユニットとして扱う点で、イーサリアムのアカウントベースのモデルとは根本的に異なります。

3. すべての Plutus スクリプトは、トランザクションが台帳に受け入れられる前に検証に合格する必要があり、決定的な結果を強制し、他のエコシステムで一般的なリエントランシーの脆弱性を排除します。

4. スクリプトは Plutus Core にコンパイルされます。Plutus Core は低レベルの中間表現であり、オンチェーン展開の前に正式な検証を受けて正確性と安全性が保証されます。

5. 開発者は、強力な型安全性とコンパイル時保証を活用して、Haskell 構文を使用して Plutus コントラクトを作成し、実行時エラーを削減し、監査可能性を高めます。

マーロウ金融契約モデル

1. Marlowe は、Plutus 上に構築されたドメイン固有言語であり、オプション、スワップ、エスクロー契約などの金融協定に合わせて調整されています。

2. 低レベルのブロックチェーンの仕組みを抽象化し、経済学者や法律専門家などのプログラマ以外の人でも、ビジュアル エディターや宣言構文を通じて契約ロジックを定義できるようにします。

3. コントラクトは、役割、アクション、結果で構成され、競合状態やあいまいな状態遷移を防ぐために、実行時に厳密な時間順序が適用されます。

4. すべての Marlowe コントラクトは Plutus Core に自動的に変換され、同じ検証ルールの対象となり、Cardano のコンセンサス層との完全な互換性が保証されます。

5. このモデルは構成可能性をサポートしています。複数の Marlowe コントラクトを 1 つのトランザクション内に埋め込むことができるため、外部のオラクルなしで複雑なマルチパーティの調整が可能になります。

ウロボロスのコンセンサス統合

1. スマート コントラクトの実行は完全にウロボロス エポック内で行われ、スロット リーダーが通常の転送と並行して Plutus スクリプトを含むトランザクションを検証します。

2. スクリプトの実行では、「メモリ ユニット」と「CPU ユニット」で測定される計算リソースが消費されます。これらは、サービス妨害攻撃を防止し、公平な料金割り当てを確保するために、トランザクションごとに制限されています。

3. このプロトコルは厳密なタイムロックメカニズムを強制しており、カルダノのエポックおよびスロットタイミングインフラストラクチャに合わせた有効期間を指定するスクリプトを必要とします。

4. 外部状態の読み取りは許可されません。すべての入力はトランザクション コンテキストで明示的に提供され、不変性が維持され、コントラクト評価の完全な再生可能性が可能になる必要があります。

5. ステークプールオペレーターはスクリプトの検証を独立して処理し、コンセンサスには中間の計算ステップではなく、最終出力に関する合意のみが必要であり、ノード間同期のオーバーヘッドが削減されます。

Project Catalyst によるオンチェーン ガバナンス

1. ADA 保有者は、ネイティブ トークンを使用して資金調達提案を提出し、スマート コントラクト標準に関連する CIP を含む技術アップグレードに投票し、財務リソースを割り当てます。

2. 各提案は、コミュニティのレビュー、正式な評価、および連続したエポックにわたる多段階投票を受け、最終承認により自動国庫支出が開始されます。

3. Cardano にデプロイされたスマート コントラクトにはガバナンス フックが組み込まれており、トークンに重み付けされた決定で料金構造や報酬分配ロジックなどのパラメーターを変更できるようになります。

4. 議決権はステークされたADA残高から直接計算され、委任ペナルティやロックアップ要件はなく、参加インセンティブを維持しながら流動性を維持します。

5. すべてのガバナンス アクションは、パブリック エクスプローラーを通じてアクセスできるオンチェーン レコードを生成し、透明性をサポートし、分析と責任の追跡のためのサードパーティ ツールを有効にします。

ネイティブトークンとNFTの機能

1. Cardano はマルチアセットの発行をネイティブにサポートしています。つまり、ステーブルコインや NFT を含むトークンは、カスタム スマート コントラクトを展開することなく鋳造できます。

2. ポリシー スクリプトはトークンの作成と破棄を管理し、Plutus で記述され台帳レベルで適用され、供給管理とメタデータの整合性に対する暗号化の保証を提供します。

3. Cardano 上の NFT は、トランザクション出力に直接エンコードされた豊富なメタデータを運び、オフチェーン ストレージ ソリューションに依存するのではなく、ブロック生成中にバリデーターによって検証されます。

4. トークン転送は Plutus スクリプトの実行とアトミックに共存し、クロスアセットの条件付きロジックを有効にします。たとえば、指定された ADA 金額を受け取った場合にのみ NFT をリリースします。

5. すべての資産には、Plutus スクリプトのハッシュから派生した一意のポリシー ID が含まれており、証明可能な出所を確立し、ウォレットやマーケットプレイス全体での決定的な識別を可能にします。

よくある質問

Q1: Cardano スマートコントラクトにはガス料金が必要ですか?いいえ。取引手数料はサイズと計算の複雑さに基づいて計算されますが、イーサリアムの EVM のような動的なガス計測メカニズムはありません。料金は、消費されるメモリと CPU の単位ごとに固定され、送信時に決定されます。

Q2: Plutus スクリプトは外部 API またはオラクルと対話できますか?直接ではありません。外部データは、信頼できるオフチェーン サービスを介して取り込まれ、トランザクション入力の一部として送信され、スクリプト内の事前定義された制約に対して検証される必要があります。

Q3: 導入済みの Plutus 契約をアップグレードすることは可能ですか?はい。ただし、元のスクリプトに変更可能なポリシー ID の参照やガバナンス制御されたアドレスへの権限の委任など、アップグレード ロジックが明示的に含まれている場合に限ります。

Q4: Cardano はコントラクトのリエントラントをどのように処理しますか? EUTXO モデルは、各出力が新しいトランザクションで完全に消費されるため、本質的に再入を防ぎます。呼び出し間に共有の変更可能な状態が存在しないため、再帰呼び出しのリスクが排除されます。