NotesNotes要点

• Greyhound is the first efficient lattice-based PCS, with proof sizes around 50KB
• Based on Ajtai commitment and M-SIS problem, linear prover and sublinear verifier
• Optimized through matrix partitioning and basis decomposition, compatible with existing PCS
• Combined with LaBRADOR compression, achieving logarithmic proof size and sublinear verification
• Designed for the post-quantum era
• Already has Rust implementation (LattiRust) and hardware library ICICLE support

• Greyhound 是首个高效的格基 PCS，证明大小约 50KB
• 基于 Ajtai 承诺和 M-SIS 问题，线性证明者和亚线性验证者
• 通过矩阵分块和基分解技术优化，与现有 PCS 兼容
• 结合 LaBRADOR 压缩，实现对数级证明大小和次线性验证
• 专为后量子时代设计
• 已有 Rust 实现（LattiRust）和硬件库 ICICLE 支持

• Greyhoundは、証明サイズが約50KBの効率的な格子ベースのPCS（可説得性ゼロ知識証明）です。
• Ajtai commitmentとM-SIS問題に基づき、線形なproverと準線形なverifierを実現しています。
• 行列分割と基底分解により最適化されており、既存のPCSとの互換性を持ちます。
• LaBRADOR圧縮と組み合わせることで、対数的な証明サイズと準線形検証を達成します。
• ポスト量子時代のために設計されています。
• すでにRust実装（LattiRust）およびハードウェアライブラリICICLEのサポートがあります。