GON:智能合約審計是區塊鏈行業安全運作的清道夫_什么是區塊鏈技術

圈內一天，圈外一年。隨著區塊鏈平臺及各種應用的落地，智能合約（SmartContract)涉及的金額呈指數級增長。一直以來，智能合約的安全問題都是投資者和開發者共同關注的焦點。據報道，僅在2020年，在122起區塊鏈黑客攻擊事件中，已經導致了38億美金的的損失。

智能合約是一種旨在以信息化方式傳播、驗證或執行合同的計算機協議，允許在沒有第三方的情況下進行可信交易，這些交易可追蹤且不可逆轉。智能合約做為電子合約、去中心化仲裁和合約間交互的一個結合，會產生大量的資金往來。如果出現重大漏洞，資產損失將不可避免，甚至項目會就此徹底失去用戶信任。因此，DApp需要更嚴謹的測試和審計。

央行數字貨幣研究所申請“智能合約”專利:7月5日消息，近期，數字人民幣結合智能合約的應用實踐得到了廣泛關注。從公開數據了解到，人民銀行數字貨幣研究所申請了8篇標題含有“智能合約”字眼的專利，大部分于2021年申請，涵蓋的技術多為智能合約底層技術方案，具體包括智能合約的注冊方法和執行方法。業內專家介紹，通過在數字人民幣上加載智能合約，拓展了數字人民幣支付場景的同時，能夠實現支付“定制化”，為老百姓提供更加便民的支付工具。（中證網）[2022/7/5 1:53:05]

形式化驗證是指用數學方法去證明系統無Bug。在以前更多見于硬件設計領域。因為硬件設計周期長，一旦生產出來就很難改動。如果直接用一臺機器去做各種試驗，成本是很高的。但是如果用數學去構建一臺虛擬機去驗證，可以做到論證充分，同時又沒有太高的成本。這個過程叫做數學論證建模，也就是我們說的形式化驗證。我們最近研究了一些保護我們智能合約的專業機構與項目：

Polygon Hermez：HEZ與MATIC代幣合并智能合約已部署至測試網:Hermez在被Polygon收購后發文稱更名為Polygon Hermez，仍致力于構建基于zkRollup的以太坊L2擴容方案。MATIC將成為Polygon Hermez的效用代幣，Polygon已分配2.5億枚MATIC代幣來開發Polygon Hermez，其中9000萬枚分配給投資者，其余1.6億枚分配給初始團隊支持者和開發人員。團隊表示，HEZ與MATIC代幣合并智能合約已部署至測試網，主網時間尚未確定，以1枚HEZ兌換3.5枚MATIC，一旦智能合約發布，中心化交易所的HEZ持有者應將HEZ發送到Metamask錢包，然后發送到代幣兌換的智能合約獲得MATIC代幣，交易會產生Gas費用，發送到兌換智能合約的HEZ代幣將被燒毀，該智能合約將至少存在3年。[2021/8/29 22:44:32]

多倫多舉辦社區Ethereum開發會議 討論Casper、智能合同、gas等主題:據Ethnews消息，為期3天的社區Ethereum開發會議今天上午在多倫多開幕。Ethereum的等離子體白皮書和比特幣的閃電網絡白皮書的合著者Joseph Poon稱系統安全性和大規模出口的緩解對于編寫EDCCs(也稱為智能合同)的人來說越來越重要。Poon重點談到在合同中增加時間作為變量，這會影響區塊容量和gas限制。Vlad Zamfir也討論了即將到來的Casper開發項目，并預示了在周五將會有關于Casper CBC(正確的建筑)的深入的技術討論。Zamfir也討論分布式系統，以及如何使用協商一致的協議保護它們，包括那些專門為Casper設計的協議，比如友好的Finality小工具。在有關可擴展性的討論中，Zamfir表示幾乎不相信區塊鏈可以擴展；V神對分片交叉鏈接、隨機信標、哈希洋蔥、完全證明、數據可用性等表示擔憂。[2018/5/4]

智能合約審計項目/公司一覽

軟件避免出bug的方法是測試，測試代碼中其實會模擬一些輸入和輸出情況來保證邏輯通順。如今DeFi正在飛速發展，相比之下，形式化驗證就是加強化測試，用數學論證，保證邏輯通暢。在區塊鏈領域，代碼即法律，代碼控制著我們的數字身份，控制著我們智能合約中的資金。但是智能合約要避免被黑客攻擊，其安全審計又是如何進行的呢？

如今，區塊鏈雖然仍處于早期，但其快速的發展，已經引起了越來越多的社會關注，黑客是其中一個群體。為了避免黑客事件的發生，交易所、錢包、項目方等都在智能合約安全上加大投入。圍繞著智能合約安全的周邊生態建設也成為投資熱點。與此同時，開發人員也開始了對智能合約程序邏輯無誤的探索，從源頭改進形式化驗證的核心，即提升數學邏輯的準確性，以求建立更為高效的區塊鏈基礎。目前OCaml、Haskell、?ternity等數學模型論證函數式編程語言已逐漸應用于區塊鏈世界，使一些分布式分類賬協議和智能合約很大程度上獲得可擴展性、穩定性和容錯性。在我們看來，數學邏輯論證是就是守衛DeFi或是整個區塊鏈行業安全運作的清道夫，未來隨著區塊鏈加密行業的逐步發展和完善，數學邏輯論證將或成為其中關鍵。

Tags：區塊鏈HERGONTIC什么是區塊鏈技術togetherbnb為什么恐怖GondolaMATICPAD價格

fil幣價格今日行情