专利名称:区块链智能合约的逻辑验证方法和装置及计算机存
储介质
专利类型:发明专利
发明人:皮冰锋,华松,周恩策,孙俊申请号:CN201710978144.8申请日:20171018公开号:CN1096841A公开日:20190426
摘要:本发明涉及区块链智能合约的逻辑验证方法和装置及计算机存储介质。该方法包括:对区块链应用的智能合约集合进行解析来生成关系图谱,关系图谱包括智能合约集合中的所有公共函数、变量以及它们之间的调用关系;基于关系图谱构造多种类型的逻辑链;在模拟的区块链网络上对所构造的逻辑链进行仿真;以及记录仿真的执行日志,来验证智能合约集合的逻辑正确性。根据本发明的方法和装置可以收集并分析智能合约的函数执行日志,以便发现逻辑错误。
申请人:富士通株式会社
地址:日本神奈川县
国籍:JP
代理机构:北京集佳知识产权代理有限公司
更多信息请下载全文后查看
因篇幅问题不能全部显示,请点此查看更多更全内容
Copyright © 2019- ryyc.cn 版权所有 湘ICP备2023022495号-3
违法及侵权请联系:TEL:199 1889 7713 E-MAIL:2724546146@qq.com
本站由北京市万商天勤律师事务所王兴未律师提供法律服务