Security Audit Report for Inverter Network's Router Contracts

The target of this audit is the private code repository of Router Contracts of Inverter Network. Router Contracts of Inverter Network facilitate minting and redemption of iTRY tokens against a configured collateral token (e.g., USDC) via two distinct settlement pathways. Direct routes allow backend approved executors to submit payer-signed EIP-712 intents, while solver settlement routes enable allowlisted solvers to execute intents via backend-signed authorizations. The project also implements a vault (i.e., InstantRedeemPayoutVault) to release collaterals for instant and solver redeems with rolling bucket and window rate limits.

Please refer to the report for the detailed audit scope.

Our audit methodology employs automated vulnerability scans, manual verification, and business logic analysis to uncover potential security issues coupled with gas and code quality optimization recommendations.

In summary, we did not identify any potential issues within the audited codebase. However, we have some recommendations and notes that should be considered to further enhance the protocol's quality, security, and reliability. With no potential issues identified, the project demonstrates a relatively high level of security. It should also be noted that the scope of our audit was strictly limited to the specific code versions detailed in the report. Any updates subsequent to our review would necessitate a re-evaluation.