Withdrawability in Fiat-Shamir with aborts constructions

Ramses Fernandez-Valencia

Withdrawability in Fiat-Shamir with aborts constructions

Cryptography and Security 2026-07-07 v1

Authors: Ramses Fernandez-Valencia

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.

Keywords

withdrawable signatures Fiat-Shamir with aborts Dilithium ML-DSA security proofs lattice-based cryptography

Cite

@article{arxiv.2607.05831,
  title  = {Withdrawability in Fiat-Shamir with aborts constructions},
  author = {Ramses Fernandez-Valencia},
  journal= {arXiv preprint arXiv:2607.05831},
  year   = {2026}
}