富士通研究所、ブロックチェーンのリスクを検証する技術を開発、網羅的にリスクを自動検出し、スマートコントラクトの安全性を向上(2/2)