Veda is a cross-chain, multi-asset vault protocol that enables institutions to offer yield products with configurable risk parameters. Certora performed tests of the Veda protocol using the Foundry framework and Medusa, compiling all pre-existing CVL invariants into Solidity. The detailed approach, scope, and findings can be found in the attached report.