Royco Dawn is a non-custodial risk-tranching protocol that splits any yield source into two tranches with distinct risk profiles and corresponding yields. Certora performed threat modeling and a manual code review of the Solidity smart contract code. The full report below includes the methodology, threat analysis, findings, and Royco responses.