[发明专利]一种投票智能合约的形式验证方法有效
| 申请号： | 201911088334.8 | 申请日： | 2019-11-08 |
| 公开（公告）号： | CN110929295B | 公开（公告）日： | 2021-11-05 |
| 发明（设计）人： | 邱炜伟;李伟;李启雷;梁秀波;尹可挺;张丁文 | 申请（专利权）人： | 杭州趣链科技有限公司 |
| 主分类号： | G06F21/64 | 分类号： | G06F21/64;G06Q40/04 |
| 代理公司： | 杭州求是专利事务所有限公司 33200 | 代理人： | 邱启旺 |
| 地址： | 310051 浙江省杭州市*** | 国省代码： | 浙江;33 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种投票智能合约的形式验证方法。本发明设计了针对投票智能合约的形式验证规范接口，设计并实现了基于形式验证的投票智能合约模板。本发明的价值在于设计了一套通用的投票流程相关的智能合约形式验证方法，对投票智能合约的开发提供了形式验证上的一种安全标准和重要参考。本方法基于软件形式化验证方法进行实现，基于投票业务设计并建立了安全的形式规范，并转化为可形式验证的数学模型，从而提高投票智能合约的安全性。本发明的方法具有通用性，对于投票相关的智能合约都可以使用本方法进行开发和安全审计，对于投票一类业务系统而言，可以很好的适用。 | ||
| 搜索关键词： | 一种 投票 智能 合约 形式 验证 方法 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于杭州趣链科技有限公司，未经杭州趣链科技有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201911088334.8/，转载请声明来源钻瓜专利网。
- 上一篇：一种泡绵接合机
- 下一篇：一种不含有机氯的杀菌剂生产工艺
