- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
(19)国家知识产权局
(12)发明专利申请
(10)申请公布号CN120281454A(43)申请公布日2025.07.08
(21)申请号202510211591.5
(22)申请日2019.03.15
(30)优先权数据
1804948.62018.03.27GB
(62)分案原申请数据
201980022664.92019.03.15
(71)申请人区块链控股有限公司地址安提瓜和巴布达圣约翰
(72)发明人亚历山德拉·科瓦奇
P·莫蒂林斯基S·马蒂奥S·文森特
(74)专利代理机构北京市竞天公诚律师事务所
11770
专利代理师孙磊徐民
(51)Int.CI.
HO4L9/00(2022.01)
HO4L9/32(2006.01)
HO4L9/06(2006.01)
HO3M7/30(2006.01)
HO3M7/40(2006.01)
GO6F9/38(2018.01)
GO6F9/30(2018.01)
权利要求书2页说明书19页附图7页
(54)发明名称
用于算术电路的串行化的计算机实现的系统和方法
(57)摘要
CN120281454A本文描述的技术可以用于对在计算机程序的执行中使用的算术电路进行串行化和反串行化。算术电路可以用于构建二次算术问题(QAP),该二次算术问题被编译成用于客户端和证明方的加密例程的集合。客户端和证明方可以利用协议以允许客户端有效地验证证明方正确执行程序的方式将程序的执行委托给证明方。算术电路可以包括符号(例如,算术门和值)的集合,其被压缩以生成包括代码的集合的串行化电路,其中,符号的集合可以以无损方式从代码的集合导出。串行化和反串行化技术可以被区块链网络的节点利
CN120281454A
头部主体主体
头部
主体主体
串行化/压缩反串行化/扩展
串行化电路
算术电路算术电路
录
CN120281454A权利要求书1/2页
2
1.一种计算机实现的方法,用于根据指令对压缩的算术电路进行重建,所述压缩的算术电路和所述指令通过串行化的位流提供,其中所述压缩的算术电路已通过以下方式进行压缩:
通过应用简化规则、从具有多个数据字段的算术电路创建串行化电路,所述简化规则包括移除所述数据字段的第一子集,其中,所述算术电路包括信息,所述信息包括线标识符的总数、所述算术电路的输入和输出的线标识符、门、以及所述门的输入和输出的线标识符,并且其中,所述数据字段的所述第一子集包括来自解压缩的算术电路的线标识符的第一子集,其中所述线标识符的所述第一子集能够从以下之一导出:
其余线标识符,
线标识符的总数;以及
通过熵编码方案对所述串行化电路进行编码;
所述的对所述算术电路进行重建的方法包括:
根据所述指令对所述压缩的算术电路进行解压缩,以确定所述串行化电路;以及根据所述指令对所述串行化电路进行反串行化,以确定所述算术电路。
2.根据权利要求1所述的方法,其中,所述算术电路包括由符号集合表示的信息,用于生成程序,其的执行被委托给区块链网络的一个或多个节点。
3.根据前述权利要求中的任一项所述的方法,其中,压缩的电路包括主体和头部,所述主体对电路的表示进行编码,所述头部包括以下的一个或更多个:版本号、线标识符的总数、位宽nbit、码本、或其任何组合。
4.根据从属于权利要求2的权利要求3,其中,所述指令包括用于将代码映射到符号集合的码本,其中所述码本是基于查询版本号而从多个码本中选择出的。
5.根据权利要求2至4中的任一项所述的方法,其中,所述熵编码方案的熵编码器以使得解码器能够检测符号代码在哪里开始和结束的方式来构建代码,从而根据所需的输入数量来将线标识符顺序分配给每个算术运算;其中,如果下一线是序列中的第i条线,并且下一运算符从流中的第j位开始,则所述方法包括:
以位置j的第一位,检测符号a;;
使用来自词典的信息,计算符号大小s(a);
计算符号a的输入线数量n(a);
存储带有代码a
您可能关注的文档
- CN120276907A 服务器故障根因分析方法、装置、电子设备及存储介质 (苏州元脑智能科技有限公司).docx
- CN120276908A 基于人工智能的运维日志事件关联分析方法及系统 (上海擎创信息技术有限公司).docx
- CN120277025A 一种计算节点、计算系统及控制方法、装置、设备、介质 (苏州元脑智能科技有限公司).docx
- CN120277083A 基于大语言智能体的数据库信息提取和数据分析方法及数据库智能分析平台 (上海浦东华宇信息技术有限公司).docx
- CN120277094A 结构化查询语言生成方法、装置及非易失性存储介质 (中国电信股份有限公司).docx
- CN120277180A 一种私有化ai问答方法、系统、设备及介质 (国能(绥中)发电有限责任公司).docx
- CN120277206A 基于知识图谱的检索增强生成方法、装置、设备及介质 (中电数据产业集团有限公司).docx
- CN120277223A 基于多模态大模型的动态向量知识库构建与检索方法 (南京迅集科技有限公司).docx
- CN120277307A 卷积运算方法、装置、电子设备和存储介质 (上海壁仞科技股份有限公司).docx
- CN120277367A 一种基于st-gcn-lstm盾构机掘进关键参数实时多步预测方法 (中铁十四局集团大盾构工程有限公司).docx
- 九年级数学上学期练习人教版at04-期未提分四 圆.pptx
- 九年级数学上学期练习人教版d01-22.1 二次函数的图象和性质-22.1.1 二次函数.pptx
- 九年级数学下册练习t2.5.2.1 切线的判定.pptx
- 九年级数学下册练习bd专项突破6 二次函数与几何图形的存在性问题.pptx
- 九年级数学上学期练习人教版cy11-22.2 二次函数与一元二次方程.pptx
- 九年级数学下册练习bg专项突破9 不规则图形面积的求法.pptx
- 九年级数学上学期练习人教版dd12-21.3 实际问题与一元二次方程-第3课时 几何图形问题.pptx
- 九年级数学上学期练习人教版ae03-24.1 圆的有关性质-24.1.3 弧、弦、圆心角.pptx
- 九年级数学上学期练习人教版ak04-21.2 解一元二次方程-21.2.2 公式法 (2).pptx
- 九年级数学上学期练习人教版bw07-23.2 中心对称-23.2.3 关于原点对称的点的坐标.pptx
原创力文档


文档评论(0)