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