なぜ取引は改ざんされない？ サトシとビットコイン最初の受取人のとり |あたらしい経済

なぜ取引は改ざんされない？ サトシとビットコイン最初の受取人のとり

ビ ッ ト コ イ ン を 発 明 し, 未 だ そ の 正 体 が 分 か っ て い な い サ ト シ · サ カ モ ト. そ ん な サ ト シ が 残 し た 約 2 年 間 の 文章 を, 小 宮 自由 氏 の 解説 と 共 に 紹 介 す る 連載 「サ ト シ · ナ カ モ ト が 残 し た 言葉 ~ ビ ッ ト コ イ ン の歴史をたどる旅」の第6回。

今 回 は サ ト シ の メ ー ル の 前 に, 本 連載 の 元 に な っ て い る 書籍 「ビ ッ ト コ イ ン バ イ ブ ル: サ ト シ ナ カ モ ト と は 何 者 か」 の 著者 フ ィ ル · シ ャ ン パ ー ニ ュ 氏 の 解説 も 掲 載 す る.

フィル・シャンパーニュ氏の解説

こ の 投稿 に は 数 点 の 質問 と そ れ に 対 す る サ ト シ の 回答 が 収録 さ れ て い る. 質問 者 は, ビ ッ ト コ イ ン 送 金 の 最初 の 受 取 人 と な っ た Хал Finney で あ る.

第一 の 質問 で は, ブ ロ ッ ク へ 取 引 が 編 入 さ れ る ま で の 間, マ イ ナ ー が ど の よ う に 取 引 を 保持 す る か, サ ト シ が 解説 し て い る.

第二の質問では、サトシは、特定のブロックチェーンでは二重支払が起きえないことを説明し、二人のマイナーが同時にブロックの解決に至ったときに、どのような仕組みで片方のブロックチェーンのみが勝利するかを解説している。ここでは、また、ブロックチェーンで公式に確認されるまで、受取人の側で一時間、取引を保持しなければならない仕組みも説明している。サトシは、取引の確認とブロックチェーンへの不可逆的な編入に要する最適な時間として、6ブロック分という数字（1ブロック当たり10分に6ブロックをかけると60分＝1時間になる）に言及している。

第三 の 質問 で は, ビ ッ ト コ イ ン へ の 攻 撃 者 が 「履 歴 を 書 き 換 え る」, つ ま り, ブ ロ ッ ク チ ェ ー ン を 改 変 し て 再 構築 す る に は 何 を し な け れ ば な ら な い か, サ ト シ が 論 じ て い る. 過去 の ブ ロ ッ ク に取 引 を 追加 し た り 削除 し た り す る に は, 現在 進行 中 の ブ ロ ッ ク チ ェ ー ン の 作業 に 従 事 す る ネ ッ ト ワ ー ク 内 の 全 て の マ イ ナ ー を 上 回 る 速度 で 書 き 換 え る 必要 が あ る. 孤 児 ブ ロ ッ ク*1 に つ い て 記述 し た 箇 所 で, 最長 の ブ ロ ッ ク チ ェ ー ン と は ネ ッ ト ワ ー ク 全体 が 使 っ て い る ブ ロ ッ ク チ ェ ー ン で あ る, と し た 議論 を 思 い 出 し た い. サ ト シ は 言 う. 「CPU-ийн パ ワ ー の プ ル ー フ · オ ブ · ワ ー ク に よ る 投票 が 最後 の 決定 でな け れ ば な り ま せ ん. 全員 が 理解 す べ き 唯一 の 条件 は, 最長 の チ ェ ー ン が 常 に 有効 な チ ェ ー ン で あ る と 信 じ る こ と の み で す 」.

第四の質問は、受取人による送金取引の検証に関するものであ。

第五 の 質問 は, シ ス テ ム 内 の ノ ー ド (つ ま り, マ イ ナ ー) の 役 割 に つ い て で あ る. 一 人 の マ イ ナ ー が プ ル ー フ · オ ブ · ワ ー ク (先頭 に 正 解 の 個数 の ゼ ロ が 並 ぶ ハ ッ シ ュ 値) を 発 見 す る と, い ま 「採掘した」ブロックをブロードキャスト*2 す る. こ の ブ ロ ッ ク に は 幾 つ か の 取 引 が 含 ま れ て い る. こ の ブ ロ ッ ク を 受 け 取 っ た ネ ッ ト ワ ー ク 内 の 全 ノ ー ド は, ブ ロ ッ ク に 含 ま れ る 全 て の 取 引 の 有効性 を チ ェ ッ ク し て こ れ を 有効 化 し な け れ ば な ら な い.

最後 に, サ ト シ は, 全 て の 問題 点 が 解決 し た こ と を 自 分 で 確信 す る た め, ビ ッ ト コ イ ン 告知 の 論文 執筆 の 前 に コ ー ド を 書 い た こ と を 報告 し て い る.

【訳注】
*1 ネットワーク全体により受け入れられなかったブロックのことクのこと。第7
*2 取引データをビットコイン・ネットワークに送信すること

サトシ・ナカモト 2008 оны 11 сарын 09 өдөр

それでは2008年11月9日11時13分34秒のサトシのメールをみていこう。

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

Re：ビットコイン ピア・ツー・ピア 電子キャッシュ 論文

サトシ・ナカモト　2008年11月09日　日曜日　11時13分34秒　-0800

（注：斜体はサトシ以外の者の質問を指す）

Hal Finneyは書きました:

ブ ロ ー ド キ ャ ス ト し た 取 引 が 全 ノ ー ド に 届 か な く て も, は る か 以前 に ブ ロ ッ ク チ ェ ー ン に 編 入 さ れ て い る か ら OK だ, と 述 べ ら れ て い ま す. こ れ は ど う し て 可能 な の で し ょ う? も し 「次 の」 ブ ロ ッ ク を 作成 す る ノ ー ド (ハ ッ シ ュ キ ャ ッ シ ュ 衝突 * 3 を 最初 に 発 見 し た ノ ー ド) が 取 引 を 受 信 し な か っ た と い う 状況 が 発 生 し, そ の 取 引 を 受 信 し な か っ た ノ ー ド に よ り, あ と 数 ブ ロ ッ ク が 追加 さ れ た ら ど う な り ま す か? 受 信 し た 全 ての ノ ー ド が, 運 よ く 次 の ハ ッ シ ュ キ ャ ッ シ ュ 衝突 を 発 見 で き た と き に ブ ロ ッ ク に 編 入 さ れ る の を 期待 し な が ら, そ の 取 引 を 保持 す る こ と に な る の で す か?

そ の 通 り で す. ノ ー ド は, ブ ロ ッ ク に 編 入 さ れ る ま で 取 引 を 作業 セ ッ ト に 保持 し ま す. 取 引 が ノ ー ド の 90% нь に 届 け ば, 新 た な ブ ロ ッ ク が 見 つ か る た び に, そ の 取 引 が ブ ロ ッ ク に 編 入 さ れ る チ ャ ン ス が90%になります。

あ る い は, 例 え ば, と あ る ノ ー ド が 二 つ 以上 の チ ェ ー ン を 保持 し, ど の チ ェ ー ン が 最 も 速 く 成長 す る か を 見 て い る と し ま す. そ の と き, あ る ブ ロ ッ ク は チ ェ ー ン А に 入 っ て く る が, А に は チ ェ ー ンB 内 の コ イ ン の 二 重 支 払 が 含 ま れ る と し た ら ど う な り ま す か? チ ェ ッ ク さ れ ま す か, さ れ ま せ ん か? (こ れ が 起 き る の は, 誰 か が 二 重 支 払 を 実 行 し, 二 つ の 異 な る ノ ー ド 群 が 同一のコインによる二つの異なる取引を受信した場合です）

そ れ は チ ェ ッ ク す る 必要 は あ り ま せ ん. 取 引 は ど ち ら の チ ェ ー ン に 入 っ て も 同 じ で, 最終 的 に 先行 し て 伸 び た 方 が 有効 な 取 引 に な り ま す. 二 重 支 払 を 試 み て も, 有効 と な る の は 必 ずどちらか片方の取引で、その他は全て無効になります。

通常, 取 引 を 受 信 し た ら, 一 時間 強, 保持 す る 必要 が あ り ま す. こ れ は, こ の 種 の (二 重 支 払 の よ う な) 可能性 を 解決 す る 時間 を 確保 す る た め で す.

最初 の 送 金 の 直 後 に コ イ ン を 再送 金 す る こ と は で き ま す が, 商品 発 送 な ど の 行動 を 起 こ す 前 に 待 ち 時間 が 生 じ る の で す.

私 が 正確 に 理解 で き て い な い の は, 全 て の 誠 実 な 参加 者 を 上 回 る 計算 パ ワ ー を 行使 す る 優勢 な 攻 撃 者 が, 二 重 支 払 や 取 引 の 取消 を ど の よ う に 実 行 す る か, で す. 攻 撃 者 が新 た な ブ ロ ッ ク を 作成 し, チ ェ ー ン に 追加 し て 最長 の チ ェ ー ン を 生 み 出 せ る の は 分 か り ま す が, チ ェ ー ン 内 の 過去 の 取 引 の 削除 や 追加 は ど う や っ た ら で き ま す か? 攻 撃 者 が 新 し い ブ ロ ッ ク を ブ ロ ー ド キ ャ ス ト す る と きに, 何 も 削除 さ れ て い な い こ と を 確認 す る た め, 誠 実 な ノ ー ド に よ る 一貫 性 の チ ェ ッ ク が 行 わ れ る の で す か? こ の 種 の 攻 撃 に 関 し て も っ と 説明 が あ る と, こ の 攻 撃 で 攻 撃 者 が 得 る 利益 と,自 分 の 計算 能力 を 新 規 コ イ ン の 通常 の 造幣 作業 (マ イ ニ ン グ) に 使 う こ と の 利益 の 比較 考量 を す る 上 で 手 助 け に な り ま す.

攻 撃 者 は ブ ロ ッ ク を 末尾 に 追加 し ま せ ん. 戻 っ て 自 分 の 取 引 が 含 ま れ る ブ ロ ッ ク と そ の 後 の 全 て の ブ ロ ッ ク に 対 し て 再度 作業*4 を し な け れ ば な り ま せ ん. 加 え て, 再 作業 の 最 中 に も チ ェ ー ン の 末尾 に は 新 た な ブ ロ ッ ク が 次 々 と 追加 さ れ て い き ま す が, そ れ に 対 し て も 再度 作業 し な け れ ば な り ま せ ん. 攻 撃者 は 履 歴 を 書 き 換 え て い る こ と に な り ま す. 自 分 の チ ェ ー ン が 長 さ で 上 回 れ ば, そ れ が 新 た に 有効 な チ ェ ー ン と な り ま す.

これは重要なポイントです。接続中の全員が詐欺行為を目撃していなでしていても

最長 の チ ェ ー ン が 常 に 有効 な チ ェ ー ン で あ る と い う こ と が 絶 対 に 必要 で す. 接 続 中 の ノ ー ド た ち は, 最初 に あ っ た の は 片 方 の チ ェ ー ン で, そ れ が 別 の チ ェ ー ン に 置 き 換 わ っ た の を 覚 え て い る でし ょ う. し か し, チ ェ ー ン が 切 り 替 わ る と き に 接 続 中 で な か っ た ノ ー ド に こ の 事 実 を 伝 え て も 説得 は で き ま せ ん. あ る チ ェ ー ン が 最初 だ っ た と 思 い 込 ん で か た く な に 曲 げ よ う と し な い ノ ー ド, 別 の チ ェ ー ン を 最初 に 見 た別 の ノ ー ド, 遅 れ て 接 続 し, 何 が 起 き た か を 見 な か っ た ノ ー ド, と い う よ う に, ノ ー ド の 立場 の 細分 化 は あ り え ま せ ん .CPU パ ワ ー の プ ル ー フ · オ ブ · ワ ー ク に よ る 投票 が 最後 の 決定 で な け れば な り ま せ ん. 全員 が 理解 す べ き 唯一 の 条件 は, 最長 の チ ェ ー ン が 常 に 有効 な チ ェ ー ン で あ る と 信 じ る こ と の み で す.

送 金 取 引 に つ い て で す が, コ イ ン の 受 取 人 は ど ん な チ ェ ッ ク が 必要 で す か? 過去 の コ イ ン 送 金 の 全 履 歴 を さ か の ぼ っ て, リ ス ト 上 の 全 取 引 が 確 か に 「タ イ ム ス タ ン プ」 の ブ ロ ッ ク チ ェ ー ン に 連結 さ れ て い る のを確認する必要がありますか？ 最新の履歴だけで済みますか？

受 取 人 の ノ ー ド で 必要 と さ れ る 作業 は, ブ ロ ッ ク チ ェ ー ン 内 で 十分 な 過去 の 時点 に 相当 す る 深 さ に ま で さ か の ぼ っ て 検 証 す る こ と だ け で す が, 通常, 条件 と な る 深 さ は せ い ぜ い 取 引 二 つ 分です。それ以前の取引はチェックせずとも影響はありません。

タ イ ム ス タ ン プ · ノ ー ド が 取 引 を チ ェ ッ ク す る と き は, コ イ ン 内 の 直 前 の 取 引 が チ ェ ー ン に 含 ま れ て い る こ と を 確認 し, チ ェ ー ン 内 の 全 て の 取 引 の 有効 を よ り 強 く 証明 し ま す か?

ま さ に そ の 通 り で す. ノ ー ド が ブ ロ ッ ク を 受 け 取 る と, 含 ま れ る 全 て の 取 引 の 署名 を 過去 の 取 引 に 照 ら し て チ ェ ッ ク し ま す. ブ ロ ッ ク に 含 ま れ る 取 引 は, 同一 ブ ロ ッ ク か, 直 前 の 数 ブ ロ ッ ク か, い ず れ か のう ち の 有効 な 取 引 に 依存 す る も の だ け で す. 例 え ば, 取 引 C は 同一 ブ ロ ッ ク 内 の 取 引 B に 依存 し, 取 引 B は 前 の ブ ロ ッ ク 内 の 取 引 А に 依存 す る, と い う 具 合 で す.

質問 ば か り で す み ま せ ん. 前 に も 述 べ た よ う に, こ れ は 有望 か つ 独創 的 な ア イ デ ア で す し, 今後 ど う 発 展 す る か を 楽 し み に し て い ま す. こ の ア イ デ ア を も っ と プ ロ セ ス 重視 で 説明 し て く れ る と 参考 に な りま す し, 多 様 な 対 象 (コ イ ン, ブ ロ ッ ク, 取 引) の デ ー タ 構造 の 具体 的 な 詳細, メ ッ セ ー ジ に 含 ま れ る デ ー タ, シ ス テ ム 内 で 発 生 す る 多 様 な 出来 事 の 処理 過程 の ア ル ゴ リ ズ ム 的 な 説明 が あ る と 助 か り ま す.あ な た は 実 装 に 取 り 組 ん で い る と 言 っ て い ま し た が, シ ス テ ム に 関 し て テ キ ス ト に よ る も っ と 形式 的 な 説明 が あ る と, よ り 有益 だ と 思 い ま す.

質問 に 感謝 し ま す. 実 は 実 装 の 方 が 先行 し て い ま し た. 全 て の 問題 点 を 解決 で き る 確信 を 持 つ 前 に 全 て の コ ー ド を 書 く 必要 が あ っ て, 論文 を 書 い た の は そ れ が 済 ん で か らで し た. 詳 し い ス ペ ッ ク を 書 く 前 に コ ー ド を リ リ ー ス で き る と 思 い ま す. 皆 さ ん が 想 定 し た 事項 の 大半 は 的 を 射 た 正 し い も の で す. 皆 さ ん の 質問 に よ っ て, シ ス テ ム の 説明 に 関 し て 不 十分 な 点 を 補 完 で き ま した。

サトシ・ナカモト

暗号学メーリングリスト

【訳注】
* 3 ハ ッ シ ュ キ ャ ッ シ ュ に お い て, ハ ッ シ ュ 関 数 に 出力 さ れ る ハ ッ シ ュ 値 が あ る 値 以下 に な る よ う な 入 力 値 の こ と を, こ の よ う に 表現 し た と 考 え ら れ る.
* 4 ハ ッ シ ュ キ ャ ッ シ ュ 型 の プ ル ー フ · オ ブ · ワ ー ク に お い て, ハ ッ シ ュ 値 が あ る 値 以下 に な る よ う な 入 力 値 を 見 つ け る 作業 の こ と. こ の 後 に 出 て く る 「作業」 も 同 じ 意味.

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

Тайлбар

サ ト シ と の 一 問 一 答 で す. 質問 者 の 主 な 関心 事 は 「ど の よ う に 取 引 の 改 ざ ん を 防 い で い る か」 「改 ざ ん に 対 抗 す る た め に は ど う し た ら い い か」 で す. こ れ は デ ジ タ ル 通貨 に お い て唯一 か つ 究 極 の 要 望 で は な い で し ょ う か. ど ん な に 便利 な イ ン タ ー フ ェ ー ス で も, 改 ざ ん さ れ て し ま え ば そ の 通貨 は 信用 を 失 い ま す. こ の 問題 に 多 く の ユ ー ザ が 興味 を 持 つ の は 当然 の こ と で す.

サトシの回答は、今日においても完璧に通用するものであり、ビットアアイ
の 完成 度 の 高 さ が 伺 え ま す. サ ト シ は 論文 に 先行 し て コ ー ド を 実 装 し て お り, こ こ か ら 彼 の 実 践 主義 的 性格 が 垣 間 見 え ま す.

小宮自由

→この連載の他の記事を読む

参考 リ ン ク

・取引（トランザクション）

（Зураг: iStock/ Фотоплотников・Бенсон Жорж）