Security context

What an agent needs to avoid regressing past fixes and find the next vuln in this repo.

filecoin-project/go-f3
main @ 5f8a4f4
9
Fixes
2
CVEs
HIGH
Peak severity
100.0%
Coverage
Highlights
Auth Bypass: 3 prior fixes. Scrutinize any change in this area.
gpbft: most-fixed (3 issues). Treat as high-risk during review.
5 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.

Auth Bypass: Flaws in consensus quorum calculations and signature verification logic allowed actors to bypass finality certificate checks. Ensuring that signers explicitly possess strong quorum power before verifying aggregate signatures is critical to preventing malicious or unauthorized state progression.
Integer Overflow or Wraparound: Integer overflow in quorum calculations and index validation can result in denial of service or critical logic bypasses. Upcasting power metrics from narrow types to wider representations prevents numeric wraparounds during aggregate power calculations.
Cryptographic Weakness: Lack of strict cryptographic domain separation allows replay or cross-context signature reuse. Binding signatures to specific network names and domain separation tags is necessary to maintain cryptographic isolation.