智能合约范式转变

理解 Solidity 与 Daml 编程模型的根本差异

从 Solidity 迁到 Daml 需要显著心智转变。本节说明范式差异与适应方式。

编程模型对比

状态模型：可变 vs 不可变

Solidity：合约是可修改状态的持久对象。

Daml：合约是不可变事实；变更归档旧合约并创建新合约。

template Token
  with
    owner : Party
    issuer : Party
    amount : Decimal
  where
    signatory issuer
    observer owner
    choice Transfer : ContractId Token
      with newOwner : Party; transferAmount : Decimal
      controller owner
      do
        create Token with owner = newOwner, issuer, amount = transferAmount
        create this with amount = amount - transferAmount

心智模型：合约是事实；exercise 归档事实并创建新事实。

UTXO vs 账户模型

以太坊：全局账户余额 mapping，易查总余额，热门账户有争用。

Canton：扩展 UTXO——状态是合约集合，转账归档并新建，余额为所持 Token 合约之和，并行更好、数据流显式。

语言对比

Daml 用 ADT、Optional 显式空值、完整参数多态；控制流用 forA、assertMsg 等于 Update monad 内。

授权模型

Solidity：onlyOwner 等运行时 require，易遗漏、任何人可尝试调用。

Daml：signatory/controller 声明，编译器与协议强制，未授权方无法到达 Choice 体。

多方协调

Solidity 手动多签 mapping；Daml 原生 signatory partyA, partyB 与 Proposal → Accept 模式。

常见模式对照

需要调整的习惯

下一步

本文由 CC Privacy Club 根据 Canton Network 官方文档（CC-BY-4.0）整理翻译，仅供学习；实现细节以官方最新版本为准。