首页> 中国专利> 一种适用于组合交易的智能合约形式化验证方法及系统

一种适用于组合交易的智能合约形式化验证方法及系统

页面导航

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

摘要

本发明公布了一种适用于组合交易的智能合约形式化验证方法，组合交易是指场景中包含多笔交易或者一笔交易涉及多个合约的情形；其特征是，基于区块链以太坊智能合约源代码添加合约约束，包括组合交易场景中的跨函数和跨合约约束，再将添加合约约束后的源代码转换为中间验证语言中相对应的类型、语句、表达式和约束，之后通过验证器自动地对中间验证语言文件进行形式化验证，保障智能合约安全性。采用本发明技术方案，能够支持跨函数和跨合约约束功能的验证，能够在多交易场景下验证合约功能，满足实际应用需要，有效保证智能合约安全。

著录项

公开/公告号CN114047928B

专利类型发明专利
公开/公告日2022-03-15

原文格式PDF
申请/专利权人北京大学;博雅正链(北京)科技有限公司;
展开▼

申请/专利号CN202210029440.4
发明设计人陈钟;关志;李青山;董宇;李悦;崔冬琪;陈子明;
展开▼

申请日2022-01-12
分类号G06F8/51(20180101);G06Q20/38(20120101);G06Q40/04(20120101);
代理机构11360 北京万象新悦知识产权代理有限公司;
代理人黄凤茹
地址 100871 北京市海淀区颐和园路5号
入库时间 2022-08-23 13:15:26

法律信息

法律状态公告日

法律状态信息

法律状态
2022-02-15

公开

发明专利申请公布

相似文献

专利
中文文献
外文文献

1. 一种适用于组合交易的智能合约形式化验证方法及系统 [P] . 中国专利： CN114047928A . 2022-02-15
2. 一种适用于形式化验证的智能合约编译方法 [P] . 中国专利： CN109753288B . 2022.02.15
3. 基于智能合约的收款方法、系统及可读存储介质 [P] . 世界知识产权组织专利： WO2020/143378A1 . 2020.07.16
4. 一种责任评估的智能控制管理系统及方法 [P] . 世界知识产权组织专利： WO2020/143067A1 . 2020.07.16
5. 在虚拟场景中组合模型的方法、系统、设备和介质 [P] . 世界知识产权组织专利： WO2020/143250A1 . 2020.07.16