微軟律師：比特幣不會導致犯罪分子開展勒索軟件攻擊

金色財經報道，美國眾議院小組委員會于周二舉行了一場針對勒索軟件的聽證會。與一些行業觀察家反復出現的擔憂相反，在眾議院能源和商業委員會的監督和調查小組委員會面前，多名證人指出了加密領域優秀參與者的重要性。其中，微軟律師Kemba Walden指出了比特幣在許多勒索軟件攻擊中的作用。 Walden稱，這項技術不會導致犯罪分子犯下這些罪行，加密行業內合規的利益相關者與受害者一樣渴望消除勒索軟件的威脅。雖然安全與技術研究所首席執行官Philip Reiner稱“必須更好地了解加密貨幣行業并對其進行更嚴格的監管”，但他還指出，他所服務的勒索軟件工作組的調查結果是“加密貨幣不一定是個問題。”根據Reiner的說法，有必要擴大的監管可能是“擴大已經可用的KYC和AML規則的應用”。（The Block）

動態 | 微軟公布新開源形式驗證工具VeriSol，旨在優化智能合約質量:據Crypto Globe消息，6月3日，微軟研究院（Microsoft Research）在博客中揭示了一個新的開源形式驗證工具。該工具旨在提高使用Solity（為以太坊區塊鏈構建的編程語言）子集編寫的智能合約的質量。 新工具名為VeriSol（即Verifier for Solidity），曾出現在一篇概述微軟Azure區塊鏈智能合約驗證的設計和應用的學術論文中。博客文章稱，盡管VeriSol迄今仍然是一個主要由Azure智能合約驅動的原型，但研究人員對其期望很高，同時也在鼓勵開放協作以促進形式驗證發展并引入主流智能合約開發中。[2019/6/4]

動態 | 微軟發布人工智能和區塊鏈相關云服務:據國外媒體報道，當地時間周四微軟宣布為軟件開發商推出一系列新的云服務工具，旨在讓企業更容易使用人工智能和區塊鏈等技術。微軟的格思里表示，區塊鏈還有其他用途，比如微軟幫助星巴克建立的系統，可以在咖啡從農場到商店再到顧客杯子的過程中對整個流程進行追蹤。[2019/5/4]

聲音 | Phillip Nunn：Ripple將成為加密貨幣行業的微軟:Wealth Chain Capital首席執行官Phillip Nunn是XRP的反對者之一，然而近日他在Ripple網站上改變了自己的立場，向他的3.15萬名Twitter粉絲解釋了自己的新立場，他說:我從來不是Ripple的支持者。但Ripple正在采取一些嚴肅的行動，他們將成為加密貨幣行業的微軟。[2018/10/5]