スマートコントラクトの安全性を確かめるスキャナが開発される