用于算术电路的串行化的计算机实现的系统和方法技术方案

技术编号:26309432 阅读:83 留言:0更新日期:2020-11-10 20:14
本文描述的技术可以用于对在计算机程序的执行中使用的算术电路进行串行化和反串行化。算术电路可以用于构建二次算术问题(QAP),该二次算术问题被编译成用于客户端和证明方的加密例程的集合。客户端和证明方可以利用协议以允许客户端有效地验证证明方正确执行程序的方式将程序的执行委托给证明方。算术电路可以包括符号(例如,算术门和值)的集合,其被压缩以生成包括代码的集合的串行化电路,其中,符号的集合可以以无损方式从代码的集合导出。串行化和反串行化技术可以被区块链网络的节点利用。

【技术实现步骤摘要】
【国外来华专利技术】用于算术电路的串行化的计算机实现的系统和方法
本专利技术总体上涉及用于减少算术电路使用的数据占用空间的技术(例如,当存储在磁盘上或存储在存储器中时),更具体地讲,涉及通过利用本文描述的压缩技术从算术服务生成串行化电路的技术。可以以无损方式压缩算术电路以生成串行化电路,所述串行化电路可以在稍后的时间点用于完美地重新生成原始电路。算术电路可以用于生成程序,所述程序的执行可以被委托给分布式计算环境的一个或更多个节点。可以使用协议来确保程序的正确执行,其中,第一计算机系统将程序的执行委托给第二计算机系统。本专利技术特别适于但不限于用于区块链网络中。
技术介绍
在本文中,我们使用术语“区块链”以包括所有形式的电子的、基于计算机的分布式账本。这些包括基于共识的区块链和交易链技术、许可和未许可的账本、共享账本及其变体。区块链技术的最广为人知的应用是比特币账本,尽管已经提出并开发了其他区块链实施。尽管比特币可以在本文中仅出于方便和说明的目的而被提及,但是应当注意,本专利技术不限于与比特币区块链一起使用,并且替代的区块链实施和协议落入本专利技术的范围内。术语“比本文档来自技高网...

【技术保护点】
1.一种计算机实现的方法,包括:/n至少通过以下步骤减少算术电路的数据占用空间:/n去除与算术电路相关联的数据字段的集合中的数据字段的第一子集,其中,数据字段的第一子集能从数据字段的集合中的数据字段的第二子集获得,第一子集与第二子集是不相交的集合;和/n将熵编码方案应用于第二子集以生成压缩的算术电路;以及/n使压缩的算术电路被存储。/n

【技术特征摘要】
【国外来华专利技术】20180327 GB 1804948.61.一种计算机实现的方法,包括:
至少通过以下步骤减少算术电路的数据占用空间:
去除与算术电路相关联的数据字段的集合中的数据字段的第一子集,其中,数据字段的第一子集能从数据字段的集合中的数据字段的第二子集获得,第一子集与第二子集是不相交的集合;和
将熵编码方案应用于第二子集以生成压缩的算术电路;以及
使压缩的算术电路被存储。


2.根据权利要求1所述的计算机实现的方法,其中,数据字段的第一子集包括算术电路的输入的集合的标识符,第二子集包括输入的集合的基数。


3.根据权利要求1或2所述的计算机实现的方法,其中,数据字段的第一子集包括算术电路的门输出的集合的标识符。


4.根据权利要求1至3中的任一项所述的计算机实现的方法,其中:
第二子集包括门的集合;以及
第一子集包括门的集合中的第一个门的第一个输入。


5.根据权利要求1至4中的任一项所述的计算机实现的方法,其中:
第二子集包括门的集合;以及
第一子集包括门的集合中的最后一个门的最后一个输出。


6.根据权利要求1至5中的任一项所述的计算机实现的方法,其中,将熵编码方案应用于第二子集包括:
从第二子集中确定符号的集合;以及
将对应的代码分配给符号的集合中的每个符号。


7.根据权利要求6所述的计算机实现的方...

【专利技术属性】
技术研发人员:亚历山德拉·科瓦奇P·莫蒂林斯基S·马蒂奥S·文森特
申请(专利权)人:区块链控股有限公司
类型:发明
国别省市:安提瓜和巴布达;AG

网友询问留言 已有0条评论
  • 还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。

1