4.2.2 基于“Fiat-Shamir with Aborts”的签名 (Lyubashe...

文档摘要

4.2.2 基于“Fiat-Shamir with Aborts”的签名 (Lyubashevsky 框架) 在密码学的星图中，若将数字签名比作一座座灯塔，那么基于格的签名方案无疑是近年最耀眼的那几束光——它们不仅照亮了后量子时代的航路，更以惊人的效率与简洁性，重新定义了“可证明安全”与“工程可行”之间的边界。而在这片光芒之中，Lyubashevsky 于2012年提出的 Fiat-Shamir with Aborts（FSwA）框架，恰如一座精密运转的钟表：没有复杂的零知识模拟器，不依赖可信设置，不引入随机预言机之外的额外假设；它仅凭一次“优雅的放弃”（abort），就将交互式Sigma协议稳稳锚定在非交互式签名的现实土壤上。