DLOG ⇒ BLS signatures

Statement

Migrated verbatim from algebraic-group-model § Key Results:

BLS security: unforgeability of BLS signatures reduces tightly to DLOG in the AGM.

class: unstated: no citing page says which notion of reduction is meant. Recording a class the wiki does not state would add a claim.

Recorded during migration and not fixed — these are claims about the source text, not changes to it:

BROKEN WIKILINK: [[boneh-lynn-shacham-signature|BLS]] resolves to nothing — there is no content/Primitives/boneh-lynn-shacham-signature.md and no page carries that slug as an alias. BLS signatures are described in content/Primitives/digital-signature.md (## BLS signatures, line 144) which would be the correct target.
Model is understated: the FKL18 tight BLS proof is in the AGM and the random oracle model (BLS hashes to the group); the page records only the AGM.
No citation on the bullet; inherited from the line 28 lead-in.