本文扩展了 Liu、Baek 和 Susilo 提出的可撤销签名（withdrawable signatures）概念，将其推广到 Fiat-Shamir with aborts 范式。作者首先给出了一个抽象的构造方案，并提供了完整的安全证明。作为实例化，论文基于无提示（no-hint）、全尺寸 Dilithium 风格的 Fiat-Shamir with aborts 构造，设计了一个具体的可撤销签名方案；当适配生产级 ML-DSA（带提示）时，会引入一个小的 epsilon 项。该研究为后量子签名方案的密钥撤销管理提供了理论支持，但仅限于 abstract 中的描述，缺乏实验验证。