Tag: lattice-based-proofs
All the articles with the tag "lattice-based-proofs".
-
验证者只做「开方」的工作：Crypto 2026 的 Orthus 把格证明批量验证做到次线性
IBM 苏黎世团队在 CRYPTO 2026 提出 Orthus：首个为格构造原生关系设计的次线性验证证明系统，把见证排成 k×k 矩阵、用挑战压缩把验证降到平方根级；聚合 2^17 个 Falcon 签名时验证从 63 秒降到 7 秒，证明大小约 100KB。