Algorand智能合约的形式化模型
密码学与安全
2021-01-27 v3
摘要
我们开发了Algorand无状态智能合约(无状态ASC1)的形式化模型。我们利用该模型证明Algorand区块链的基本属性，并确立若干原型智能合约的安全性。在此过程中，我们强调了Algorand所支持的多种设计模式。我们进行了实验以验证我们的形式化模型相对于实际实现的一致性。
引用
@article{arxiv.2009.12140,
title = {A formal model of Algorand smart contracts},
author = {Massimo Bartoletti and Andrea Bracciali and Cristian Lepore and Alceste Scalas and Roberto Zunino},
journal= {arXiv preprint arXiv:2009.12140},
year = {2021}
}