玩转 LaBRADOR：利用递归构建紧凑的基于格的证明 LaBRADOR 是一种基于标准格假设的证明系统，通过递归技术实现了亚线性证明大小。它将 R1CS 约束转化为点积约束系统，利用 Ajtai 承诺和摊销开放减少通信开销。为了保证安全性，LaBRADOR 引入了外部承诺和分解技术来处理格密码中的短向量要求，并利用 Johnson-Lindenstrauss 引理高效验证向量范数。该系统具有线性证明者和验证者时间，是后量子密码学中哈希证明系统的有力替代方案。 格密码 M-SIS 递归证明 Ajtai承诺 点积约束 后量子加密 zksecurity 发布于 2025-11-14 193 0 0
