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