Certora conducted a security audit and formal verification of OpenZeppelin’s Stellar Contracts Library for the Stellar Development Foundation. The review covered reusable Soroban components for fungible and non-fungible tokens, smart accounts, access control, contract utilities, real-world assets, and vaults.