🤖 AI Summary
This work introduces revocability into the Fiat-Shamir with aborts paradigm for the first time, addressing the need for users to retract signatures under specific conditions in post-quantum signature schemes. We present a generic construction that realizes revocable signatures within a Dilithium-style framework under the no-hint, full-t parameter setting, accompanied by a rigorous security proof. Furthermore, we analyze the minor ε error introduced when extending our approach to hint-based ML-DSA variants. The proposed scheme formally supports controlled signature revocation while preserving post-quantum security, thereby filling a critical gap in existing Fiat-Shamir with aborts frameworks, which previously lacked mechanisms for revocability.
📝 Abstract
This article presents an extension of the work performed by Liu, Baek and Susilo on withdrawable signatures to the Fiat-Shamir with aborts paradigm. We introduce an abstract construction, and provide security proofs for this proposal. As an instantiation, we provide a concrete withdrawable signature scheme based on a no-hint, full-t Dilithium-style Fiat-Shamir with aborts construction; adapting to production ML-DSA (with hints) introduces a small epsilon term.