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

この記事のポイント形式的検証×AIでETHの安全性向上へ防御側有利な安定局面到来をブテリン氏が予測イーサリアムなどの向上策を分析暗号資産（仮想通貨）イーサリアム（ETH）の共同創設者のヴィタリック・ブテリン氏は18日、形式的検証（formalverification）に関するブログを公開した。形式的検証とは一般的に、ソフトウェアなどのシステムの正しさを数学的に証明する手法のこと。ブテリン氏は、形式的検証とAI（人工知能）を組み合わせてイーサリアムなどの安全性や開発の効率性を高めることができると分析している...