基于 UTxO 与基于账户的智能合约区块链编程范式
计算机科学中的逻辑
2021-02-03 v4 密码学与安全
摘要
我们实现了一个简单但具说明性的智能合约的两个版本：一个在以太坊区块链平台上用 Solidity 实现，另一个在 Cardano 平台上用 Plutus 实现，附有带注释的代码摘录及源代码。我们通过引入一种我们称之为理想化 EUTxO（Idealised EUTxO）的新数学抽象，更清晰地了解了尤其是 Cardano 的编程模型。对于该合约的每个版本，我们追踪了底层平台及其数学基础如何影响自然的编程风格与自然的错误类别。我们证明了关于 Cardano 的 α-转换与观察等价性的一些简单但新颖的结果，并解释了以太坊为何不具备这些性质。最后，结合前述示例、数学模型与数学结果，我们进行了广泛而详细的讨论。
引用
@article{arxiv.2003.14271,
title = {UTxO- vs account-based smart contract blockchain programming paradigms},
author = {Lars Brunjes and Murdoch J. Gabbay},
journal= {arXiv preprint arXiv:2003.14271},
year = {2021}
}