@zksecurityXYZ discussed Greyhound, a lattice-based proof system, in blog, explaining its working principles and advantages. @zksecurityXYZ 在博客中讨论了Greyhound,一种基于格的证明系统,旨在抵抗量子计算机威胁,并详细解释了其工作原理和优势。
Notes
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