What a smart contract audit checks
A smart contract audit is the digital equivalent of a code review performed by an independent security firm. The auditor analyses the contract’s code line by line to ensure it behaves exactly as intended and cannot be exploited. Typical checks include:- Access control: Verifying that only authorised actions (deposits, withdrawals, parameter updates) can be triggered, and only by the right parties
- Logic and arithmetic correctness: Ensuring calculations for interest, collateral ratios, and liquidations cannot overflow, underflow, or produce unintended results
- Re-entrancy and exploit protection: Confirming the code cannot be manipulated through repeated or nested transactions - a common attack vector in smart contracts
- Upgrade and dependency safety: Reviewing external calls, oracle integrations, and protocol dependencies for hidden vulnerabilities
Blockchain audits
Byzantine’s vault and all custom adapters have been reviewed by eight independent security firms. All critical and high-severity findings were remediated before deployment and confirmed by re-audit.| Auditor (with link to report) | Completion date | Open findings |
|---|---|---|
| Cantina competition | Nov 5, 2025 | No critical and high severity findings |
| Sherlock | Oct 17, 2025 | No critical and high severity findings |
| Spearbit | Oct 13, 2025 | All critical and high severity findings corrected and re-audited |
| Spearbit | Oct 13, 2025 | All critical and high severity findings corrected and re-audited |
| ChainSecurity | Sep 16, 2025 | All critical and high severity findings corrected and re-audited |
| Cantina | Sep 10, 2025 | All findings corrected and re-audited |
| Blackthorn | Aug 20, 2025 | All findings corrected and re-audited |
| Zellic | May 29, 2025 | All findings corrected and re-audited |

