公开(公告)号：CN119865303A

公开(公告)日：2025-04-22

申请号：CN202510057722.9

申请日：2025-01-14

Applicant: 北京航空航天大学 ,  北京微芯区块链与边缘计算研究院

Inventor： 张宗洋 ,  周子博 ,  闫轩岗 ,  郑博闻 ,  刘贯恒 ,  王晓晨 ,  朱煦然 ,  董进 ,  任常锐

IPC: H04L9/00 ,  H04L9/32 ,  H04L9/06

Abstract: 本发明涉及信息安全技术领域，公开了适用于区块链扩容的高性能增量可验证计算方法，能够解决PCD方案中递归开销过高和难以支持高阶约束的问题。该方法包括：由证明者和验证者共同定义一个增广电路，表达拟证明的计算和为了实现增量可验证而需的递归操作；增广电路用于：执行证明者的本地计算即证明算法，执行递归操作，递归操作包括哈希运算和多重折叠方案的验证算法；证明算法包括以下步骤1‑5中分别所述的解析证明、多重折叠、哈希压缩、执行电路、输出证明；验证算法包括以下步骤6‑9所述的解析证明、验证哈希、验证实例见证对、输出验证结果。

公开(公告)号：CN113643029A

公开(公告)日：2021-11-12

申请号：CN202110922775.4

申请日：2021-08-12

Applicant: 北京航空航天大学

Inventor： 张宗洋 ,  周子博 ,  李威翰 ,  邓煌昊 ,  陶虹宇 ,  李天宇 ,  刘建伟

IPC: G06Q20/38 ,  G06Q20/40 ,  G06Q40/04 ,  H04L9/06 ,  H04L9/32

Abstract: 本发明公开了一种内积论证构造方法及装置，其中，方法包括：承诺步骤：接收证明者利用私有证据作初始运算得到的第一运算结果；挑战步骤：基于第一运算结果，选择一个随机挑战，并将随机挑战发送至证明者；响应步骤：接收证明者利用随机挑战作若干运算得到的第二运算结果；验证步骤：基于公开陈述，利用第一运算结果、第二运算结果和随机挑战进行验证，以选择接受或拒绝证明者的陈述。该方法可以进一步降低第一类内积论证的通信复杂度和验证复杂度，以提高调用该论证的零知识证明协议的性能，如范围证明协议、算术电路可满足性论证协议及可验证多项式承诺方案等，进而增强零知识证明与其应用的性能适配性。