隨著區塊鏈技術的愈演愈烈，很多人開始在以太坊（Ethereum）的“智能合約語言”上做文章。其中一部分是搞 PL 的人，他們試圖對 Solidity 之類語言寫的智能合約進行形式驗證，號稱要用嚴密的數理邏輯方法，自動的驗證智能合約的正確性。其中一種方法是用“深度學習”，經
區塊鏈不是一種特定的軟件，就像“數據庫”這個三個字表現的意思一樣，它是一種特定技術的設計思想。可以用絕大多數語言來實現它，而且實現的方式也有許多種。而且區塊鏈技術目前還在快速發展中，相對而言，目前區塊鏈技術設計思想還是比較簡單的，也許在未來會變得愈加
