Can you summarize the following document?
        
  智慧合約是“執行合約條款的計算機交易協議”。 區塊鏈上的所有使用者都可以看到基於區塊鏈的智慧合約。但是,這會導致包括安全漏洞在內的所有漏洞都可見,並且可能無法迅速修復。  這樣的攻擊難以迅速解決,例如,2016年6月The DAOEther的漏洞造成損失5000萬美元,而開發者試圖達成共識的解決方案。 DAO的程式在黑客刪除資金之前有一段時間的延遲。以太坊軟體的一個硬分叉在時限到期之前完成了攻擊者的資金回收工作。  以太坊智慧合約中的問題包括合約程式設計Solidity、編譯器錯誤、以太坊虛擬機器錯誤、對區塊鏈網路的攻擊、程式錯誤的不變性以及其他尚無文件記錄的攻擊。  2018年4月22日, BeautyChain智慧合約出現重大漏洞,黑客通過此漏洞無限生成代幣,導致 BitEclipse (BEC)的價值接近歸零。 同月25日,SmartMesh出現疑似重大安全漏洞,宣佈暫停所有SMT交易和轉賬直至另行通知,導致損失約1.4億美金。 28日,EOS被指可能存在BEC代幣合約類似的整數溢位漏洞,但沒訊息詳細說明。5月24日, BAI交易存在大量異常問題, 損失金額未知。 8月22日, GODGAME 合約被黑客入侵,GOD智慧合約上的以太坊總數歸零。

  部署智慧合約的案例有:

  Karl Schroeder的2002年小說“續航力 (小說)”提出了一種“權利經濟”,其中所有的物理物件都有合同要求的奈米標記,這樣就可以對專有資訊的所有用途實施付款,例如,深空軍事任務必須不斷證明每艘船舶的效益比率否則將停止工作。
智慧合約(英語:Smart contract ;智慧合同)是一種特殊協議,在區塊鏈內製定合約時使用,當中內含了程式碼函式 (Function),亦能與其他合約進行互動、做決策、儲存資料及傳送以太幣等功能. 智慧合約主力提供驗證及執行合約內所訂立的條件. 智慧合約允許在沒有第三方的情況下進行可信交易。這些交易可追蹤且不可逆轉。智慧合約概念於1994年由一名身兼電腦科學家及密碼學專家的學者尼克·薩博首次提出。