在线留言 网站地图 百度蜘蛛
隐藏客服菜单
contact us

联系我们

区块链交易所开发 > 区块动态 > 区块链应用落地开发
区块链应用落地开发
编辑 :

安迪区块链交易所开发

时间 : 2020-12-14 16:21 浏览量 : 8

本发明涉及方式验证和智能合约安全的技能领域,详细涉及一种根据区块链存证智能合约的方式验证办法。



布景技能:


区块链是一种根据数据加密、时刻戳、分布式一致机制完成去中心化的分布式数据管理技能,具有可追溯、不行篡改、高可用的特色。智能合约作为一套以数字方式界说的许诺,许诺操控着数字财物并包含了合约参与者约定的权力和义务,由计算机体系自动履行。区块链技能的出现为智能合约供给了一套可以支撑可编程的数字体系。方式验证是目前智能合约安全审计计划中卓有成效的办法,其经过数学逻辑将功用描绘与实际代码进行比较,从而检查代码是否契合预期成果。存证智能合约作为常见的合约应用领域,经过方式验证审计其安全性是存证成果真实可信、可追溯的条件。可是目前智能合约开发社区并没有针对存证事务相应的安全标准,使得开发存证智能合约容易出现安全漏洞,需求一套针对存证智能合约的开发流程标准以及根据方式验证的存证智能合约模板,为存证智能合约的规划和开发供给安全方面的重要参阅。

43
技能完成要素:


针对现有技能的缺乏,本发明供给一种根据区块链存证智能合约的方式验证办法,该办法可提高存证智能合约的可靠性、稳定性和安全性。

本发明是经过以下技能计划完成的:一种根据区块链存证智能合约的方式验证办法,所述办法详细包含以下过程:

(1)编写存证智能合约,根据不同生产环境和权限进行存证、取证、存取证权限颁发。

(2)增加合约方式标准:将过程(1)所述存证智能合约增加用于标准描绘智能合约函数的反常、传入参数、传出参数、耐久化变量的状况转移、不变量的方式验证的标准语句。

(3)合约模型验证:对增加方式验证标准后的智能合约进行模型验证并得出验证成果,若契合所述方式验证标准则方式验证经过,若不契合所述方式验证标准则定位所述方式验证不满足的语句位置以及详细的存证证智能合约位置。

进一步地,过程(1)所述存证智能合约满足以下条件:

(a)存证人、取证人、管理员的数据结构:使用映射类型的耐久化变量来记载存证、取证人的身份信息,使用数组类型的耐久化变量来记载管理员的身份信息;

(b)存储存证信息的数据结构:使用多组映射类型的耐久化变量来记载契合多种存证方式下的存证信息;

(c)权限操控:使用修饰器对涉及所述存证、取证、存取证权限颁发的办法进行权限操控。

进一步地,过程(2)所述合约方式标准的增加包含:

(a)合约办法增加反常捕捉标准,包含:存证场景下标准要求发生反常的充沛必要条件是存证人没有存证资历且存证数据无效;取证场景下标准要求发生反常的充沛必要条件是取证人没有取证资历且取证令牌不存在;在发生反常的情况下,一切所述耐久化变量不能被改动。

(b)合约办法传入、传出参数的方式校验,标准要求对函数传入的参数进行格式校验,对函数传出的参数进行希望校验;

(c)合约办法对耐久化数据状况转移的标准阐明,标准要求在各种类型的存证办法中,清晰存证的映射类型耐久化变量得到存证数据的追加;在取证办法中,清晰一切的耐久化变量不被改动;在存取证权限颁发办法中,清晰存取证人信息表数据的改动。

进一步地,过程(3)所述合约模型验证是使用定理证明器对编写所述方式标准的智能合约进行定理证明,并给出方式验证的成果。

与现有技能相比,本发明的有利作用如下:本发明是根据区块链存证智能合约的方式验证办法,为区块链智能合约开发者供给了编写存证智能合约的流程和方式验证办法,为区块链搭载智能合约开发存证项目供给了安全方面的参阅。本办法经过方式验证的办法,在存证智能合约办法体前部界说方式标准,转化为定理证明器可以辨认的数学模型,使用数学推演得出方式验证成果,提高了存证智能合约的安全性和可靠性,降低了传统合约测验的测验成本,逻辑掩盖面广。本办法具有编写存证智能合约的通用性,供给了最基本的存证合约模型及其方式验证办法,为存证合约的扩展和优化供给了相关参阅,具有很好的适用性。

cache
Processed in 0.014032 Second.