ReytsCAD
Audit · firm’s term: security assessment
Certora reviewed Reyts (ReytsCAD) on 22 May 2026: 8 findings, 0 critical; all marked fixed.
Findings15
Statuses are the security firm’s own, from its report.
| Severity | Open | Acknowledged | Fixed |
|---|---|---|---|
| Critical | 0 | 0 | 0 |
| High | 0 | 0 | 1 |
| Medium | 0 | 0 | 2 |
| Low | 0 | 0 | 5 |
Marked Informational by the firm. Not counted as findings.
Informationaldraw does not validate payment_amount against the on-chain rateFixed
The report gives no description here.
InformationalFirst update_rate on a pair leaves PrevRate = 0Fixed
The report gives no description here.
InformationalIf the contract isn’t initialized at 00:00 GMT+0 (Stellar timestamp), the daily caps/limits for the first day will be valid for less than 24 hoursFixed
The report gives no description here.
InformationalNo check to make sure that throttled_max is less than max_draw_per_txFixed
The report gives no description here.
InformationalThe new minting_gateway daily cap must remain less than the old_minting_gateway daily capFixed
The report gives no description here.
InformationalUse __constructor instead of initializeFixed
The report gives no description here.
InformationalWASM upgrade inherits SAC allowanceFixed
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 Reyts’s security record
ReytsSecurity firm
Certora29 projects reviewed · 56 reports · latest Aug 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