首页/ 上海致居信息科技有限公司/ 专利详情

电路合成方法、设备、介质和数据存储证明系统

基本信息

申请号 CN202010830354.4 申请日 -
公开（公告）号 CN112632888A 公开（公告）日 2021-04-09
申请公布号 CN112632888A 申请公布日 2021-04-09
分类号 G06F30/337 分类 计算；推算；计数;
发明人 李星;夏坤贤;张守恒 申请（专利权）人 上海致居信息科技有限公司
代理机构 上海上谷知识产权代理有限公司 代理人 张平
地址 201206 上海市浦东新区金高路310号5层
法律状态 -

摘要

摘要 本发明提供了一种用于零知识证明的电路合成方法、设备、计算机存储介质和数据存储证明系统。该方法包括，由进行零知识证明的证明单元：基于待证明数据的逻辑电路为所述待证明数据产生一个父约束系统；将所述父约束系统发送给多个处理单元；接收所述多个处理单元并行产生的多个不同的一阶约束系统分量，其中每个一阶约束系统分量包括所述父约束系统和一个子约束系统，所述子约束系统基于所述父约束系统得到；对所述多个不同的一阶约束系统分量进行合并以获得所述一阶约束系统；以及基于所述一阶约束系统构造针对所述待证明数据的零知识证明。