-
Patent Agency Ranking
公开(公告)号：CN118368048A
公开(公告)日：2024-07-19
申请号：CN202410250547.0
申请日：2024-03-05
Applicant: 北京微芯区块链与边缘计算研究院
Abstract: 本发明涉及全同态密文运算技术领域，尤其是指一种全同态密文运算方法、装置、设备及存储介质。本发明所述的全同态密文运算方法，结合全同态虚拟专用电路同态运算和全同态虚拟通用处理器同态运算两种技术路线，取优补短，以全同态虚拟专用电路为基础，在电路编译器将用户程序编译成专用电路网表后，采用逻辑门功能隐藏和连接关系隐藏实现对专用电路网表的功能隐藏，从而实现了用户程序隐藏；相对于全同态虚拟通用处理器减少了同态逻辑运算冗余，提升了运算性能。
-
公开(公告)号：CN117857053A
公开(公告)日：2024-04-09
申请号：CN202311750258.9
申请日：2023-12-19
Applicant: 北京微芯区块链与边缘计算研究院
Abstract: 本发明公开了一种选择器的构造方法、系统、设备及存储介质，方法包括：选择参数K作为选择器输出值数量N的开根次数；计算获取对N的K次开根的向上取整结果M；声明K·M个输入变量，标记变量，并对变量进行约束；通过K个变量的乘积计算出选择器的N个输出值。使用本发明方法构造选择器，能够减少变量的使用，降低电路规模，进而减少计算开销，有助于高效生成智能合约证明。
-
公开(公告)号：CN117519692A
公开(公告)日：2024-02-06
申请号：CN202311747181.X
申请日：2023-12-19
Applicant: 北京微芯区块链与边缘计算研究院
Abstract: 本发明公开了一种优化智能合约证明生成中查找表的方法和系统，包括：列出智能合约中的所有指令所需要的查找表操作，获取各个查找表操作的来源编码和去向编码；将来源编码中包含的所有等价编码进行归类，将等价编码按照唯一的编码方式进行替换；将去向编码中包含的所有等价编码进行归类，将等价编码按照唯一的编码方式进行替换；使替换后去向编码的排列顺序与替换后来源编码的排列顺序相对应；将同一类中的查找表操作合并成同一个查找表操作，并加入证明电路中。本发明针对智能合约中的不同指令所需要的查找表操作，按照查找表操作的来源和去向进行分类，合并相同类别里的查找表操作，进而减少查找表操作的次数，可以降低整体计算开销。
-
公开(公告)号：CN118174907A
公开(公告)日：2024-06-11
申请号：CN202410250550.2
申请日：2024-03-05
Applicant: 北京微芯区块链与边缘计算研究院
Abstract: 本公开提出一种隐私数据处理方法、装置及电子设备，方法包括：从数据提供方接收第一数据密文以及第二公钥，其中，第一数据密文是数据提供方利用第一公钥对目标隐私数据加密得到，并从可信执行环境的第一存储空间获取与第一公钥对应的第一私钥，并利用第一私钥对第一数据密文进行解密得到目标隐私数据，并将目标隐私数据存储至可信执行环境的第二存储空间，并利用预设的目标处理程序对第二存储空间中的目标隐私数据进行处理，以得到目标结果，以及利用第二公钥对目标结果进行加密得到第二数据密文，并将第二数据密文发送至数据接收方，能够分配双隐私区对密钥和隐私数据独立存储，从而提高隐私数据处理的安全性，提升隐私计算的效果。
-
公开(公告)号：CN117749386A
公开(公告)日：2024-03-22
申请号：CN202311748847.3
申请日：2023-12-19
Applicant: 北京微芯区块链与边缘计算研究院
Abstract: 本发明公开了一种降低智能合约证明生成电路规模的方法、系统及设备，该方法包括：根据智能合约中每个指令所需要的变量的数目，确定需要分布的行数N；将指令所需要的变量分布在N行中；依据指令的操作内容对变量进行约束；通过计数器CNT区分同一个指令的不同行，以及判断是否进入下一个指令；最后基于零知识证明算法对变量和约束进行计算，生成智能合约证明。本发明针对智能合约中的单个指令所需要的变量，在电路中将变量排布在多行中，进而减少变量的列数，有利于减少零知识证明电路的整体规模，进而降低计算开销，有助于提高智能合约证明生成的效率。
-
-
-
-
Search Results
5
records
(took 0.039 seconds)
