カルダノのスマートコントラクトはどのように機能しますか？

カルダノでのスマートコントラクトの理解

スマート契約は、コードに直接書かれた条件との自己執行契約です。第3世代のブロックチェーンプラットフォームであるカルダノでは、スマートコントラクトは、その独自のアーキテクチャとスケーラビリティとセキュリティへのアプローチにより、イーサリアムと比較して異なって動作します。カルダノのスマートコントラクトの実装は、アカウント値の元帳をスマートコントラクトが存在する計算層から分離する層状構造に基づいています。

Cardano Smart Contractsレイヤー（CSL）として知られる計算レイヤーにより、開発者はHaskellに基づいた専用のスマートコントラクト言語であるPlutusを使用して、分散型アプリケーション（DAPPS）を展開および実行できます。

Plutusは、ロジックベースのトランザクションを執筆、テスト、展開するための堅牢で安全な環境を提供することにより、カルダノでのスマートコントラクトを有効にする上で中心的な役割を果たします。

Plutusがカルダノのスマートコントラクトをどのように供給するか

Plutusは、カルダノでスマートコントラクトの開発に使用される主要言語です。オンチェーンコンポーネントとオフチェーンコンポーネントの両方を組み合わせて、高レベルの正確性と安全性を確保します。開発者は、機能的なプログラミングパラダイムを使用してPlutusでスマートコントラクトを作成し、Plutus Coreにコンパイルされます。これは、Cardano Virtual Machine（CVM）が理解する低レベルの言語です。

命令モデルを使用するEthereumの堅実さとは異なり、 Plutusは純粋に機能的であり、実行中の副作用と予期しない行動の可能性を減らします。この設計の選択は、スマートコントラクトの監査可能性と検証機能を大幅に向上させます。

• Plutus契約のオンチェーン部分は、事前定義された条件に応じてトランザクションを検証する責任があります。
• オフチェーン部品は、トランザクションが送信される前にユーザーのインタラクションやデータフェッチなど、ブロックチェーンの外側で発生する計算を処理します。

Cardanoは、計算と検証を分離することにより、必要なロジックのみがチェーンで実行され、ガスコストを最小限に抑え、効率を改善することを保証します。

カルダノのスマートコントラクトにおけるマーロウの役割

プログラミングに習熟していないユーザー向けに、 Marloweは金融スマート契約に合わせたドメイン固有の言語（DSL）を提供しています。開発者は、従来のコードを書くことなく、エスクロー契約、オプション、オークションなどの複雑な金融商品を作成することができます。

Marloweは、スマートコントラクトの構築に伴う複雑さの多くを抽象化しています。視覚的なインターフェースと段階的なビルダーを提供し、ビジネスの専門家や金融の専門家がアクセスできるようにします。

• Marlowe契約は、Plutusフレームワークによって解釈されます。
• 展開する前に、サンドボックス環境でテストできます。
• 各契約は有限状態の機械モデルに従い、予測可能な動作を確保します。

Marloweは、最小限の技術知識を持つ個人がCardanoの分散財務（DEFI）エコシステムに参加できるようにすることにより、スマートコントラクトの作成へのアクセスを民主化します。

トランザクション検証とUTXOモデル

Cardanoは、Ethereumのアカウントベースのモデルではなく、Bitcoinと同様のUTXO（Unpentトランザクション出力）モデルを利用しています。このシステムでは、各トランザクションは既存のUTXOSを消費し、新しいものを作成し、プライバシーと並列処理機能を強化します。

スマートコントラクトが実行されると、提供された入力がスクリプトで定義されている必要な条件を満たしているかどうかを検証します。もしそうなら、トランザクションは受け入れられます。そうでなければ、それは拒否されます。

• スマートコントラクトは、スクリプトとしてUTXOSに添付されています。
• これらのスクリプトは、UTXOをどの条件で使用できるかを定義します。
• すべてのバリデータースクリプトは、ブール値（Trueまたはfalse）を返す必要があります。

このモデルは、決定論的な実行を保証し、意図しない状態の変更を防ぎ、カルダノのスマートコントラクトを非常に安全で予測可能にします。

カルダノでスマートコントラクトの開発と展開

Cardanoでスマートコントラクトを開発するには、 Plutus Playground 、 Haskell Development Tools 、 Cardano CLIなど、適切なツールチェーンをセットアップする必要があります。開始方法は次のとおりです。

• Plutus Playgroundとサポートライブラリを含むPlutus開発環境を設置します。
• VSコードやIntellijなどのHaskell IDEでPlutus言語を使用して契約書を書きます。
• Plutus Playground Simulatorを使用して、展開前に契約ロジックをテストします。
• 内蔵コンパイラを使用して、契約をPlutus Coreにコンパイルします。
• Cardano CLIまたはNami WalletやLaceなどの財布の統合を介して契約を提出します。

展開には、コンパイルされたスクリプトをUTXOに添付し、料金や時間の制約などの実行パラメーターを指定することが含まれます。

Cardanoノードソフトウェアとの互換性を確保し、契約実行中のランタイムエラーを回避するために、各ステップに正確に従う必要があります。

よくある質問（FAQ）

Q：Cardanoでスマートコントラクトを書くためにSolidityを使用できますか？ A：いいえ、カルダノは堅実さをサポートしていません。 PlutusとMarloweをネイティブのスマートコントラクト言語として使用しています。

Q：カルダノのスマートコントラクトはチューリングを完了していますか？ A：CardanoのPlutusスクリプトは、無限のループやリソースの疲労を防ぐために完全に完全にチューリングされていません。代わりに、それらは不完全であるが、ほとんどの分散型アプリケーションにとって十分に表現力豊かにチューリングするように設計されています。

Q：カルダノのスマートコントラクトについて取引手数料はどのように計算されますか？ A：料金は、トランザクションのサイズと消費される計算リソースに依存します。複雑な契約は、一般に、スクリプトの実行要求の増加により、より高い料金が発生します。

Q：カルダノに展開されたスマートコントラクトをアップグレードする方法はありますか？ A：はい、開発者は、不変性の保証を維持しながら将来の変更を可能にするプロキシパターンまたはバージョンされたスクリプトでそれらを設計することにより、アップグレード可能な契約を実装できます。