Veda is a cross-chain, multi-asset vault protocol that enables institutions to offer yield products with configurable risk parameters. Certora performed an audit of the Solidity code implementing Yield Streaming and found no significant security issues. The issues that were found are detailed in the report below.