Prior known-ignored disclosure

Evidence summary #

No prior incidents; no evidence of ignored disclosure. Certora precision-loss finding was actioned before any exploitation. Green.

Detail #

No incidents found in hacksdatabase, DeFiLlama, or Rekt. The only notable security finding is the Certora precision-loss bug (March 2025), which was identified during formal verification, patched by Kamino, and disclosed via joint blog post — the canonical example of a correctly actioned disclosure. There is no evidence in any post-mortem or research report of a disclosure that was received but not actioned before an exploit.

Sources #

Methodology #

Determine whether evidence exists in prior-incident post-mortems that a disclosed vulnerability was reported to the team and not actioned before exploit.

See the full factor methodology and distribution across all protocols →