暗号資産の基盤技術である「スマートコントラクト」の脆弱性を突いた有名な攻撃事例(DAO事件など)の主な原因はどれか。

プログラムのロジック不備(再入攻撃など)が悪用された