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

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

一名12歲的小學生在以太坊鏈上部署了一份智能合約:金色財經報道，RND創立者、12歲小學生黃正發布Solidity教程-智能合約創建和部署的視頻教程，黃正稱，一周前，在以太坊鏈上部署了一份智能合約。

這個課程是基于部署的這份智能合約的整個過程。課程將詳細介紹智能合約的創建、部署、測試、到發布及后續一系列內容，希望大家能從這個課程當中學會如何自己創建一份智能合約。[2022/2/6 9:34:11]

SpaceSwap宣布智能合約已通過Lianantech安全審計:DeFi聚合器SpaceSwap宣布，在SpaceSwap 2.0發布期間，SpaceSwap智能合約已由區塊鏈安全公司Beosin旗下Lianantech進行了審計，Lianantech表示其智能合約能夠正常運行，沒有檢測到關鍵的錯誤或漏洞。

此外，10月3日，SpaceSwap發推稱，MILK2和SHAKE代幣正式上線Mooniswap平臺，該項目正在將這兩項資產添加到其白名單中。（Pressat）[2020/10/4]

獨家 | 智能合約權利集中在一人手中還是去中心化嗎:近期有部分智能合約具有“上帝賬戶”的話題在網上被熱炒，引起用戶的廣泛關注。降維安全（www.johnwick.io）站在第三方的角度對此熱點事件進行了分析。

1、事件起因：7月9日，Bancor去中心化交易所Token被盜，平臺方為了追回被盜資產，利用管理員權限鎖定了被盜資產，從而引發了平臺方管理員權限過高的討論。部分安全公司對此行為進行聲討，認為高權限賬戶完全背離了區塊鏈去中心化的核心思想，對眾多用戶資產安全造成了嚴重的安全威脅。

2、降維安全認為：

1）拋開業務談安全是沒有意義的。比如：有些項目方在升級智能合約時，確實需要通過新的智能合約高權限賬戶為舊合約的用戶進行空投，在升級完成后再將此賬戶禁用。要開展此類業務就無法離開高權限賬戶。

2）權限應與業務發展相匹配。隨著業務發展，初期的高權限賬戶應該逐步降低權限，做到真正的去中心化，以保證用戶的資產安全、樹立項目方良好的商譽。高權限賬戶有些的確是業務需求，完成相應需求后，應該關閉此賬戶權限。

降維安全僅從7月1日開始至今審計過的近200份智能合約中，已為合作交易所攔截擁有此類權限的智能合約18個，其中17個已經在降維安全的協助下進行整改。大部分項目方還是積極的配合了整改工作，將用戶的資產安全放在了第一位。[2018/7/19]