斯坦福大學終身教授張首晟：區塊鏈最核心的理念，必然是「 In Math We Trust 」

2018-6-14 16:04

來源：大數據文摘

加密貨幣當中最不安全的地方是哪里呢？

A：是人為的熵，大家寫程序的時候犯的錯。本來寫一個程序倒無所謂，但現在跟很多貨幣有關的話，是非常非常危險的，當然慢慢也會產生一些市場，自動地去堵這個風險。Formal verification 能夠自動檢測智能合約是不是你想描寫的那樣，這里面的數學是非常奇妙的，就是我剛才講的數學邏輯。

版權申明：本內容來自于互聯網，屬第三方匯集推薦平臺。本文的版權歸原作者所有，文章言論不代表鏈門戶的觀點，鏈門戶不承擔任何法律責任。如有侵權請聯系QQ：3341927519進行反饋。

		自動登錄	找回密碼
密碼			立即注冊