Certora 與 Vyper 合作，為用戶開放 Prover 工具保障 Vyper 代碼安全性

ChainCatcher 消息，Web3 安全公司 Certora 宣布與智能合約語言 Vyper 團隊合作，為所有用戶開放其 Prover 工具，以幫助加強 Vyper 代碼的安全性。

作為 Vyper 社區的密鑰持有者，用戶將能夠直至 2023 年 12 月 31 日使用 Certora Prover 來驗證 Vyper 代碼。