Cardano スマート コントラクトとは何ですか?またどのように違うのですか?

Cardano スマート コントラクトの概要

1. Cardano スマート コントラクトは、Haskell に基づいて構築された関数型プログラミング言語である Plutus で書かれた自動実行契約です。

2. Cardano ブロックチェーン上で動作し、仲介者を必要とせずに事前定義されたロジックを強制します。

3. すべてのコントラクトは、決定論的な実行を保証する低レベルの型付きラムダ計算言語である Plutus Core にコンパイルされます。

4. 契約はトランザクションの一部として展開され、フルノードによる台帳処理中に検証されます。

5. 実行はスクリプト検証のためにオフチェーンで行われ、オンチェーン検証は暗号証明と入力データの整合性のみに依存します。

オンチェーンとオフチェーンの実行モデル

1. ブロック検証中にコントラクト コードが EVM 上で直接実行される Ethereum とは異なり、Cardano はスクリプト評価をコンセンサスから分離します。

2. ユーザーは、入力、出力、および償還を使用してトランザクションを構築し、トランザクションの組み込み時に検証されるシリアル化された Plutus スクリプトを添付します。

3. バリデーターはトランザクション検証中にのみ実行されます。チェーン上には永続的な状態やランタイム環境は存在しません。

4. スクリプトの実行では、実行バジェットで測定されるメモリと CPU ユニットが消費されます。これらのバジェットは ADA で宣言され、支払われる必要があります。

5. このモデルは厳密なリソース アカウンティングを強制し、無限ループやオンチェーンでの無制限の計算を防ぎます。

正式な検証とセキュリティ基盤

1. Plutus 契約は、指定された仮定の下で正確性を保証する数学的証明を使用して正式に検証できます。

2. 基礎となる UTXO アカウンティング モデルにより、各トランザクションが特定の不変の出力を確実に消費し、再入可能性の脆弱性が排除されます。

3. Cardano の台帳ルールは Haskell で表現されており、実装前に厳格なピアレビューを受けた仕様を受けています。

4. 契約ロジックはウォレットの動作から切り離されています。署名キーが資金を管理し、スクリプトが支出条件を管理します。

5.このアーキテクチャにより、アカウントベースのモデルで一般的な DAO ハッキングやフラッシュ ローン操作などのクラス全体のエクスプロイトが排除されます。

Marlowe と Plutus エコシステムを通じた相互運用性

1. Marlowe は、Plutus の上層にあるドメイン固有言語であり、金融​​契約用に明示的に設計されており、開発者以外でもアクセスできます。

2. Plutus は、REPL、テスト フレームワーク、ローカル シミュレーション用の Cardano-node CLI との統合などの開発者ツールを提供します。

3. コントラクトは UTXO 合成を介して対話します。複数のスクリプトが 1 つの出力を保護し、可変状態を共有せずに合成可能にすることができます。

4.グローバル契約レジストリは存在しません。スクリプト ハッシュは、トランザクション出力に直接埋め込まれた一意の識別子として機能します。

5. クロスコントラクト呼び出しはネイティブではありません。対話は明示的なトランザクション構築と出力参照を通じて発生します。

よくある質問

Q: Cardano スマートコントラクトは実世界のデータにアクセスできますか? A: ネイティブ オラクルは基本プロトコルの一部ではありません。外部データは、トランザクション入力として含まれる署名付きオフチェーン フィードを介して提供されるか、信頼できる証明書を通じて検証される必要があります。

Q: Cardano スマート コントラクトはアップグレードをサポートしていますか? A: アップグレード機能は組み込まれていません。コントラクトは、一度デプロイされると変更できません。開発者は、パラメータ化されたバリデータ、委任パターン、またはマルチシグネチャ ガバナンス出力を使用して柔軟性を実装します。

Q: ガスの価格はカルダノでは動的ですか? A: 執行手数料は、市場主導のオークションではなく、オンチェーンのガバナンス提案を通じて定期的に調整され、操作ごとの固定計算コストを使用して決定論的に計算されます。

Q: Plutus スクリプトは ADA 以外のトークンと対話できますか? A: はい。 Cardano のネイティブ トークンは同じ UTXO モデルを共有します。スクリプトは、トランザクションの入力および出力内のトークンの存在、数量、およびポリシー ID を検証できます。