~/notes / consensus and blocks
How Signatures Are Aggregated
Combining thousands of signatures into one is what makes large validator sets practical. The mechanism and what it costs.
A proof-of-stake network with a large validator set needs every validator to attest to each block. Verifying hundreds of thousands of signatures individually would not be feasible.
Aggregation solves it.
What aggregation does
Certain signature schemes allow multiple signatures over the same message to be combined into a single signature, verifiable against the combined public keys.
Verifying the aggregate costs roughly what verifying one signature costs, regardless of how many were combined.
That property is what makes large validator sets possible without the verification cost growing with the set.
The consequences
Large validator sets become practical. Hundreds of thousands of participants can attest, and the chain does not become unverifiable.
Block size stays manageable. One aggregate signature rather than one per validator.
Light clients become practical. Verifying a small committee’s aggregate signature is cheap enough to do on a phone, which is the basis of modern light client designs.
The costs
Aggregation requires coordination. Signatures must be collected and combined, which is work performed by specific participants and which introduces a step that can fail.
The scheme is more complex than simpler signature designs, and complexity is where implementation flaws live.
Verification requires the set of public keys that participated, which must be tracked.
Rogue key attacks are a known concern in naive implementations, addressed by requiring proofs of possession when validators register.
What a user sees
Nothing. This is entirely infrastructure.
The user-visible consequence is that finality on networks using it arrives on a defined schedule, because attestation from a large set is feasible within a short interval.
Why it is worth knowing about
Because it is a good example of a pattern that recurs in this field: a cryptographic technique that makes a decentralised design practical where the naive version would not scale.
The same shape appears in Merkle proofs, which make inclusion verifiable without the whole set, and in validity proofs, which make execution verifiable without re-execution.
In each case the property is that verification is much cheaper than the thing being verified, and in each case that asymmetry is what allows a system with many mutually distrusting participants to function at all.
The practical note
For anyone running a validator, the aggregation layer is handled by the client software and the relevant operational concern is uptime rather than cryptography.
For anyone holding the asset, finality timing is the only visible consequence, and it determines how long a venue waits before crediting a deposit. Those thresholds are published by platforms including a venue that supports immediate withdrawal.
# Corrections and technical nitpicks are welcome. Send them over. They get published with the fix.