Saturn Dollar M0 Extensions
Certora reviewed Saturn (Saturn Dollar M0 Extensions) on 9 Apr 2026: 6 findings, 0 critical; all marked fixed.
No open critical findings
Open the reportOpen Saturn’s security record
Report hosted on GitHub.
Trustblock does not review code.
Findings6
Statuses are the security firm’s own, from its report.
| Severity | Open | Acknowledged | Fixed |
|---|---|---|---|
| Critical | 0 | 0 | 0 |
| High | 0 | 0 | 2 |
| Medium | 0 | 0 | 1 |
| Low | 0 | 0 | 3 |
HighMIN_WITHDRAWAL threshold is incompatible with USDat decimals, permanently blocking all redemptionsFixed
The report gives no description here.
HighSupply cap check uses mismatched decimals (can incorrectly block wraps or make cap meaningless)Fixed
The report gives no description here.
MediumSupply Cap Can Be Bypassed Via `claimYield()` Since Yield Minting Ignores Supply-cap Checks)Fixed
The report gives no description here.
LowgetUnvestedAmount() <= strcBalance can be violated by a call to setVestingPeriod()Fixed
The report gives no description here.
LowWhitelist checks are bypassed for JMI asset wrapsFixed
The report gives no description here.
LowWithdrawalQueueERC721.addRequest uses _mint instead of _safeMintFixed
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 Saturn’s security record
SaturnAudits2 audits by 1 firmLast audit Apr 2026, by Certora.
Critical findingsNo open critical findingsAcross 2 reports.
Open Saturn’s security recordSecurity firm
Certora9 projects reviewed · 17 reports · latest Jun 2026
See Certora’s auditsSomething 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