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

2023-09-27 21:01:47
收藏

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

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

關聯標籤
鏈捕手ChainCatcher提醒,請廣大讀者理性看待區塊鏈,切實提高風險意識,警惕各類虛擬代幣發行與炒作,站內所有內容僅係市場信息或相關方觀點,不構成任何形式投資建議。如發現站內內容含敏感信息,可點擊“舉報”,我們會及時處理。
ChainCatcher 與創新者共建Web3世界