论文标题
UTXO-基于帐户的智能合同区块链编程范例
UTxO- vs account-based smart contract blockchain programming paradigms
论文作者
论文摘要
我们实施了两个简单但说明性的智能合约的版本：一个在以太坊区块链平台上坚固，一个在Cardano平台上的plutus中，带有带注释的代码摘录，并附上源代码。我们通过引入一种新型的数学抽象来更清楚地了解Cardano编程模型，我们称之为理想化的Eutxo。对于合同的每个版本，我们追踪基础平台及其数学的体系结构如何影响自然编程风格和自然类别的错误类别。我们证明了一些简单但新颖的结果，这些结果涉及Cardano的α转换和观察等效性，并解释了为什么以太坊没有它们。迄今为止，我们以示例，数学模型和数学结果的方式进行了广泛而详细的讨论。
We implement two versions of a simple but illustrative smart contract: one in Solidity on the Ethereum blockchain platform, and one in Plutus on the Cardano platform, with annotated code excerpts and with source code attached. We get a clearer view of the Cardano programming model in particular by introducing a novel mathematical abstraction which we call Idealised EUTxO. For each version of the contract, we trace how the architectures of the underlying platforms and their mathematics affects the natural programming styles and natural classes of errors. We prove some simple but novel results about alpha-conversion and observational equivalence for Cardano, and explain why Ethereum does not have them. We conclude with a wide-ranging and detailed discussion in the light of the examples, mathematical model, and mathematical results so far.
