Yes, ChainSecurity has completed a security audit of the VALOR smart contract in 2018. The full report, including the scope of the audit and considered properties, is available on Github.

Overall, ChainSecurity’s auditors found that SMART VALOR employs good coding practices and has a clean, well-maintained code. No critical security vulnerabilities were found during the audit.