本文介绍了基于格的证明系统，并重点解释了最有前途的解决方案Greyhound的工作原理。Greyhound是一种多项式承诺方案（PCS），它依赖于模块短整数解（M-SIS）问题，该问题被认为是量子计算机也难以解决的。文章还讨论了如何将Greyhound整合到LaBRADOR中，以实现更小的证明尺寸和亚线性验证时间。
zksecurity