- 今週はマイクロソフトとオラクルのクラウド相互接続が発表されました。クラウド領域ではAmazonがシェアトップとなっていますが、それに次ぐMicrosoftがシェアを伸ばす形になります。ブロックチェーン領域に対応しているベンダーで見ると、MicrosoftとOracleの統合は大きなインパクトとなるのではないでしょうか。
目次
マイクロソフトとオラクル、クラウドの相互接続で合意。クロスクラウドのシングルサインオン、AzureからOracle Cloud Databaseへの接続などが可能に(6/6)
- マイクロソフトとオラクルは戦略的提携の下で、両社が運営するクラウドであるMicrosoft AzureとOracle Cloudの緊密な相互接続を行うと発表した。
- 両社のクラウドは、単に相互接続されるだけでなく、シングルサインオンも可能となる。
- 現時点では、北米にのみ展開する模様。
マイクロソフトがイーサリアムのスマートコントラクト検証ツールをオープンソースで公開 (6/6)
- 米IT大手のマイクロソフトが、イーサリアムのスマートコントラクト形式的検証ツール・VeriSol (Verifier for Solidity)をオープンソースで公開
- イーサリアムのスマートコントラクトの動作を検証し、バグなどを自動検出するプロトコル
- VeriSolは未だプロトタイプの段階だが、マイクロソフトがAzure Blockchain Workbench上のスマートコントラクトを対象に行なった実証実験では未知のバグを発見することに成功したとのこと。
