Certora 與 Vyper 合作,為用戶開放 Prover 工具保障 Vyper 代碼安全性
ChainCatcher 消息,Web3 安全公司 Certora 宣布與智能合約語言 Vyper 團隊合作,為所有用戶開放其 Prover 工具,以幫助加強 Vyper 代碼的安全性。
作為 Vyper 社區的密鑰持有者,用戶將能夠直至 2023 年 12 月 31 日使用 Certora Prover 來驗證 Vyper 代碼。
鏈捕手ChainCatcher提醒,請廣大讀者理性看待區塊鏈,切實提高風險意識,警惕各類虛擬代幣發行與炒作,站內所有內容僅係市場信息或相關方觀點,不構成任何形式投資建議。如發現站內內容含敏感信息,可點擊“舉報”,我們會及時處理。