Valinity Formal Verification
Off-Chain (Private)
Audited on 2022/12/15
No active critical issues
Summary
Valinity embodies the essence of Decentralized Finance, where every member directly profits from Token Sales, Reverse Staking, P2P fees, and transfer fees, breaking down the developer/user divide. It takes the concept of Crypto and Blockchain to new heights.
Issues (2)
Low | Medium | High | Critical | Total | |
|---|---|---|---|---|---|
Not fixed | 1 | - | - | - | 1 |
Fixed | - | - | 1 | - | 1 |
| Total | 1 | 0 | 1 | 0 | 2 |
Contracts (5)
| # | File Name |
|---|---|
| 1 | contracts/token/MFCToken.sol |
| 2 | contracts/exchange/MFCExchangeCap.sol |
| 3 | contracts/exchange/MFCExchange.sol |
| 4 | contracts/exchange/ExchangeCheck.sol |
| 5 | contracts/exchange/MFCExchangeFloor.sol |