Stellar's smart contract platform Soroban differs from EVM in authorization, storage with TTL expiry, cross-contract calls, and asset handling. Security audits must check both the application logic and these platform-specific behaviors. Certora outlines the key audit considerations for Soroban builders.




























