時間：2019-06-05 來源：互聯網 瀏覽量：
微軟為其以太空區塊鏈驅動的以太坊智能合約審計工具感到非常自豪 - 因此它決定在新的博客文章中炫耀該軟件的一些好處。
“ 這是使基於區塊鏈的應用程序可編程，可供企業客戶訪問，並能夠滿足各種行業[智能合約]的各種需求的關鍵驅動因素之一，”該文章稱。“與傳統代碼相比，它們可以增強對抗環境的信任，但同時也要確保其安全性。”
但是不用再擔心了，Goliath軟件認為它有解決這個困境的解決方案：Solifier的驗證者（對於那些不在線的人，Solidity是一種專為以太坊開發的編程語言） - 或者簡稱VeriSol。該工具與Azure的區塊鏈套件配對，據稱通過自動安全檢查簡化了代碼審計流程。
“ 由於自動和連續檢查，VeriSol允許我們更快地迭代，它使我們能夠更快地捕獲錯誤，而不必擔心可能會影響客戶，”Azure Blockchain工程師 Cody Born說。
IT專業人士經常淡化自動安全檢查的有效性，但微軟 堅持認為智能合約是這個規則的例外有幾個原因。
微軟首席研究員Shuvendu Lahiri說：“智能合約的適度代碼大小和順序執行語義使它們能夠進行可擴展的驗證，開放的操作環境大大減少了手動建模智能合約運營環境的需求。”
“ 對生產軟件使用形式驗證需要熟練掌握高度專業化的正式語言和工具的人員，這會給開發團隊帶來陡峭的學習成本，並且經常需要幾個人年的投資才能將高度複雜的驗證任務分解為可以通過驗證工具機械地排出，“他繼續道。
微軟很快指出，VeriSol 於2019年4月首次亮相，目前仍處於原型階段。不過，它的研究團隊非常看好該軟件的未來。
“ 我們設想的不僅僅是Azure區塊鏈開發商和客戶，而是為完整的區塊鏈生態係統做出貢獻，這種生態係統更安全，幫助人們充分發揮技術的潛力，而不會受到智能合約中代價高昂的錯誤的困擾，”Lahiri說。
那些對技術細分VeriSol感興趣的人可以在GitHub上查看它- 它都是開源的。
微軟可能對區塊鏈有點過於熱衷
奇怪的是，微軟引用了谘詢公司Gartner的研究，該公司認為區塊鏈技術可以在2026年之前為企業增加價值3600億美元。
巧合的是，它沒有提及Gartner最近的另一份報告，該報告推測90％的企業級區塊鏈很快就會過時 - 除非他們在2021年之前推出重大升級。
說到企業分布式分類賬技術，微軟一直在分散的軟件市場上沾沾自喜。它開發了許多用於構建分散式技術的軟件套件，如基於雲的區塊鏈開發套件，Visual Studio for Ethereum dapps以及分散式數字身份管理係統。
到目前為止，雷德蒙德巨頭已經為眾多備受矚目的公司提供區塊鏈解決方案，包括銀行巨頭摩根大通， 安永和 納斯達克。比爾蓋茨創立的公司 甚至幫助路易威登最近將其價格過高的衣衫襤褸置於區塊鏈上。
說出你的想法，但對於一家在2018年阻止了近500萬加密貨幣相關廣告的公司，微軟真的不會回避區塊鏈。猜猜我們可以將Windows製造商添加到越來越多的企業名單中，這些企業由“區塊鏈，而不是比特幣”咒語統治。
