專員在過去的兩篇文章中，跟大家聊了一下自己對區塊鏈技術未來發展的一些看法，專員覺得，不論是共識模塊還是加密模塊，必定會朝著更加安全更加高效的模式發展過去，但是不得不承認，在路途中一定會遇到一定苦難，例如最近不斷爆出的EOS以及ETH的bug，但是我覺得這些bug的出現，或許會造成一段時間的幣價下行或者熊市，但是對於長期的發展，是一件很好的事情。
隨著更多的傳統互聯網公司以及安全檢測機構的進場，我覺得被爆出的bug一定會不斷增多，雖然其中不乏一些蹭熱度的機構以及公司，但是我覺得有些bug我們也必須得重視起來，因為有些bug如果是白帽子發現還好，如果是惡意的黑客發現，我覺得還是會造成一定的經濟以及社會的影響，畢竟現在已經有越來越多的人來入場幣圈以及鏈圈，我覺得作為項目方也有一定的責任保護這些人的利益。
但是大家發現其實EOS也好，ETH也好，很多的問題還是出現在智能合約的模塊，之前專員在0學區塊鏈模塊說道過，智能合約是一把雙刃劍，我們需要謹慎的處理並且使用它，它會給區塊鏈帶來很多的可能性，但是隨之而來的它也會帶來很多問題，尤其是安全問題。今天我們進來講講區塊鏈在智能合約的發展，
專員覺得，可能首先專員覺得，雖然現在EVM仍然是主流的虛擬機，並且有許多的平臺借鑑並且使用了EVM在自己的區塊鏈平臺中，但是我覺得EVM仍然有一定的侷限性，熟悉Solidity的同學知道，其實Solidity在使用還是有比較大的問題存在，比如說他對於參數的限制等等，在EVM中，可能無法進行較為複雜的編程，雖然專員一直覺得智能合約不應該過於複雜，最經典也是最無可取代的智能合約也就是傳說中的SetHash以及GetHash的方法。但是不得不說，有許多項目的確會有需求需要進行復雜的智能合約編程，這時你會發現Solidity這門語言會出現比較大的困難，許多開發的程序員更希望用日常的開發語言進行智能合約的編寫，比如JAVA，GO，JavaScript等等。
所以專員覺得，其實智能合約的其中一個方向就是語言更加多樣化，其實現在這種情況以及發送，比如現在EOS的WASM的虛擬機，WebAssembly是一種新興的Web技術，使用C語言來編寫WebAssembly模塊，並將其編譯成.wasm文件進行業務邏輯的執行。
另外，比如說Fabric，它並不是一個傳統的公鏈項目，它作為一個優秀的聯盟鏈的項目，它已經能夠支持用Go語言進行智能合約的編碼，稱之為Chaincode(鏈碼)，有感興趣的同學可以去了解一下，專員看來也是一個不錯的智能合約的解決方案，但是可能不適合現在的公鏈的情況，更適合聯盟的情況，但是不失為一種解決方案。
另外專員覺得，另外一個方面可能就是合約的安全方面的升級，不僅僅是虛擬機本身的問題，比如將虛擬機置於一個更加安全的沙盒環境中，並且禁用某些的系統指令等等，另外各重要的可能是對智能合約代碼本身的代碼安全的檢查以及校驗，比較過多的智能合約的漏洞已經被不斷的爆出。比如現在已經知道的手段，形式化驗證等等，說形式化驗證的時候，就不得不說一下形式化方法。
它是形式化驗證的基礎，簡單的說就是用數學工具進行定義、開發和驗證。數學家們認為，不論硬件還是軟件工程，就像世間萬物一樣，所有的學問一樣，歸根結底是數學問題。因此如果真的所有的系統的設計以及開發都能夠按照嚴格的數學方法進行，那麼可想而知的是我們所開發的系統就會像數學本身一樣的完美，並且不會出錯。當然，這是一個最完美的理想。但是這的確是一個很好的奮鬥的方向，也是一個我們所希望能夠出現的東西。
綜上，專員覺得，其實事物都是在不斷的發展的過程中，我們需要注意的是，在這些浪潮中懂得更多，並且學會明辨是非，這樣才能更好的幫助我們判別一個項目的存在意義，以及未來發展方向。專員覺得，不管我們是不是一個技術人，在區塊鏈這個圈子中我們還是要多多少少懂一點技術，這樣才能有效的防止自己陷入空氣項目中。
專員在過去的兩篇文章中，跟大家聊了一下自己對區塊鏈技術未來發展的一些看法，專員覺得，
不論是共識模塊還是加密模塊，必定會朝著更加安全更加高效的模式發展過去
但是不得不承認，在路途中一定會遇到一定苦難，例如最近不斷爆出的EOS以及ETH的bug，但是我覺得這些bug的出現，或許會造成一段時間的幣價下行或者熊市，但是對於長期的發展，是一件很好的事情，隨著更多的傳統互聯網公司以及安全檢測機構的進場，我覺得被爆出的bug一定會不斷增多，雖然其中不乏一些蹭熱度的機構以及公司，但是我覺得有些bug我們也必須得重視起來，因為有些bug如果是白帽子發現還好，如果是惡意的黑客發現，我覺得還是會造成一定的經濟以及社會的影響，畢竟現在已經有越來越多的人來入場幣圈以及鏈圈，我覺得作為項目方也有一定的責任保護這些人的利益。
但是大家發現其實EOS也好，ETH也好，很多的問題還是出現在智能合約的模塊，之前專員在學區塊鏈模塊說道過，智能合約是一把雙刃劍，我們需要謹慎的處理並且使用它，它會給區塊鏈帶來很多的可能性，但是隨之而來的它也會帶來很多問題，尤其是安全問題。
今天我們進來講講區塊鏈在智能合約的發展
可能首先專員覺得，雖然現在EVM仍然是主流的虛擬機，並且有許多的平臺借鑑並且使用了EVM在自己的區塊鏈平臺中，但是我覺得EVM仍然有一定的侷限性，熟悉Solidity的同學知道，其實Solidity在使用還是有比較大的問題存在，比如說他對於參數的限制等等，在EVM中，可能無法進行較為複雜的編程，
雖然專員一直覺得智能合約不應該過於複雜，最經典也是最無可取代的智能合約也就是傳說中的SetHash以及GetHash的方法。但是不得不說，有許多項目的確會有需求需要進行復雜的智能合約編程，這時你會發現Solidity這門語言會出現比較大的困難，許多開發的程序員更希望用日常的開發語言進行智能合約的編寫，比如JAVA，GO，JavaScript等等。
智能合約的其中一個方向就是語言更加多樣化
其實現在這種情況以及發送，比如現在EOS的WASM的虛擬機，WebAssembly是一種新興的Web技術，使用C語言來編寫WebAssembly模塊，並將其編譯成.wasm文件進行業務邏輯的執行。另外，比如說Fabric，它並不是一個傳統的公鏈項目，它作為一個優秀的聯盟鏈的項目，它已經能夠支持用Go語言進行智能合約的編碼，稱之為Chaincode(鏈碼)，有感興趣的同學可以去了解一下，專員看來也是一個不錯的智能合約的解決方案，但是可能不適合現在的公鏈的情況，更適合聯盟的情況，但是不失為一種解決方案。
另外一個方面可能就是合約的安全方面的升級
不僅僅是虛擬機本身的問題，比如將虛擬機置於一個更加安全的沙盒環境中，並且禁用某些的系統指令等等，另外各重要的可能是對智能合約代碼本身的代碼安全的檢查以及校驗，比較過多的智能合約的漏洞已經被不斷的爆出。比如現在已經知道的手段，形式化驗證等等，說形式化驗證的時候，就不得不說一下形式化方法。它是形式化驗證的基礎，簡單的說就是用數學工具進行定義、開發和驗證。
數學家們認為，不論硬件還是軟件工程，就像世間萬物一樣，所有的學問一樣，歸根結底是數學問題。因此如果真的所有的系統的設計以及開發都能夠按照嚴格的數學方法進行，那麼可想而知的是我們所開發的系統就會像數學本身一樣的完美，並且不會出錯。當然，這是一個最完美的理想。但是這的確是一個很好的奮鬥的方向，也是一個我們所希望能夠出現的東西。
綜上，專員覺得，其實事物都是在不斷的發展的過程中，我們需要注意的是，在這些浪潮中懂得更多，並且學會明辨是非，這樣才能更好的幫助我們判別一個項目的存在意義，以及未來發展方向。專員覺得，不管我們是不是一個技術人，在區塊鏈這個圈子中我們還是要多多少少懂一點技術，這樣才能有效的防止自己陷入空氣項目中。
閱讀更多 區塊鏈技術專員 的文章
