Audit & Security
Security Audits
The smart contracts and core DeFi operating codes were audited by external auditing firm Beosin Blockchain Security firm. The audit report is now available via below link.
Audit Overview
Audit Scope : https://github.com/quotafinance/quota-core/tree/audit
Audit Method
Formal Verification
Static Analysis
Typical Case Testing & Manual Review
Audit work duration : Jan 11, 2023 - Feb 03, 2023
Audit team : Beosin Security Team
Audit Categories
1
Coding Conventions
Compiler Version Security
Deprecated Items
Redundant Code
Require/asset Usage
Gas Consumption
2
General Vulnerability
Integer OVerflow/Underflow
Reentrancy
Pseudo-random Number Generator
Transaction-Ordering Dependance
DoS (Denial of Service)
Function call Permissions
call/delegatecall Security
Returned Value Security
tx. origin Usage
Replay Attack
Overriding Variables
Third-party Protocol Interface Consistency
3
Business Security
Buisness Logics
Business implementations
Manipulable Token Price
Centralized Asset Control
Asset Tradability
Arbitrage Attack
Audit Reports
Beosin Blockchain Security Audit Report(February 2023)
Last updated