【SC試験】ブロックチェーンの暗号技術 — マークル木・電子署名の活用 問題セット

正解： イ

解説：

• ア）不正解。マークル木は暗号化による秘匿化の仕組みではなく、ハッシュ関数を用いた完全性検証（改ざん検知）のためのデータ構造である。秘密鍵による復号という概念は登場しない。
• イ）正解。マークル木は各トランザクションのハッシュ値を葉ノードとし、隣接するペアのハッシュ値を連結してハッシュ化する処理を木構造の階層に沿って繰り返し、最終的に単一のマークルルートに集約する。ブロックヘッダにはこのルートハッシュのみが格納され、末端のどのトランザクションが1ビットでも改ざんされても、そのハッシュ値が変わり連鎖的にルートハッシュも変化するため、ブロック全体を保持しなくても改ざんの有無を検証できる。
• ウ）不正解。マークル木の主目的の一つは、軽量な検証（SPV: Simplified Payment Verification等）を可能にし、全トランザクションデータを保持せずとも特定のトランザクションがブロックに含まれることを効率的に証明できるようにする点であり、暗号化強度を高めることが目的ではない。
• エ）不正解。マークル木の利点はまさにその逆で、「マークルパス（証明対象の葉から根までの経路上の兄弟ハッシュ値のみ）」を提示すれば、ブロック内の全トランザクションを送信・保持せずとも特定のトランザクションの包含性を検証できる点にある（対数オーダーの検証コスト）。

正解： イ

解説：

• ア）不正解。多くのパブリックブロックチェーン（Bitcoin、Ethereum等）ではトランザクション内容自体は暗号化されず公開されている（透明性が特徴）。電子署名の目的は秘匿化ではなく、送信者の認証と非改ざん性・否認防止の担保である。
• イ）正解。ブロックチェーンのトランザクションでは、送信者（アカウントの秘密鍵保有者）がトランザクション内容のハッシュ値等に対して秘密鍵で署名し、これをブロードキャストする。ネットワークの各ノードは送信者の公開鍵（多くの場合アドレスから導出・関連付けられる）を用いて署名を検証し、正当な秘密鍵保有者による操作であること、および署名後にデータが改ざんされていないことを確認する。これによりなりすましや取引内容の改ざんを防止する。
• ウ）不正解。トランザクションに署名するのは各トランザクションの送信者（発行者）本人であり、マイナー（採掘者）ではない。マイナーの役割はトランザクションを検証・ブロックにまとめてコンセンサスアルゴリズムに従いブロックを生成することであり、他者のトランザクションに署名する立場にはない。
• エ）不正解。電子署名はトランザクションの正当性検証のための要素であり、コンセンサスアルゴリズム（PoW: Proof of Work、PoS: Proof of Stake等、ブロック生成者を決定・合意形成する仕組み）そのものを構成する要素ではない。両者は異なるレイヤの技術であり、混同しないよう注意が必要。

正解例： 各取引先は自身のみが保持する秘密鍵を用いて出荷証明トランザクションのハッシュ値に対してデジタル署名を生成する。秘密鍵は当該取引先本人しか保持していないため、生成された署名は本人以外には作成できず、ネットワーク上の各ノードは公開されている取引先の公開鍵を用いて署名を検証することで、当該トランザクションが確かにその秘密鍵保有者によって作成されたことを数学的に証明できる。これにより取引先は後から「発行していない」と主張しても、有効な署名が存在する事実によってその主張が否定され、否認防止が実現される。

解説： 電子署名による否認防止は、公開鍵暗号方式の非対称性（秘密鍵でしか生成できない署名を、対応する公開鍵で誰でも検証できる）を根拠とする。ブロックチェーンでは各アカウントが秘密鍵・公開鍵ペアを持ち、トランザクションへの署名を通じてこの否認防止の性質を分散型ネットワーク上で実現している点が中央集権的なシステムとの違いである。秘密鍵の管理（漏えい防止）が否認防止の前提を支える重要な要素である点にも留意する必要がある。

採点基準（14点）：

• 「秘密鍵は本人のみが保持し、その鍵でしか署名を生成できない」（5点）
• 「公開鍵で誰でも検証可能」（3点）
• 「これにより本人以外が作成できない署名の存在が否認を防ぐ」という結論（6点）

正解例（軽量検証）： 監査対象のトランザクションのハッシュ値から、マークル木のルートに至る経路上で必要となる兄弟ノードのハッシュ値の列（マークルパス）のみを取得し、監査人自身が対象トランザクションのハッシュ値とマークルパス上のハッシュ値を順に連結・ハッシュ化していくことで、最終的にブロックヘッダに記録されているマークルルートと一致するかを検証する。この方法ではブロック全体のトランザクションを取得する必要がなく、木の高さに比例した対数オーダーのデータ量・計算量で包含証明ができる。

正解例（存在証明への転用の妥当性）： 技術的に妥当性がある。マークルルートはその時点でのブロック内全トランザクションのハッシュ値から一意に計算される値であり、後から任意のトランザクション内容を変更するとルートハッシュが変化してしまう（衝突耐性のあるハッシュ関数を前提とする限り、同一のルートハッシュを持つ異なるデータ集合を作ることは計算上困難）。ブロックチェーン自体がブロック生成時刻の記録やタイムスタンプと結びついている場合、そのブロックのマークルルートは「その時点までに、その内容のデータが存在した」ことを示す証跡として活用でき、実際に既存のタイムスタンプ局のプロトコルやデータ証明サービスに応用されている。ただし、この妥当性はハッシュ関数の衝突耐性が保たれていることが前提であり、危殆化した弱いハッシュ関数を使っている場合はこの性質が崩れる点に注意が必要である。

解説： マークルパスによる検証はSPV（Simplified Payment Verification）等で実際に利用されている軽量検証手法であり、対数オーダーのデータ量で包含証明が可能な点がマークル木の実務上の価値である。また、ハッシュ値の一意性・衝突耐性を根拠にした存在証明（Proof of Existence）への応用は、ブロックチェーンのタイムスタンプ的性質を利用した実例が既に存在する分野であり、SC試験の午後問題でも「ハッシュの性質を応用した別用途への転用の妥当性を評価する」問われ方がされることがある。

採点基準（16点）：

• 軽量検証：「マークルパス（経路上の兄弟ハッシュ）のみを用いる」（5点）
• 軽量検証：「対象データとマークルパスからルートハッシュを再計算し一致を確認」（4点）
• 軽量検証：「ブロック全体を取得する必要がなく効率的」への言及（2点）
• 存在証明の妥当性：「衝突耐性のあるハッシュ関数が前提であれば妥当」という条件付きの評価（5点）