一种可更新的智能合约的动态验证方法
基本信息
| 申请号 | CN202110433470.7 | 申请日 | - |
| 公开（公告）号 | CN113191774A | 公开（公告）日 | 2021-07-30 |
| 申请公布号 | CN113191774A | 申请公布日 | 2021-07-30 |
| 分类号 | G06Q20/40;G06F8/41;G06F8/65 | 分类 | 计算；推算；计数; |
| 发明人 | 罗少龙;胥勇;柳发健 | 申请（专利权）人 | 深圳前海移联科技有限公司 |
| 代理机构 | 深圳市中融创智专利代理事务所（普通合伙） | 代理人 | 叶垚平 |
| 地址 | 518000 广东省深圳市前海深港合作区前湾一路1号A栋201室 | ||
| 法律状态 | - | ||
摘要
| 摘要 | 本发明公开了一种可更新的智能合约的动态验证方法。该可更新的智能合约的动态验证方法包括以下步骤，步骤S1：编译器接收一份智能合约源代码作为输入；步骤S2：编译器接收一份验证条件作为输入；步骤S3：编译器输出经修改后的安全智能合约。本发明的可更新的智能合约的动态验证方法具有准确率高、可大规模验证扩展等优点。 |
