Yes, the code for the Avalanche Bridge, Warden, and Smart Contracts have been audited by Halborn. These extensive audit reports can be found here.
For any additional questions, please visit our knowledge base or contact a support team member via the chat button at support.avax.network.
Chat with Ava Labs | Use Apps on Avalanche | Validate on Avalanche