2023年7月20號，parity 的多簽名錢包合約被曝漏洞，導致3200萬美元的數字貨幣被盜，甚至連 dao、bec 這樣的著名專案市值也出現了一夜歸零的慘痛事件，而所有代幣都由智慧型合約生成，所以，毫無疑問，智慧型合約是區塊鏈生態安全中最重要的一環，越來越多的人逐漸意識到區塊鏈智慧型合約安全的重要性。
本場 chat 主要內容為：
形式化驗證的定義？原理是什麼？方法舉例？
黑客是如何攻擊區塊鏈平台的智慧型合約？
vaas 系統架構及 vaas「一鍵式」自動形式化驗證平台操作演示
對智慧型合約安全生態建設方面的工作：
閱讀全文:
區塊鏈時代 形式化驗證的應用
區塊鏈時代，智慧型合約的安全性被無限放大，乙個小小的bug就能導致上億美元的損失。美鏈 bec 近日被爆出安全漏洞，被黑客用以太坊erc 20智慧型合約中batchoverflow漏洞攻擊，引發 閃崩，當日幣價幾乎歸0。除了美鏈，據英國和新加坡的研究人員統計，超過34000個智慧型合約都有可被利用的...
智慧型合約形式化驗證工具真能解決問題麼？
在智慧型合約的形式化驗證過程中，需要專業的程式設計人員對不同模板的智慧型合約進行特徵分析 模型建立和模型驗證。現在市場上出現了一些一鍵式的智慧型合約形式化驗證工具，據說可以最大程度的減少驗證程式 發現bug，提高工作效率。這種一鍵式的智慧型合約形式化驗證工具真的有效麼？為了求真筆者做了乙個測試。本次...
CS 區塊鏈 智慧型合約
和雲計算相似，占用區塊鏈的資源 不管是簡單的轉賬交易，還是合約的部署和執行 同樣需要付出相應的費用。以太坊上用gas機制來計費，gas也可以認為是乙個工作量單位，智慧型合約越複雜 計算步驟的數量和型別，占用的記憶體等 用來完成執行就需要越多gas。gas 由執行合約的人在提交執行合約請求的時候規定，...