区块链智能合约编程范式对比：UTXO vs. 账户模型
论文实现了两个版本的智能合约，虽然简单但具有示范意义。其中一个版本的合约采用 以太坊区块链平台上的Solidity语言开发，另一个版本的合约采用Cardano平台上的Plutus 开发。通过此开发，我们对Cardano的编程模型有了更清晰的了解，尤其是Cardano 引入的简单但是新颖的数学抽象，我们称之为理想化cardano，或者理想化EUTXO：
对于两个版本的智能合约，我们跟踪了底层平台的架构以及相应数学模型对编程风格 的影响以及错误的自然分类，并对cardano的alpha转换和等效性进行了证明，解释了 以太坊中为何欠缺这部分内容。在论文的最后还讨论了示例引发的对数学模型和结果的思考。
论文PDF下载：UTxO- vs account-based smart contract blockchain programming paradigms