Valinity Formal Verification
CertiK reviewed Valinity (Valinity Formal Verification) on 15 Dec 2022: 2 findings, 0 critical; 1 marked fixed, 1 open.
No open critical findings
Open the reportOpen Valinity’s security record
Report hosted on skynet.certik.com.
Trustblock does not review code.
Findings2
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 | 0 |
| Low | 1 | 0 | 0 |
No acknowledged finding in this report.
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.
Repository and files the report names (5)
- contracts/token/MFCToken.sol
- contracts/exchange/MFCExchangeCap.sol
- contracts/exchange/MFCExchange.sol
- contracts/exchange/ExchangeCheck.sol
- contracts/exchange/MFCExchangeFloor.sol
Part of Valinity’s security record
ValinityAudits4 audits by 1 firmLast audit Oct 2023, by CertiK.
Critical findingsNo open critical findingsAcross 4 reports.
Open Valinity’s security recordSecurity firm
CertiK1,044 projects reviewed · 1,375 reports · latest May 2025
See CertiK’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