米IT大手のマイクロソフトが、イーサリアムのスマートコントラクト形式的検証ツール・VeriSol (Verifier for Solidity)をオープンソースで公開しました。
同社のブロックチェーン基盤サービス「Azure Blockchain」向けに開発されたVeriSolは、イーサリアムのスマートコントラクトの動作を検証し、バグなどを自動検出するプロトコルです。
VeriSolは、イーサリアムのスマートコントラクト開発言語・Solidityで書かれたコードを検証言語・Boogieに変換し、バグの有無を数学的に検査することができます。
スマートコントラクトの脆弱性はハッキング被害を呼ぶ原因であり、イーサリアムでは過去にDAO事件など巨額の損失を生み出した事件が起こっています。
昨年夏に開発が始まったVeriSolは未だプロトタイプの段階ではありますが、マイクロソフトがAzure Blockchain Workbench上のスマートコントラクトを対象に行なった実証実験では未知のバグを発見することに成功したといいます。
マイクロソフトとJPモルガンが提携を発表 Azure上でQuorumのデプロイが可能に
記事ソース: マイクロソフト
関連記事 同じライターから
同カテゴリの人気記事
- ニュース2021/02/20
IOST保持者に向けたDonnieトークン / $DON のエアドロップ詳細が判明
Crypto Times 編集部
IOST保持者に向けたDonnieトークン / $DON…
- ニュース2023/01/26
ポルシェ NFTの価格が1日で3.5倍に | 最高値は約70万円
Crypto Times 編集部
ポルシェ NFTの価格が1日で3.5倍に | 最高…
- ニュース2019/03/16
SamsungのGalaxy S10に搭載される仮想通貨ウォレットの詳細が公開される
Crypto Times 編集部
SamsungのGalaxy S10に搭載される仮想通貨…
- ニュース2019/07/02
BraveブラウザがRedditとVimeo上での投げ銭機能を実装へ
Crypto Times 編集部
BraveブラウザがRedditとVimeo上での投げ…
- ニュース2019/03/11
広告視聴で仮想通貨が稼げるBraveブラウザ、BATトークンの配布を開始
Crypto Times 編集部
広告視聴で仮想通貨が稼げるBraveブラウザ…