适用于区块链扩容的高性能增量可验证计算方法

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