智能合約安全分析項目Certora的形式驗證服務已支持以太坊編程語言Vyper

8月15日消息，智能合約安全分析項目Certora的形式驗證服務已支持以太坊編程語言Vyper，使智能合約開發人員能夠在部署代碼后審計之前檢測錯誤。

其它快訊：

Polygon：Miden Compiler正部署至Polygon Miden，支持Rust編寫的智能合約:12月23日消息，Polygon在X平臺發文表示，Miden Compiler（編譯器）正部署至Polygon Miden，以作為rollup支持用Rust編寫的智能合約，未來可能還會支持其他對開發人員友好的語言。

它可以在兩個方面發揮作用：

- 作為現有語言的編譯器后端，希望以Miden Assembly為目標；

- 作為將另一個編譯器生成的WebAssembly代碼編譯到Miden Assembly的一種手段。[2023/12/23 19:30:21]

側鏈項目Milkomeda將允許與EVM兼容的智能合約在Cardano主網上執行:8月26日消息，IOHK（負責Cardano協議的研發）首席執行官Charles Hoskinson表示，他很高興區塊鏈初創公司dcSpark的新側鏈項目“Milkomeda”將允許與EVM兼容的智能合約在Cardano主網上執行。此外，Milkomeda項目承諾在未來提供Cardano和其他L1區塊鏈之間的互操作性，如Solana。（Crypto Globe）[2021/8/26 22:39:26]

現場 | 以太坊行業峰會第一場圓桌 如何應對智能合約安全問題:金色財經9月8日現場報道，Loi Luu (KyberNetwork 創始人)、Shawn Douglass

(Amberdata 聯合創始人兼CEO)、Jay Zhou (Loopring Protocol 聯合創始人)、Alan Li (FBG X 研發部負責人)、Antoine Cote (Enuma Technologies 聯合創始人兼CEO) 參與了討論，嘉賓們一致認為，由于智能合約涉及資產交易且不可篡改，一旦發生安全問題將引起資產嚴重受損，關注智能合約安全是必要的。Loi Luu指出,區塊鏈行業項目方，需要為開發者設立預警機制。開源代碼要引入第三方檢測，避免犯一些顯而易見的錯誤。

Jay zhou認為，需要更有經驗的開發者去開發用戶易用、以人為本的合約，同時也有必要引入交叉審計。

Shawn Douglass說：“因為智能合約的不可篡改性，在程序員開發前，就必須告知開發者未來可能造成的后果，特別是在涉及資產的領域必須確保事前萬無一失甚至考慮保險。”

Antoine Cote表示，可以在早期時候引入懸賞機制讓黑客或者社區成員共同發現漏洞。大家討論后得出共識，每一個開發者都必須在開發速度和安全性之間做一個平衡。在區塊鏈領域，注重安全和責任心是必須的。[2018/9/8]