Highlights
Cryptographic Issues: 3 prior fixes. Scrutinize any change in this area.
src/sign.rs: most-fixed (4 issues). Treat as high-risk during review.
4 high-severity fixes in this history; regressions here are high-impact.
Recurring patterns
The bug types that recur here, drawn from past fixes, not open vulnerabilities.
Signature Malleability: Incomplete scaling of challenge scalars when processing duplicate public keys in batch verification can lead to signature verification bypasses. Ensuring correct multiscalar multiplication order is critical.
Cryptography: Insufficient binding of signatures and transcripts into the random linear combination generation allows for potential signature forgery or batch validation manipulation.
Cryptographic Issues: Skipping challenge scalar multiplication for the first element during VRF merging allows attackers to construct forged proofs. Accurate accumulator initialization to the identity point is mandatory.