智能合約是基於區塊鏈技術能執行合約條款的電腦化交易協議，它能在網路上讓陌生人之間實現類似於法律合同效用的商業行為，其優勢是不需要公正第三方即可自動執行合約條款。基於底層區塊鏈的設計，智能合約是在網路的多個節點上執行，因此其安全性取決於該合約的執行環境是否能正確無誤的執行合約內容。「智能合約的沙箱檢測技術研究」將研發智能合約執行行為的側寫與分析平台。在智能合約上線佈署前或執行中，進行合約測試、行為側寫、異常分析等功能以確保合約執行無誤。本計畫針對全球最大的智能合約平台─以太坊─的執行虛擬機進行側寫工具開發，所預期之成果可將智能合約於虛擬機中執行的每一個步驟記錄下來，並製作合約的行為側寫檔案，可用於稽核與異常行為偵測。我們亦導入序列行為分析之演算方法，判定合約執之行為是否具有不正常之特徵，提早發現合約的執行問題。文獻中尚未有針對智能合約執行之安全稽核側寫工具，但若無此側寫平台及行為分析服務，我們將無法有效的監控與管理智能合約執行，因此本計畫將補足該資訊安全的技術缺口。

To be continued.