[发明专利]一种基于区块链存证智能合约的形式验证方法有效
| 申请号： | 201910772491.4 | 申请日： | 2019-08-21 |
| 公开（公告）号： | CN110555320B | 公开（公告）日： | 2021-03-23 |
| 发明（设计）人： | 邱炜伟;李伟;李启雷;梁秀波;尹可挺;周健 | 申请（专利权）人： | 杭州趣链科技有限公司 |
| 主分类号： | G06F21/64 | 分类号： | G06F21/64;G06Q40/04 |
| 代理公司： | 杭州求是专利事务所有限公司 33200 | 代理人： | 邱启旺 |
| 地址： | 310051 浙江省杭州市*** | 国省代码： | 浙江;33 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种基于区块链存证智能合约的形式验证方法，该方法包括编写存证智能合约、添加合约形式规范并进行合约模型验证。该方法为区块链智能合约开发者提供了编写存证智能合约的流程和形式验证方法，为区块链搭载智能合约开发存证项目提供了安全方面的参考。本方法通过形式验证的方法，在存证智能合约方法体前部定义形式规范，转化为定理证明器能够识别的数学模型，利用数学推演得出形式验证结果，提高了存证智能合约的安全性和可靠性，降低了传统合约测试的测试成本，逻辑覆盖面广。本方法具有编写存证智能合约的通用性，提供了最基本的存证合约模型及其形式验证方法，为存证合约的扩展和优化提供了相关参考，具有很好的适用性。 | ||
| 搜索关键词： | 一种 基于 区块 链存证 智能 合约 形式 验证 方法 | ||
【主权项】：
1.一种基于区块链存证智能合约的形式验证方法，其特征在于，所述方法具体包括以下步骤：/n(1)编写存证智能合约，根据不同生产环境和权限进行存证、取证、存取证权限授予。/n(2)添加合约形式规范：将步骤(1)所述存证智能合约添加用于规范描述智能合约函数的异常、传入参数、传出参数、持久化变量的状态转移、不变量的形式验证的规范语句。/n(3)合约模型验证：对添加形式验证规范后的智能合约进行模型验证并得出验证结果，若符合所述形式验证规范则形式验证通过，若不符合所述形式验证规范则定位所述形式验证不满足的语句位置以及具体的存证证智能合约位置。/n
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于杭州趣链科技有限公司，未经杭州趣链科技有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201910772491.4/，转载请声明来源钻瓜专利网。
