Smart contracts are not currently implemented in Mirai, but you can bet that when they are our code will be fully audited by independent third party professionals. Our work with Mirai is our passion and we won't risk what will be years of hard work to vulnerabilities that can be easily fixed with a little more work.