Reflector DAO and Subscription contracts

CertoraCode version: not recorded (see the report)

Audit · Includes formal verification

Certora reviewed Reflector (Reflector DAO and Subscription contracts) on 10 Oct 2024: 6 findings, 0 critical; 4 marked fixed, 2 acknowledged.

No open critical findings
Open the reportOpen Reflector’s security record

Report hosted on GitHub.

Trustblock does not review code.

Findings7

Statuses are the security firm’s own, from its report.

SeverityOpenAcknowledgedFixed
Critical000
High000
Medium000
Low024
LowIt is possible to unlock prizes unevenlyFixed

The report gives no description here.

LowMissing EventsFixed

The report gives no description here.

LowTypoFixed

The report gives no description here.

LowUnchecked arithmeticFixed

The report gives no description here.

Contracts in scope

No deployed address is recorded for this audit.

The report names a repository or files. Open the report to see its scope.

Part of Reflector’s security record

Reflector
Audits1 audit by 1 firmLast audit Oct 2024, by Certora.
Critical findingsNo open critical findingsIn 1 report.
Open Reflector’s security record

Security firm

Certora

29 projects reviewed · 56 reports · latest Aug 2026

See Certora’s audits

Something wrong on this page? A missing report, a wrong date, a finding that was fixed since. Tell us and we check it against its source.

Tell us