圈內一天,圈外一年。隨著區塊鏈平臺及各種應用的落地,智能合約(SmartContract)涉及的金額呈指數級增長。一直以來,智能合約的安全問題都是投資者和開發者共同關注的焦點。據報道,僅在2020年,在122起區塊鏈黑客攻擊事件中,已經導致了38億美金的的損失。
智能合約是一種旨在以信息化方式傳播、驗證或執行合同的計算機協議,允許在沒有第三方的情況下進行可信交易,這些交易可追蹤且不可逆轉。智能合約做為電子合約、去中心化仲裁和合約間交互的一個結合,會產生大量的資金往來。如果出現重大漏洞,資產損失將不可避免,甚至項目會就此徹底失去用戶信任。因此,DApp需要更嚴謹的測試和審計。
以太坊技術服務商 OpenZeppelin 發布 Optimism 智能合約審計報告:11月25日消息,以太坊技術服務商 OpenZeppelin 發布 Optimism 智能合約審計報告。從 2021 年 3 月 15 日開始,OpenZeppelin 在 7 周的時間里與 3 位審計師一起審計了 Optimism 的代碼庫,共發現 4 個嚴重和 4 個高度嚴重的問題,并提出修改建議以減少代碼的攻擊面和提高其整體質量,Optimism 團隊已承認或修復所有嚴重問題,代碼已遷移到新存儲庫。[2021/11/25 7:10:27]
形式化驗證是指用數學方法去證明系統無Bug。在以前更多見于硬件設計領域。因為硬件設計周期長,一旦生產出來就很難改動。如果直接用一臺機器去做各種試驗,成本是很高的。但是如果用數學去構建一臺虛擬機去驗證,可以做到論證充分,同時又沒有太高的成本。這個過程叫做數學論證建模,也就是我們說的形式化驗證。我們最近研究了一些保護我們智能合約的專業機構與項目:
期權協議Primitive智能合約發現嚴重漏洞,被黑資金安全并將返還其所有者:官方消息,以太坊鏈上期權協議Primitive Finance智能合約中發現了一個嚴重漏洞。由于合約不可升級或暫停,因此官方選擇自己對智能合約進行黑客攻擊以保護用戶資金。被黑的資金是安全的。所有被黑的資金都將返還給它們的所有者。官方表示,對該漏洞的事后分析、為保護用戶資金而采取的行動的時間表,以及立即返回用戶資金的下一步措施都將很快出臺。[2021/2/22 17:38:37]
創業公司推出ZeppelinOS軟件可修復以太坊智能合約:據coindesk消息,以太坊智能合約的錯誤無法修復即將成為過去。一家名為Smart Contract Solutions的創業公司周五宣布在以太坊區塊鏈上推出ZeppelinOS,力求在以太坊網絡上開發一系列用于智能合約的應用和工具庫。[2018/5/26]
智能合約審計項目/公司一覽
軟件避免出bug的方法是測試,測試代碼中其實會模擬一些輸入和輸出情況來保證邏輯通順。如今DeFi正在飛速發展,相比之下,形式化驗證就是加強化測試,用數學論證,保證邏輯通暢。在區塊鏈領域,代碼即法律,代碼控制著我們的數字身份,控制著我們智能合約中的資金。但是智能合約要避免被黑客攻擊,其安全審計又是如何進行的呢?
如今,區塊鏈雖然仍處于早期,但其快速的發展,已經引起了越來越多的社會關注,黑客是其中一個群體。為了避免黑客事件的發生,交易所、錢包、項目方等都在智能合約安全上加大投入。圍繞著智能合約安全的周邊生態建設也成為投資熱點。與此同時,開發人員也開始了對智能合約程序邏輯無誤的探索,從源頭改進形式化驗證的核心,即提升數學邏輯的準確性,以求建立更為高效的區塊鏈基礎。目前OCaml、Haskell、?ternity等數學模型論證函數式編程語言已逐漸應用于區塊鏈世界,使一些分布式分類賬協議和智能合約很大程度上獲得可擴展性、穩定性和容錯性。在我們看來,數學邏輯論證是就是守衛DeFi或是整個區塊鏈行業安全運作的清道夫,未來隨著區塊鏈加密行業的逐步發展和完善,數學邏輯論證將或成為其中關鍵。
媒體稱,美國數字貨幣交易所Kraken考慮在2022年通過直接掛牌的方式登陸股市。根據CoinMarketCap的數據,Kraken目前的單周訪問量超過460萬,僅次于幣安,位居全市場第二.
1900/1/1 0:00:002018年,去中心化借貸協議Dharma聯合創始人?BrendanForster提出了DeFi概念,DeFi正式登上歷史舞臺.
1900/1/1 0:00:00NFT在2021年迎來了其爆發式的發展,從基礎設施、到去中心化域名、再到交易市場、逐步涉及到虛擬市場、游戲場所、DeFi+NFT、收藏品等方面,可以說現階段NFT生態已經初具規模.
1900/1/1 0:00:00據歐易OKEx的數據顯示,當前BTC/USDT現貨報價為59800美元,24小時跌幅為1.7%.
1900/1/1 0:00:00PAData?4月13日消息,近期,以太坊平均Gas價格持續走低。根據Etherescan的統計,4月11日,以太坊Gas均價約為85.2Gwei,創下近兩個月的低點.
1900/1/1 0:00:00達拉斯獨行俠隊所有者、狗狗幣支持者馬克·庫班(MarkCuban)表示,NFT可能有能力顛覆甚至改變處理數字身份驗證和電子簽名的行業.
1900/1/1 0:00:00