[发明专利]用于简化可执行指令以优化可验证计算的系统在审
申请号: | 201880072678.7 | 申请日: | 2018-10-29 |
公开(公告)号: | CN111345004A | 公开(公告)日: | 2020-06-26 |
发明(设计)人: | 亚历山卓·科瓦奇;西蒙娜·马代奥;帕特里克·莫蒂林斯基;史蒂芬·文森特 | 申请(专利权)人: | 区块链控股有限公司 |
主分类号: | H04L29/06 | 分类号: | H04L29/06;H04L9/32;H04L9/08;G06Q40/04 |
代理公司: | 上海晨皓知识产权代理事务所(普通合伙) 31260 | 代理人: | 成丽杰 |
地址: | 安提瓜和巴*** | 国省代码: | 暂无信息 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 本发明涉及分布式分类账技术,例如基于共识的区块链。描述了用于简化从智能合约导出的算术电路的计算机实现的方法。使用区块链网络来实现本发明,例如,区块链网络可以是比特币区块链。获得用第一编程语言编码的条件集合。将该条件集合转换为用第二编程语言编码的编程条件集合。将该编程条件集合预编译为预编译的程序代码。将该预编译的程序代码转换为算术电路。对该算术电路进行简化,形成简化的算术电路,并存储该简化的算术电路。 | ||
搜索关键词: | 用于 简化 可执行 指令 优化 验证 计算 系统 | ||
【主权项】:
暂无信息
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于区块链控股有限公司,未经区块链控股有限公司许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/201880072678.7/,转载请声明来源钻瓜专利网。
- 上一篇:用于厨房用具的温度限制或调节装置
- 下一篇:发动机发电机