基本信息:
- 专利标题： 一种形式验证Solidity智能合约的方法
- 申请号：CN201811119763.2 申请日：2018-09-25
- 公开(公告)号：CN109375899B 公开(公告)日：2021-08-03
- 发明人： 张丁文 , 曹辉 , 梁秀波 , 邱炜伟 , 李伟 , 李启雷 , 尹可挺
- 申请人： 杭州趣链科技有限公司
- 申请人地址： 浙江省杭州市西湖区文三路199号13幢南楼501室
- 专利权人： 杭州趣链科技有限公司
- 当前专利权人： 杭州趣链科技有限公司
- 当前专利权人地址： 浙江省杭州市西湖区文三路199号13幢南楼501室
- 代理机构： 杭州求是专利事务所有限公司
- 代理人： 贾玉霞; 邱启旺
- 主分类号： G06F8/10
- IPC分类号： G06F8/10 ; G06F8/41 ; G06Q40/04
摘要：
本发明公开一种形式验证Solidity智能合约的方法，从Solidity智能合约中建立模型，使用Boogie语言对该模型进行描述，然后利用Z3证明器进行验证。本发明的方法设计了一套通用的智能合约模型规范语言，解决了Solidity智能合约和数学模型之间的转化问题，同时对于形式验证其他语言的智能合约也具有重要的参考价值；该方法帮助智能合约的开发者快速、全面、严谨地验证智能合约的功能，定位智能合约的漏洞，保证智能合约的安全。
公开/授权文献:
- CN109375899A 一种形式验证Solidity智能合约的方法 公开/授权日：2019-02-22