Module ceremony 

Ceremony records (SIGNATIF §17).

Every threshold ceremony — DKG, re-share, signing, revocation — produces a verifiable CeremonyTranscript: the participants with their contribution proofs, the quorum parameters, the canonical payload hash signed, the aggregate threshold signature produced, and a timestamp. Each participant signs the transcript attesting their participation. The ceremony_audit algorithm verifies every member signature, the aggregate signature, the T-of-N participation, the transparency-log cross-reference, and timestamp consistency.

Structs

CeremonyTranscript

A verifiable record of one threshold ceremony.

Participant

One participant’s contribution record.

Functions

ceremony_audit

The audit algorithm (audit-algorithm requirement): verify each member participation signature, verify the aggregate threshold signature against the published aggregate key, confirm at least T of N members participated, cross-reference the payload with the transparency log entry, and confirm timestamp consistency.