[发明专利]一种跨链智能合约的形式验证方法在审
| 申请号： | 202310463101.1 | 申请日： | 2023-04-26 |
| 公开（公告）号： | CN116402613A | 公开（公告）日： | 2023-07-07 |
| 发明（设计）人： | 李双玖;程学林;王强 | 申请（专利权）人： | 浙江大学 |
| 主分类号： | G06Q40/04 | 分类号： | G06Q40/04;G06F21/57;G06F21/44;G06F16/27 |
| 代理公司： | 杭州求是专利事务所有限公司 33200 | 代理人： | 贾玉霞 |
| 地址： | 310058 浙江*** | 国省代码： | 浙江;33 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开一种跨链智能合约的形式验证方法，基于形式化验证方法实现，依据跨链智能合约的业务和已有漏洞，设计并建立了安全的形式化验证规范，转化成可形式化验证的数学逻辑表达式；还描述了验证的具体步骤，解析字节码构建流程控制图，生成符号化路径，使用SMT求解器Z3进行规范证明，从而提高跨链合约的安全性。 | ||
| 搜索关键词： | 一种 智能 合约 形式 验证 方法 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于浙江大学，未经浙江大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202310463101.1/，转载请声明来源钻瓜专利网。
- 上一篇：一种巷道防冲支架柔性顶梁
- 下一篇：一种电动脚托
