Pearl が 27,000 ブロックの間にコンセンサスを 4 回変えた理由
Pearl は今週 mainnet のブロック 99,000 を通過し、これで 27,065 ブロックの間に 4 回目のコンセンサス変更が行われました。4 回のうち 2 回はハードフォーク、2 回はソフトフォークです。これはマイナーが何をする必要があったかには関わりますが、なぜそれらが起きたかには関わりません。これほど短い間隔で 4 回のアップグレードがあると、問題を抱えたチェーンのように見えます。実際はその逆に近いものです。ブロック順に読むと、これは別々の 4 つの問題ではなく、1 つの問題に 4 つの方向から取り組んだものであり、最後の 1 つがそれを締めくくります。以下の高さ、ルール、バージョンはすべて、告知ではなくチェーン自身のコンセンサスのソースコードから読んだものです。
Pearl がマイナーに求めること
まず Pearl がマイナーに何を求めているかから始めます。それがなければ残りの話が理解できないからです。Pearl は 2026 年 4 月 27 日に mainnet を立ち上げた、ハッシュ計算ではなく行列乗算で自らを守るレイヤー 1 です。この乗算は、AI の学習と推論がほぼすべての時間を費やしているのと同じ、デンスな線形代数です。マイナーは GPU でノイズを加えた行列乗算を実行し、その結果をハッシュしてコミットメントにし、その作業をゼロ知識証明で包んで、ネットワークが安価に確認できるようにします。その下の基盤レイヤーは意図的に地味なもので、Bitcoin の btcd ノードのフォークです。新しいアイデアが、古くてよく理解された仕組みの上に載るようにしているのです。
作業の形状が重要な理由
ここからがそのアイデアの難しいところです。作業がハッシュであれば、やり方はちょうど 1 つで、どれだけ難しかったかを示す数字もちょうど 1 つです。作業が行列乗算になると、マイナーはその形状も宣言しなければなりません。行列がどれだけ大きいか、そして低ランクのノイズをどれだけ混ぜ込んだかです。チェーンは GPU を見ることができません。見えるのは 1 つの証明と、その証明が対象とする作業の記述です。4 回のアップグレードはどれもこの記述に関するもので、その各部分を主張するのにコストがかかるようにするためのものです。
ブロック 71,935：混合エキスパートの証明書
1 つ目はブロック 71,935 のハードフォークで、証明を v1 の証明書から v2 の証明書に移しました。このアップグレードの名前は、新しい証明書が記述できるものに由来します。混合エキスパート（mixture of experts）は、大規模モデルで実際の推論が取る形で、トークンごとに多数のエキスパートのうち少数だけが実行されます。大きなデンスな乗算 1 つしか記述できない証明形式では、そのうちの一部しか記述できません。v2 の証明書には v1 になかったフィールド、ノイズランクも含まれており、まさにこのフィールドが 3 つ目のアップグレードを可能にしました。
ブロック 91,630：当面はデンスのみ
2 つ目はブロック 91,630 のソフトフォークで、広げたばかりの扉を再び狭めました。このブロック以降、ネットワークは混合エキスパートの証明を拒否し、デンスな証明だけを受け付けます。後退のように見えますが、そうではありません。証明書は v2 のままなので、形式は得たものをすべて保っています。変わったのは、チェーンがまだ若い間にどの形状を認めるかです。プロジェクトはこの時期を選んだ理由を公表していません。ですからここでは、推測を動機のように装って示すのではなく、その事実を読者にお伝えするべきです。
ブロック 96,251：ランクの優遇がなくなる
3 つ目はブロック 96,251 のソフトフォークで、マイナーが実感できる数字を伴う変更です。ランクは乗算に混ぜ込む低ランクノイズの量を決めるもので、このフォーク以前は、シェアが超えるべきターゲットが、タイルサイズと内積の全長の積に比例して易しくなっていました。そのため、ランクを上げると、GPU が実際の作業を増やさなくても、その分だけ易しいターゲットが得られました。計算のどれだけが本物かを決めるダイヤルが、何シェア分の報酬を受け取るかを決めるダイヤルでもあったのです。このブロック以降、同じ上限はタイルサイズと内積の長さの積をランクで割って 128 を掛けた値で調整され、128 未満のランクは即座に拒否されます。2 つの式の差はちょうど 128 をランクで割った分なので、古い設定のまま動かしているマイナーへの影響は推定ではなく計算で出ます。ランク 256 では同じ作業に対するターゲットが以前の 2 倍難しくなり、ランク 1024 では 8 倍難しくなります。
実際の作業として認められる範囲を狭めるコンセンサス変更は、ハードウェアを引退させることもあります。厳しくなったルールを、作業するカードの上でビット単位まで同じように再現する必要があるからです。特定の GPU 世代がこのフォークで Pearl のサポートを失ったかどうかは、チェーンではなく各マイニングソフトのリリースノートで確かめるべきことであり、この記事はどのカードも名指ししません。チェーンのソースコードにはカードについて何も書かれていないからです。それでも、1 つのコインのためにカードを買う前に確かめておく価値のあることです。
ブロック 99,000：シードが形状に結びつけられる
4 つ目はブロック 99,000 のハードフォークで、最も小さな変更であり、最も誤って説明しやすい変更です。マイナーが掛け合わせるノイズは、証明の 2 つの Merkle ルートから導出されます。このフォーク以前は、2 つのルートがそのまま導出に使われていたため、ノイズは証明がコミットする行列の次元に依存していませんでした。ブロック 99,000 以降は、各ルートがまずその次元の 1 つと混ぜ合わされます。一方は行数、もう一方は列数で、その後でようやくシードチェーンが実行されます。したがって、あるノイズは宣言されたただ 1 つの形状にだけ属します。証明書の構造は v2 とバイト単位まで同じで、送信形式にも元のルートがそのまま入っています。どの導出方式を使うかはバージョン番号だけで決まり、だからこそこのアップグレードがマイナーに求めたのは新しいバイナリだけでした。
4 つのアップグレードが意味すること
4 つを並べると、1 つの文を 4 通りに言っています。チェーンは GPU を見張ることができないので、証明が自らについて主張することはすべて、主張するのにコストがかからなければなりません。混合エキスパートは証明が記述できる範囲を広げました。デンス限定は、チェーンが若い間に認められる範囲を狭めました。ランクペナルティは、主張の中のダイヤル 1 つで易しいターゲットを得ることを止めました。ソルト付きシードは、1 つのノイズが複数の主張された形状に使われることを止めました。若いチェーンが最初の数か月でこれらを見つけ、27,000 ブロック以内に修正したことは、何も見つけていない若いチェーンよりも良い兆候です。
PRL をマイニングしている場合の意味
PRL をマイニングしている方に向けた実際的な話です。4 つとも移行期間なしに決まったブロックで有効化され、4 つとも同じ静かな形で失敗します。古いマイニングソフトは何の問題もないハッシュレートを報告し続けますが、そのシェアは何にも数えられなくなります。フォークの日には、自分の画面に表示されるハッシュレートの数字は証拠になりません。代わりに受理されたシェアの数を見て、ブロックの後ではなく前に更新してください。マージマイニングをしている場合、損失は 2 倍になります。有効でない Pearl のシェアは、補助チェーンのブロックも運ばないからです。
当プールでは、それぞれの変更をフォークのブロックより前に準備していたため、マイナーが変える必要があったのはマイニングソフトのバイナリだけでした。アドレスも、ポートも、ウォレットも同じです。
これらの数字の出どころ
私たちの言葉をうのみにせず、誰でも確かめられるように、数字の出どころを記します。4 つの有効化の高さ、ブロック時間、mainnet のジェネシスのタイムスタンプは、チェーン自身のネットワークパラメーターとジェネシスの定義から読みました。ランクのルールと、128 をランクで割った数値は、証明の検証器の健全性チェックから読みました。そこには古い上限と新しい上限が並んでいます。証明書のバージョンとソルト付きの導出は、送信形式とシードのモジュールから読みました。ソースに書かれていないことは、補わずにこの記事から外しました。