首页> 中国专利> 一种场外交易智能合约的形式验证方法

一种场外交易智能合约的形式验证方法

页面导航

摘要
著录项
法律信息
相似文献

摘要

本发明公开了一种场外交易智能合约的形式验证方法，涉及智能合约和形式验证的技术领域。该方法主要包括定义场外交易智能合约、定义形式验证规范与形式验证过程。本发明所公开的的场外交易智能合约的形式验证方法，提供了一套通用的场外交易流程相关的智能合约形式验证模型，为场外交易智能合约相关业务提供了一套安全形式化验证的标准。本方法基于软件形式化验证方法进行设计，在合约设计上面提高场外交易智能合约的安全性。本发明的形式化验证方法具有通用性，对于场外交易相关的智能合约都可以使用本方法进行开发和安全审计，对于场外交易一类业务系统而言，可以很好的适用。

著录项

公开/公告号CN110533533A

专利类型发明专利
公开/公告日2019-12-03

原文格式PDF
申请/专利权人杭州趣链科技有限公司;
展开▼

申请/专利号CN201910772367.8
发明设计人邱炜伟;李伟;李启雷;梁秀波;尹可挺;吕端坤;
展开▼

申请日2019-08-21
分类号G06Q40/04(20120101);
代理机构33200 杭州求是专利事务所有限公司;
代理人邱启旺
地址 310051 浙江省杭州市滨江区丹枫路399号2号楼A楼2001室
入库时间 2024-02-19 16:20:36

法律信息

法律状态公告日

法律状态信息

法律状态
2019-12-27

实质审查的生效 IPC(主分类):G06Q40/04 申请日:20190821

实质审查的生效
2019-12-03

公开

公开

相似文献

专利
中文文献
外文文献

1. 一种场外交易智能合约的形式验证方法 [P] . 中国专利： CN110533533A . 2019-12-03
2. 一种基于区块链存证智能合约的形式验证方法 [P] . 中国专利： CN110555320B . 2021.03.23
3. Blockchain smart contract verification method, device and storage medium [P] . 韩国专利： KR20200095540A . 2020-08-10

机译：区块链智能合约验证方法，装置及存储介质
4. SIGNATURE VERIFICATION METHOD AND SYSTEM BASED ON BLOCKCHAIN SMART CONTRACT [P] . 世界知识产权组织专利： WO2020119380A1 . 2020-06-18

机译：基于区块链智能合约的签名验证方法及系统
5. BLOCKCHAIN SMART CONTRACT VERIFICATION METHOD AND APPARATUS, AND STORAGE MEDIUM [P] . 世界知识产权组织专利： WO2020057196A1 . 2020-03-26

机译：区块链智能合约验证方法和装置以及存储介质