ナカモトの二重支払い攻撃分析—ビットコイン安全性の理論的基盤を探る