Certora与Vyper团队合作提高智能合约安全性

据星球日报报道，Web3安全公司Certora与智能合约语言Vyper团队合作，为所有用户开放其Prover工具，以帮助加强Vyper代码的安全性。作为Vyper社区的密钥持有者，用户将能够在2023年12月31日之前使用Certora Prover来验证Vyper代码。