VitalikのSF小説『雪月』第15章

第15章

自由城、連合都市国家群 · 3724 火月 17日

ヤーンは自由城経済学院の改札を抜け、食堂へ向かった。

まだ未明だった。ヤーンはその日のニュースをあえて見ないようにした——まず頭を整理して、食堂のスクリーンで講義を楽しむのがいい。

一分ほど歩くと、もう着いた。

スクリーンの内容を見た瞬間、彼の目は恐怖で凍りついた。

特別放送

北極帝国が紅郡を侵攻・併合

ヤーンは記者が詳細を語るのを集中して聞き始めた。

今朝15500時、大量の北極のドローンと飛行体が紅郡の主要都市と軍事基地に着陸した。同時に、北方は大規模な地上侵攻を開始し、数千台の車両がそれまで誰も知らなかった地下トンネルから溢れ出た。

紅郡軍は完全に不意を突かれ、多くの人が最高層の汚職を疑っている。主要な戦闘は二長時も続かず、死傷者はごく限られていた。これにより、紅郡守備軍はほぼ全員が降伏した。

彼は食堂に約十人が座っているのを見た。その中にはウタクもいて、ヤーンと同じように衝撃を受けているようだった。

大統領アルバー、首相セレディル、議会の大部分を乗せた三機の政府機が離陸を試みた。三機とも撃墜された。現在の兆候では生存者はいない。

大統領の息子タフィンデルは北極に囚われているとみられる。

記者は少し間を置いて、また話し始めた。

たった今、入ってきた情報によると：

南方の最後の紅郡守備軍が条件付き降伏に合意した。駐屯軍のスタッフに加え、二人の上院議員を含む三十名のその他の人員が、駐屯軍がすべての自衛の試みを停止する代わりに、デファンヴィルへ飛ぶことを許可される。

この三機は五分後に離陸し、離陸を許可される唯一の機体となる。北極当局は他のいかなる車両の紅郡への出入りも許可していない。彼らはすでにすべての通信を遮断し、妨害装置の設置を積極的に進めている。

「これからどうする？」ヤーンはウタクと共にテーブルのそばに立ち、つぶやいた。

「脅威を真剣に受け止めろ」とウタクは答えた。

ヤーンがまだ視線を外さないうちに、ウタクはすでに携帯端末で素早くタイピングを始めていた。

メルダン・ヴィリディア

グラディアスとセラはスクリーンを見つめ、フェブリクとヘレダがそのそばにいた。彼らはちょうど日の出とともに目を覚ましたところで、陽光が窓から明るく差し込み、外の歩道の木々はすでに長い朝の影を落としていた。彼らが最初に見たのがこのニュースだった。

ズヴェンはまだ眠っており、リリはまだ自分の部屋にいた。

セラは携帯端末を取り出し、狂ったようにタイピングを始めた。

自由城にいて無事かどうか教えて。      → ヤーンへ送信

彼女は送信をタップした。

数刻後：

ヤーン → 心配しないで、自由城にいるよ。 32117

ヤーン → こちらでは防衛を真剣に受け止めている。自由城は連合都市国家群の中で紅郡から最も遠い場所の一つだ、シルバービーチとマブリを除いて。 32124

セラはほっと息をついた。

グラディアスはセラがヤーンにメッセージを送っているのを見て、彼女の肩に手を置いて慰めた。彼はそれ以上何も言わなかった。

彼の思考はすぐにその評価基準へと移った。来月、我々はハードウェア開放性基準を絶対に緩和しないだろう、むしろ税級を引き上げるかもしれない、と彼は思った。

しばらくして、彼の怒りはデルヴォートに向かった。

セラは部屋を出てズヴェンを起こし、リリを探しに行った。二十分以内に、四人は学校へ向かう道につき、家にはグラディアスとセラだけが残った。

グラディアスは地下室へ行き、ドアを閉めた。

「これからどうすればいい、モフ？」彼はネックバンド越しに低い声で言った。

「明らかに、デルヴォートは多くのことで間違っていた。次に彼と話すとき、我々には確かに多くの質問がある。我々には言い訳ではなく、直接の答えが必要だ。」

「覚えておけ、彼だけが政治的にもこれほど大きな過ちを犯したわけではないことが分かっている。これは私が一か月半前に学んだことだ——彼が行ったすべてのことの絶対的な組織レベルを。」

「あの後、彼にまた会ったのか？」

「その後は二回だけだ。最初はプライバシーローブを着た人物との会合で、誰かは分からないが、彼らは多くの銀語を話していた。二回目は守護者との会合で、惧結についての会話をいくつか聞いた。約一か月前からは何もない。彼は自分の位置を変えたか、隠れるのがうまくなったかのどちらかだ。」

「では投票はいつだ？」

「最初のはおそらく二十日後だ。」

「デルヴォートは君が正しい方法で投票したかを『検証』しようと動くかもしれない。だから秩序が彼にそれができないようにするために設ける仕組みを覚えておけ。」グラディアスは暗唱した：「有効な鍵で署名された投票だけがカウントされる。」「鍵分配グループの少なくとも5人と会い、投票鍵の各ブラインドシェアを彼らに登録することで投票鍵を生成する。それが完了すると、どの鍵が有効で無効かという情報は、指定された条件下でのみ混淆回路によって復号できる。」

「つまり、デルヴォートであれ他の誰であれ——技術的には私でさえ——どの鍵が、いくつの鍵が、あるいはそもそも何らかの鍵が実際に正常に登録されたかを知ることはできない。復号されるのは投票結果だけだ。だからデルヴォートは私が提出した投票が本物か偽物かを区別できない。たとえ私が望んでも、彼にそれを証明する能力は私にはない。デルヴォートが私の投票を乗っ取るには、私の身元を乗っ取る必要があり、それはKAGに行って私本人になりすますことを意味する——困難だ。なぜならKAGの意義全体は、私が直接会った人々を含むことにあるからだ。」

「人間——究極の信頼できるハードウェア。」

「よく学んでいる。」

「しかし、私はこれがすべて不要であってほしい。デルヴォートが合理的な説明をしてくれることを。」

「希望は戦略ではない。」

「確かにそうではない。」

パフォガイ・ドゥ、ジェゴ

ゼイは携帯端末のボタンを焦って叩き、五度目のメッセージを送った。

大丈夫？？？？！

どこにいるか教えて。  → デルイン

彼はホテルのロビー食堂のテーブルに座って泣いていた。目の前のテーブルには茶と食事が置かれていた。彼は茶をすぐに飲み干した。ロボットはすでに四回おかわりを注いでいた。ご飯と野菜は一長時近くも手をつけていなかった。

ついに、返信メッセージが届いた。

デルイン → 心配しないで、生きているよ。

すぐにジェゴに戻れそうにはないけど。  84690

これはゼイが望んだ結果ではなかったが、恐れていた結果よりはずっと良かった。彼はほっと息をついた。

デルイン → メッセージを送る方法を見つけた。

ある北極の兵士と彼の友人、あるいは彼の人工知能、あるいは何かが、故郷の指揮部に送るリアルタイムの健康データに隠し短信を埋め込む方法を書いた。

他の指揮部の人員がその信号を気象情報に転送し、それを衛星に送っている。

彼は人々のために匿名でメッセージを中継していて、ついでに大金を稼いでいる。  84714

ゼイは涙を拭い、集中してタイピングを始めた。

わあ。君は……その兵士と連絡が取れるのか？  → デルイン

デルイン → 匿名のリンクがある。 84723

健康データに入れる情報をどうやってエンコードするのか彼に聞いてみて。  → デルイン

ゼイは少し考えて、今度は自分の番で先生になれるかもしれないと思った。彼はキーボードを呼び出し、素早くタイピングを始めた。

いや、実際には、もう一度考えると、彼は答えないだろう。でも伝えておいて。誰もがこの問題に初めて直面したときに取る、最下位ビットをランダムに反転させる戦略は理想的な解決策ではない。時には高次のビットを反転させても全く問題ないが、時には最下位ビットさえ反転させるのが危険な場合もある。

やるべきことは：

* 真のデータ分布に従って大言語モデルを訓練し、他のすべてのビットに基づいて、指定された位置が0または1であるべき確率を出力させる

* データを複数のバケットに分割する——バケットを復号鍵自体を使ってランダムに選択することを確保する——そして、i番目のバケットのビットを暗号文のi番目のビットとXORすることを要求する。各バケットで、モデルを使ってどのビットの確率が最も50/50に近いかを判断する——これはそのビットにとってその文脈で二つの値が「自然」であることを意味する——そしてそのビットを反転させてバケットのXORを正しくする。

このようにして、大言語モデルがどのビットが「最も重要でない」か、反転に最も適しているかを判断する。永遠に各数の最下位ビットだけを変えるのではなく。 → デルイン

ゼイは少しの間、背もたれに寄りかかった。彼は、複雑な概念を理解して説明することに成功しただけでなく、この作業に必要な正確で複雑な概念までも理解して説明したことに誇りを感じた。

彼は続けることに決めた。自分の理解に対する個人的な誇りから、そして同時に、より多くの紅郡の人々が北極の検閲をすり抜けて情報を密かに入手できるようにしたいという願いから。

さらに進みたいなら、バケットを部分的に重ねることができる。例えば：

* 最初のバケットは0...199

* 二番目は20...219

* 三番目は40...239

など。ただし、順序全体が疑似ランダム置換であるべきことを覚えておいて。

また、各バケットのランダムな半分の位置だけをXORに選択する。そうすれば、常に一つのバケットに影響するが、その前後のバケットには影響しない反転すべきビットがいくつかある。つまり、204は二番目のバケットの一部かもしれないが、三番目のバケットの一部ではない。

ハッピーパスアルゴリズムは：

* 0...199の中から反転するビットを一つ選び、最初のバケットのXORを正しくする

* 200...219の中から反転するビットを一つ選び、二番目のバケットのXORを正しくする

* 220...239の中から反転するビットを一つ選び、三番目のバケットのXORを正しくする

など……

しかし、もし240...259という連続する20ビットの中に、反転に適したビットが一つもなかったら——例えば非常に鮮明な夜空の写真で、連続する20ピクセルが本来すべて純黒であるべき場合、健康データでも似たような状況がある——その場合はバックトラックして、220...239の中で反転可能なビットの組を探し、最後の二つのバケットのXORを両方正しくする。それでも失敗したら、さらにバックトラックして、200...239の中で反転可能なビットの組を探し、最後の三つのバケットをすべて正しくする。以下同様に。  → デルイン

その後、彼は前のメッセージがあまりにも気取りすぎているように聞こえることに気づき、もう一通補足した