Orthus 格证明系统实现亚线性批量验证

内容摘要

多位作者在 IACR ePrint 发布预印本 Orthus，一种针对格构造中自然出现的关系、具有亚线性验证时间的零知识证明系统，验证时间渐近上随见证大小的平方根增长。针对聚合 Falcon 签名的具体实现，作者称在聚合 2 的 17 次方个签名时验证器运行时间降至约九分之一。背景是以太坊基金会 2025 年的一项比较显示基于格的简洁证明在证明大小和证明时间上有优势，但验证时间慢约一个数量级，被视为采用的主要障碍。该论文为预印本，未经同行评审。