论文标题
Algorand智能合约的正式模型
A formal model of Algorand smart contracts
论文作者
论文摘要
我们开发了Algorand无状态智能合约（无状态ASC1）的正式模型。我们利用我们的模型来证明Algorand区块链的基本属性，并确定某些原型智能合约的安全性。在这样做的过程中，我们重点介绍了Algorand支持的各种设计模式。我们执行实验以验证正式模型W.R.T.的相干性。实际实施。
We develop a formal model of Algorand stateless smart contracts (stateless ASC1.) We exploit our model to prove fundamental properties of the Algorand blockchain, and to establish the security of some archetypal smart contracts. While doing this, we highlight various design patterns supported by Algorand. We perform experiments to validate the coherence of our formal model w.r.t. the actual implementation.
