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