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.
翻译：我们开发了一个正式的阿尔戈兰和无国籍的智能合同模式(无国家ASC1)。 我们利用我们的模型来证明阿尔戈兰区块的基本特性,并确立一些古老的智能合同的安全性。 在这样做的同时,我们强调了阿尔戈兰支持的各种设计模式。我们进行了实验,以验证我们正式模型与实际执行的一致性。
相关内容
ACM/IEEE第23届模型驱动工程语言和系统国际会议，是模型驱动软件和系统工程的首要会议系列，由ACM-SIGSOFT和IEEE-TCSE支持组织。自1998年以来，模型涵盖了建模的各个方面，从语言和方法到工具和应用程序。模特的参加者来自不同的背景，包括研究人员、学者、工程师和工业专业人士。MODELS 2019是一个论坛，参与者可以围绕建模和模型驱动的软件和系统交流前沿研究成果和创新实践经验。今年的版本将为建模社区提供进一步推进建模基础的机会，并在网络物理系统、嵌入式系统、社会技术系统、云计算、大数据、机器学习、安全、开源等新兴领域提出建模的创新应用以及可持续性。
官网链接：http://www.modelsconference.org/
Arxiv
0+阅读 · 2021年3月16日
Arxiv
3+阅读 · 2018年10月9日
Arxiv
5+阅读 · 2018年7月23日
相关VIP内容
相关资讯
相关论文
Arxiv
0+阅读 · 2021年3月16日
Arxiv
3+阅读 · 2018年10月9日
Arxiv
5+阅读 · 2018年7月23日
微信扫码咨询专知VIP会员