基于定理证明的智能合约形式化验证方法.pdf
文本预览下载声明
摘要
区块链技术经过短暂的研发并崛起时期以来，渐渐成为了互联网的新型技术，
并为各个科技领域带来了启迪思想与应用扩展，其核心技术一直都是网络安全的
研究热点。近些年，其科技研究与应用开发均得到了充分挖掘，众多科技公司和
研究部门也纷纷研发并搭建起属于自己的区块链网络，并投入开发使用。
智能合约被看作区块链技术中最有价值、最具开发潜力的分支之一。其存在
的安全隐患问题一直都是研究热点，其不可篡改性引发不同种类的安全漏洞，进
而导致不可估量的资源流失和经济损失。智能合约开发流程中亟需验证方法来确
显示全部