公开(公告)号：CN119865303A

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

申请号：CN202510057722.9

申请日：2025-01-14

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

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

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

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