掃碼下載
BTC $63,656.05 -6.25%
ETH $1,858.82 -8.69%
BNB $594.04 -5.30%
XRP $1.42 -4.56%
SOL $81.67 -4.53%
TRX $0.2795 -0.47%
DOGE $0.0974 -3.83%
ADA $0.2735 -4.22%
BCH $446.06 -7.68%
LINK $8.64 -2.97%
HYPE $28.98 -1.81%
AAVE $122.61 -3.42%
SUI $0.9138 -6.63%
XLM $0.1605 -4.62%
ZEC $260.31 -8.86%
BTC $63,656.05 -6.25%
ETH $1,858.82 -8.69%
BNB $594.04 -5.30%
XRP $1.42 -4.56%
SOL $81.67 -4.53%
TRX $0.2795 -0.47%
DOGE $0.0974 -3.83%
ADA $0.2735 -4.22%
BCH $446.06 -7.68%
LINK $8.64 -2.97%
HYPE $28.98 -1.81%
AAVE $122.61 -3.42%
SUI $0.9138 -6.63%
XLM $0.1605 -4.62%
ZEC $260.31 -8.86%

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

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

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

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

關聯標籤
app_icon
ChainCatcher 與創新者共建Web3世界