計算の困難性を利用する-ビットコインの場合-