[cryptopack id="115"]

マイクロソフトがイーサリアムのスマートコントラクト検証ツールをオープンソースで公開

ブログランキングに参加中!!ポチッと押して応援よろしくお願い致します!!

にほんブログ村 投資ブログ 仮想通貨投資へ

マイクロソフトがイーサリアムのスマートコントラクト検証ツールをオープンソースで公開

 

マイクロソフトがイーサリアムのスマートコントラクト検証ツールをオープンソースで公開

2019/06/06 06:20

米IT大手のマイクロソフトが、イーサリアムのスマートコントラクト形式的検証ツール・VeriSol (Verifier for Solidity)をオープンソースで公開しました。

同社のブロックチェーン基盤サービス「Azure Blockchain」向けに開発されたVeriSolは、イーサリアムのスマートコントラクトの動作を検証し、バグなどを自動検出するプロトコルです。

VeriSolは、イーサリアムのスマートコントラクト開発言語・Solidityで書かれたコードを検証言語・Boogieに変換し、バグの有無を数学的に検査することができます。

スマートコントラクトの脆弱性はハッキング被害を呼ぶ原因であり、イーサリアムでは過去にDAO事件など巨額の損失を生み出した事件が起こっています。

昨年夏に開発が始まったVeriSolは未だプロトタイプの段階ではありますが、マイクロソフトがAzure Blockchain Workbench上のスマートコントラクトを対象に行なった実証実験では未知のバグを発見することに成功したといいます。

記事ソース: マイクロソフト

配信元:

 

引用元:https://cc.minkabu.jp/news/2787

当サイトは非営利にて運営を行わせて頂いております。
運営に関する募金はビットコインにて随時行わせて頂いております。
もし今後も当サイトを応援して頂ける方は是非ビットコインにて募金して頂けますと幸いです。

■ビットコイン(Bitcoin)
1L1mCDuAPZJJtt7boJvDzBNCqv66X3eqgQ

■イーサリアム(Ether)
0xB6c362e6c49F54F271E17CC1D064D5Ae6605066B

コメントを残す

%d人のブロガーが「いいね」をつけました。