獨家：富士通開發演算法識別智能合約的風險

Bianews獨家報道 區塊鏈技術是最安全、去中心化和透明的數據存儲形式，這是眾所周知的事實。

然而，以太坊智能合約區塊鏈的失敗率為0.36％也是事實。儘管這個智能合約失敗率看起來微不足道，但這就有可能讓一個公司在一眨眼之間損失數十億美元。

富士通團隊充分的認識到了智能合約的局限性，並且已經宣布要創立一個完美的解決方案。

零風險智能合約

總部在日本的科技巨頭富士通實驗室和富士通研發中心已經宣布成功創造了自動智能合同風險檢測技術。

該團隊開發了一種演算法，可快速發現以太坊智能合同中受風險影響的交易序列。

據富士通稱，這個新系統可以全面識別智能合約中的六種風險，這些風險在人工審查中很容易被忽略。該解決方案無縫識別在源代碼上的風險。

富士通表示，他們的風險檢測技術將幫助開發人員創立一個更為安全的智能合約：「區塊鏈提供一個名為智能合約的功能，其中合約可以在系統中自動形成，使用這個系統可以對合約進行自動檢查和執行。由於智能合約被複制到多個地點並以分散式的方式執行，因此一旦合同開始執行，它就不會輕易停止，即使在智能合約中發現風險也不能修改。」

富士通指出並補充說：「事實上，曾經發生過一個事故，由於在區塊鏈上，為了創建自動投資信任應用程序的一個智能合約存在缺陷，大量資金被錯誤地轉移。

一個革命性的解決方案

據富士通團隊稱，這種新演算法可以完全識別源代碼中隱藏的缺陷，這種缺陷可能會使應用程序容易受到未授權人員的操縱和攻擊。用富士通的話來說，這項技術可以：

「確定源代碼中的缺陷可能會導致風險，即某些人會通過在各種情況下使用符號執行來執行虛擬交易，而濫用以太坊的語言規範來冒充一個交易呼叫的發出地。」

該團隊還解釋說，該解決方案有能力準確識別和調試帶有風險源代碼的確切部分。

富士通自誇其新的風險驗證工具擁有100％的檢測率和88％的準確率，這是先前系統所從未實現過的壯舉：

富士通宣稱，「在此之前，驗證工具的檢測率大約為67％，而這項新技術能夠達到100％的檢測率(少數幾個項目外)，在精度方面它實現了高達88％的準確率，能夠實現高度精確的風險檢測以及源代碼風險位置識別」。

未來

富士通堅信其最新的解決方案將幫助開發人員創立更為可靠的智能合約，並將有助於各行各業對於區塊鏈技術的有效應用。

富士通還暗示，它將繼續為Hyperledger Fabric以及其他基於區塊鏈的框架開發有創新性的驗證技術。

該團隊還專註於創立可以促進100％安全的區塊鏈開發解決方案。

如果富士通的智能合約驗證技術能夠成功消除智能合約0.36％的失敗率，那麼我們可以說富士通確實解決了一個大問題。（Bianews 編譯）

喜歡這篇文章嗎？立刻分享出去讓更多人知道吧！