マイクロソフトのブロックチェーン基盤サービス「Azure Blockchain」向けに開発されたVeriSolは、イーサリアムのスマートコントラクトの動作を検証し、バグなどを自動検出するプロトコルのこと。同社がAzure Blockchain Workbench上のスマートコントラクトを対象に行なった実証実験では未知のバグを発見することに成功したという。
No related posts.
入力エリアすべてが必須項目です。メールアドレスが公開されることはありません。
内容をご確認の上、送信してください。
チャート一覧
コメントを残す