All about Vyper's latest security initiatives: comprehensive audits, contract monitoring and formal verification https://blog.vyperlang.org/posts/vyper-security/