申请/专利权人：北京微芯区块链与边缘计算研究院

申请日：2023-12-19

公开（公告）日：2024-03-22

公开（公告）号：CN117749386A

主分类号：H04L9/32

分类号：H04L9/32;H04L9/00

优先权：

专利状态码：在审-实质审查的生效

法律状态：2024.04.09#实质审查的生效;2024.03.22#公开

摘要：本发明公开了一种降低智能合约证明生成电路规模的方法、系统及设备，该方法包括：根据智能合约中每个指令所需要的变量的数目，确定需要分布的行数N；将指令所需要的变量分布在N行中；依据指令的操作内容对变量进行约束；通过计数器CNT区分同一个指令的不同行，以及判断是否进入下一个指令；最后基于零知识证明算法对变量和约束进行计算，生成智能合约证明。本发明针对智能合约中的单个指令所需要的变量，在电路中将变量排布在多行中，进而减少变量的列数，有利于减少零知识证明电路的整体规模，进而降低计算开销，有助于提高智能合约证明生成的效率。

主权项：1.一种降低智能合约证明生成电路规模的方法，其特征在于，该方法包括：根据智能合约中每个指令所需要的变量的数目，确定需要分布的行数N；将指令所需要的变量分布在N行中；依据指令的操作内容对变量进行约束；通过计数器CNT区分同一个指令的不同行，以及判断是否进入下一个指令；基于零知识证明算法对所述变量和约束进行计算，生成智能合约证明。

全文数据：

权利要求：

百度查询： 北京微芯区块链与边缘计算研究院 一种降低智能合约证明生成电路规模的方法、系统及设备

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。

阅读全文 双屏查看 官方信息 专利公告 收藏专利 下载PDF 下载WORD