AnzaのCEOがSolana(SOL)向けに18章からなるプロトコル仕様を提案

一つの仕様書、三つのクライアント

ルールを三つの独立系バリデータクライアントが執行するネットワークは、そのルールの中身をどう決めるべきか。この問いが、Solana (SOL)の開発陣の前に改めて置かれた。AnzaのCEOであるBrennan Watt氏が、プロトコル変更の審査を単一の共有仕様に移す提案を公表したのだ。提案は10月30日(金曜日)、Solana改善文書(SIMD)の議論ボードに「プロトコル仕様への移行」と題して投稿された。開発全般の調整役であるSolana Foundationも11月5日に開発通知を発行し、仕様の統一と審査手続き改定に関する議論が正式に始まったことを確認している。従来のSIMD文書は、ルール変更の審査媒体であると同時に、実務上はネットワークのプロトコルが何をしているかの記録でもあった。提案が公表された時点で、直近24時間で6.8%下落した後のSolanaの価格は投機筋の注目水準となっており、動き自体は提案への反応ではなく、Solanaのテクニカル分析が示す100ドル割れの流れの延長線上にある。Watt氏の主張はこうだ。現行のプロセスは提案を十分に蓄積できる一方で、すでに有効なルールがバリデータコードと個々の提案文書に散在してしまい、同じ挙動が複数箇所で微妙に異なる記述になり、変更がどこに触れるかを洗い出すのが難しい。対策として、アイデアの議論、技術審査、必要なガバナンス承認はそのまま維持しつつ、具体的な変更そのものは共有仕様へのプルリクエストに移す。異なるバリデータソフトウェアが、審査済みの一つの源から同一のルールを実装できる形だ。承認された仕様のプルリクエストは、変更がメインネットで有効化されるまで開いたままにされ、文書が実際に稼働するルールと整合し続ける仕組みになる。まだ有効化されていないSIMDは識別子を保ったまま新形式へ移行するため、共有仕様が参照文書に変わった後も既存提案の追跡は失われない。

エポック1072に紐づく18章の草案

Watt氏が起草したSolana (SOL)プロトコル仕様の草案は、トランザクションとメッセージ、ネットワーク通信、状態遷移、コンセンサスを網羅する18章構成で、前方互換性のルールはメインネットのエポック1072に紐づけて参照される。草案は検証済みのエポックスナップショット、あるいはそのエポックのステートルートで認証された状態から出発する。つまり出発点となる状態への信頼そのものは、文書の外から供給される前提だ。適用範囲は意図的に狭く設計されている。ジェネシスからのチェーン再生にはルールを定めず、エポック1072で止まり、次エポックの最初のブロックも定義しない。一つのエポックに紐づけることで、1072以降の変更は書き換えられた歴史ではなく固定された基準線に対して検証できる。Foundationの仕様リポジトリも同じ狙いを掲げ、コンセンサスメカニズム上のクリティカルなルールを一つの完全で曖昧さのない参照文書に集約し、バリデータ実装がそこから参照できる形を目指す。これまで個々のSIMD文書が具体的なルール変更を担ってきた記録には、ブロックの計算上限を1億コンピュートユニットへ引き上げたSIMD-0286が含まれる。過去の取り組みでは、150ミリ秒のファイナリティを目標としたAlpenglowが、同様に単一の対象へ絞る形を取った。Foundationの通知が背景に挙げたのはクライアントの多様性だ。Agave、Firedancer、Mithrilは別々のコードベースであり、各バリデータのノードソフトウェアはトランザクション処理とコンセンサスにおいて、同じ入力から同じ結果に到達しなければならない。トランザクションの順序付けと執行を司るのは同じルール群であり、最大抽出可能価値(MEV)のような効果が生まれる領域でもある。ここで実装間に乖離が生じれば、書類上の問題では済まない。チェーン自体が分裂しうるのだ。バリデータの投票を支えるのはステーキングの重みであり、このリスクは技術的なものにとどまらず金融的なものでもある。ネットワークのこの側面に不慣れな読者には、SolflareでのSOLのステーキング手順がクライアント選択が実務でどう着地するかを示している。

採用と日程は未定

公開スレッドでは、参加者のalnoki氏が、文書化された仕様はクライアント実装の中に見える内部的な依存関係を見落とす可能性があり、文書だけで実装間のすべての相互作用を捉えられるとは限らないと指摘した。Watt氏は、十分な信頼性を得るには文書と並行して概念実証用の実装を構築することが必要になる場合があると応じ、提案の識別子は仕様の正式審査段階で割り当てるべきという点でも合意した。実装の途中で仕様が変更された際の再審査の付け方については、なお検討中だ。提案自体は最初の段階にあり、意見を集める作業が続いており、SIMD手続き文書の改定は幅広い合意が形成されてから行うとしている。変更の採用も適用日程も決まっていない。だからこそ問いは最も鋭い形で立ち返る。一つの文書は、三つの独立した実装が食い違えないほど正確にSolana (SOL)を記述できるのか。これまでの議論の記録の上では、答えはまだ開いたままである。