Cardano的智能合同如何工作？

了解Cardano的智能合约

智能合约是与直接写入代码的条款的自我执行协议。在第三代区块链平台Cardano上，智能合约与以太坊相比，由于其独特的架构以及可扩展性和安全性的方法。 Cardano的智能合约的实现是基于分层结构，该结构将帐户值分类账与智能合约所在的计算层分开。

计算层被称为Cardano Smart合同层（CSL） ，允许开发人员使用Plutus（基于Haskell的专用智能合约语言）部署和执行分散的应用程序（DAPP）。

Plutus通过为撰写，测试和部署基于逻辑的交易提供了健壮且安全的环境，在启用Cardano的智能合约方面发挥了核心作用。

Plutus如何权力Cardano智能合约

Plutus是用于在Cardano上开发智能合约的主要语言。它结合了链和链分量，以确保高水平的正确性和安全性。开发人员使用功能编程范式在plutus中编写智能合约，然后将其编译成plutus core，这是由Cardano Virtual Machine（CVM）理解的低级语言。

与使用命令模型的以太坊的坚固性不同， plutus纯粹是功能性的，可减少执行过程中副作用和意外行为的机会。这种设计选择可显着增强智能合约的可审核性和验证能力。

• 普鲁图斯合同的链链部分负责根据预定义的条件验证交易。
• 链零件处理区块链外发生的计算，例如在提交交易之前的用户交互或数据获取。

通过分开计算和验证，Cardano确保仅在链上执行必要的逻辑，最大程度地减少气体成本并提高效率。

马洛在卡尔达诺智能合约中的作用

对于不熟练编程的用户， Marlowe提供了针对金融智能合约量身定制的特定领域语言（DSL）。它允许非开发人员在不编写传统代码的情况下创建复杂的金融工具，例如托管协议，选项和拍卖。

Marlowe抽象了建立智能合约所涉及的许多复杂性。它提供了一个视觉界面和分步构建器，使商业专家和金融专家都可以使用。

• Marlowe合同由Plutus框架解释。
• 它们可以在部署前在沙盒环境中进行测试。
• 每个合同均遵循有限状态的机器模型，以确保可预测的行为。

Marlowe通过允许具有最低技术知识的个人参与Cardano上的分散融资（DEFI）生态系统来使人们对智能合同创建的访问权力。

交易验证和UTXO模型

Cardano使用UTXO（UTXO（UNPENT TRASSACTION输出）模型，类似于Bitcoin，而不是以太坊的基于帐户的模型。在此系统中，每个交易都会消耗现有的UTXO并创建新的交易，从而增强隐私和并行处理功能。

执行智能合约后，它验证了提供的输入是否满足脚本中定义的所需条件。如果这样做，则接受交易；否则，它将被拒绝。

• 智能合约作为脚本附加到UTXO。
• 这些脚本在可以花费UTXO的条件下定义。
• 每个验证器脚本都必须返回布尔值 - 真实或错误。

该模型确保确定性执行并防止意外状态变化，从而使Cardano的智能合约高度安全和可预测。

在Cardano上制定和部署智能合约

要在Cardano上建立智能合约，您需要建立适当的工具链，包括冥王星游乐场， Haskell开发工具和Cardano CLI 。这是开始的方法：

• 安装Plutus开发环境，其中包括Plutus Playground和支持图书馆。
• 在vs Code或Intellij等Haskell IDE中使用Plutus语言编写合同。
• 部署前，请使用Plutus Playground Simulator测试合同逻辑。
• 使用内置编译器将合同汇编为Plutus Core。
• 通过Cardano CLI或Nami Wallet或Lace等钱包整合提交合同。

部署涉及将编译脚本附加到UTXO并指定执行参数，例如费用和时间约束。

必须精确遵循每个步骤，以确保与Cardano节点软件的兼容性，并在执行合同期间避免运行时错误。

常见问题（常见问题解答）

问：我可以使用坚固的性能在Cardano上写智能合约吗？答：不，Cardano不支持坚固。它使用冥王星和马洛作为本地智能合同语言。

问：Cardano Smart Contracts Turing是否完成？答：Cardano的Plutus脚本并未完全完整，以防止无限循环和资源耗尽。取而代之的是，它们被设计为图丁不完整，但对于大多数分散的应用程序而言足够表达。

问：如何计算Cardano智能合约的交易费用？答：费用取决于交易的大小和消耗的计算资源。复杂的合同通常由于脚本执行要求增加而产生的费用更高。

问：有没有办法升级Cardano上部署的智能合约？答：是的，开发人员可以通过使用代理模式或版本的脚本设计来实现可升级的合同，从而允许未来修改，同时维护不可不可分割的保证。