Spectra is an EVM-centric permissionless protocol for interest rate derivatives. The Spectra Stellar ecosystem is a hybrid DeFi protocol that extends Spectra’s Principal Token functionality to the Stellar network through a symmetric EVM↔Stellar bridge.

Certora performed a manual code review of the Solidity & Rust smart contract code and identified security risks. The full report below includes the methodology, threat analysis, findings, and Spectra responses.