Skip to main content

Documentation Index

Fetch the complete documentation index at: https://docs.byzantine.fi/llms.txt

Use this file to discover all available pages before exploring further.

A smart-contract audit is the digital equivalent of a systems or code review performed by an independent security firm. The auditor analyses the underlying code line by line to ensure it behaves as intended and cannot be exploited. Typical checks include:
  • Access control: Verifying that only authorised actions (deposits, withdrawals, parameter updates) can occur.
  • Logic and arithmetic correctness: Ensuring calculations for returns, collateral ratios, and liquidations cannot overflow or misfire.
  • Re-entrancy and exploit protection: Confirming the code cannot be manipulated through repeated or nested transactions.
  • Upgrade and dependency safety: Reviewing external calls, oracles, and integrations for hidden vulnerabilities.
Once the audit is complete, a public report summarises all findings, remediation actions, and a final risk score.