Yes, the code for the Avalanche Bridge™, Bridge Nodes, 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.