您現在的位置是：眾鏈財經 > 幣快訊 >
智能合約安全分析項目Certora的形式驗證服務已支持以太坊編程語言Vyper
2023-08-15 09:10
簡介8月15日消息，智能合約安全分析項目Certora的形式驗證服務已支持以太坊編程語言Vyper，使智能合約開發人員能夠在部署代碼后審計之前檢測錯誤。
8月15日消息，智能合約安全分析項目Certora的形式驗證服務已支持以太坊編程語言Vyper，使智能合約開發人員能夠在部署代碼后審計之前檢測錯誤。
