クリプトコインポータル ~暗号資産・ブロックチェーンプロジェクト 総合情報サイト~

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

公開日: 

 マイクロソフトのブロックチェーン基盤サービス「Azure Blockchain」向けに開発されたVeriSolは、イーサリアムのスマートコントラクトの動作を検証し、バグなどを自動検出するプロトコルのこと。同社がAzure Blockchain Workbench上のスマートコントラクトを対象に行なった実証実験では未知のバグを発見することに成功したという。

詳細はこちら→→→CryptoTimes

コメントを残す

入力エリアすべてが必須項目です。メールアドレスが公開されることはありません。

内容をご確認の上、送信してください。

検索

チャート

チャート一覧

Twitter