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

イーサリアムなどの向上策を分析

暗号資産（仮想通貨）イーサリアム（ETH）の共同創設者のヴィタリック・ブテリン氏は18日、形式的検証（formal verification）に関するブログを公開した。

形式的検証とは一般的に、ソフトウェアなどのシステムの正しさを数学的に証明する手法のこと。ブテリン氏は、形式的検証とAI（人工知能）を組み合わせてイーサリアムなどの安全性や開発の効率性を高めることがで...