SaaSベンチャーで働くエンタープライズ部長のブログ

devcon5 エントランス 10月8日〜11日まで大阪で行われたEthereum Devconに参加してきました。面白いプロジェクトをいくつも見つけたのでざっと紹介していきます。 verX verx.ch Ethereumのsolidityコントラクトの形式検証用ツールです。solidityのテストツールはtruffleなど多くありますが、形式検証を簡単にするためのツ…