Certora與Vyper團隊合作，為所有用戶開放Prover工具確保Vyper代碼安全性
BlockBeats 律動財經 2023-09-27 21:00
BlockBeats 消息，9 月 27 日，Web3 安全公司 Certora 宣布與智能合約語言 Vyper 團隊合作，為所有用戶開放其 Prover 工具，以幫助加強 Vyper 代碼的安全性。作為 Vyper 社區的密鑰持有者，用戶將能夠直至 2023 年 12 月 31 日使用 Certora Prover 來驗證 Vyper 代碼。
暢行幣圈交易全攻略，專家駐群實戰交流
▌立即加入鉅亨買幣實戰交流 LINE 社群（點此入群）
不管是新手發問，還是老手交流，只要你想參與虛擬貨幣現貨交易、合約跟單、合約網格、量化交易、理財產品的投資，都歡迎入群討論學習！
- 掌握全球財經資訊點我下載APP
文章標籤
上一篇
下一篇
