ヴィタリック、イーサリアムなどの安全性や効率性の向上策を分析

仮想通貨イーサリアムの共同創設者のヴィタリック・ブテリン氏は、形式的検証に関するブログを公開。イーサリアムなどの安全性や開発の効率性を高めることができる手法を提示している。