Module quorum 

Quorum verification logic (Section 9).

Single-round batched verification: presence + paid-list evidence collected in one request round to VerifyTargets = PaidTargets ∪ QuorumTargets.

Structs

VerificationTargets

Targets for verifying a set of keys.

Enums

KeyVerificationOutcome

Outcome of verifying a single key.

Functions

compute_verification_targets

Compute verification targets for a batch of keys.

evaluate_key_evidence

Evaluate verification evidence for a single key.

run_verification_round

Send batched verification requests to all peers and collect evidence.