Add signing hooks for observing signature attempts and implementing restartable signing#1237

Merged

mkannwischer merged 9 commits into

mainfrom

Jul 14, 2026

Commits on Jul 14, 2026

refactor: Introduce MLD_MAX_KAPPA and use it consistently
hanno-becker
committed
refactor: Add MLD_CONTEXT_UNUSED helper for unused context parameters
hanno-becker
committed
sign: Make MLD_MAX_SIGNING_ATTEMPTS the effective attempt bound
hanno-becker
committed
sign: Add configurable signing hooks (resume/attempt/finish)
hanno-becker
committed
doc: Add README FAQ entry on bounding/restarting the signing loop
hanno-becker
committed
proofs: Add CBMC harnesses for the signing hooks
hanno-becker
committed
test: Add test_sign_hook exercising the signing hooks
hanno-becker
committed
autogen: Regenerate configs for the signing hooks
hanno-becker
committed
Examples: Add example for restartable signing via signing hooks
hanno-becker
committed