ニュース暗号資産ビットコインマイニングのVardiff欠陥、出力抑制後もマイナーが報酬未算定のまま電力を消費し続ける可能性

ビットコインマイニングのVardiff欠陥、出力抑制後もマイナーが報酬未算定のまま電力を消費し続ける可能性

著者: CryptoNewsNet·

重要ポイント

  • Bitcoin Optechは9月18日にこの可変難易度の障害モードを取り上げ、採掘エンジニアのEric Priceが7月に発表した分析に広く注目を集めた。
  • シェアの到着時にのみ難易度を再計算するコントローラーは、マイナーが急激に速度を落とした後も古いより難しい割り当てを保持し、認められるシェアが稀になるままマシンをハッシュ計算させ続ける可能性がある。
  • この欠陥はビットコインのネットワーク難易度ではなくプールが割り当てるシェア難易度に関するものであり、その普及度や実質的な現実世界の損失の有無は入手可能な情報源では測定されていない。
  • Stratum V2のリファレンス実装はタイマーによる再計算とシェア途絶時の難易度低下で永久的な停止を回避しており、ckpoolは展開済みのシェアトリガー型事例として挙げられている。
  • 運用者はMARA Foundationのオープンソースshape-proxyでコントローラーをテストでき、ステップ、ランプ、ストールの各プロファイルで見かけ上のハッシュレート低下をシミュレートできる。
ビットコインマイニングのVardiff欠陥、出力抑制後もマイナーが報酬未算定のまま電力を消費し続ける可能性

ビットコインマイニングの一部のコントローラー(可変難易度を管理するもの)は、リグがハッシュレートを下げた後も、マシンの以前の速度に合わせて調整された仕事を提供し続ける可能性がある。マイナーは、認められるシェアがほとんど発生しない状態のまま、ハッシュ計算と電力消費を続けることになりかねない。

ビットコイン企業間で技術知識を共有する業界リソースであるBitcoin Optechは9月18日にこの障害モードを取り上げ、採掘エンジニアのEric Priceが7月に発表した分析に広く注目を集めた。この発見は、ビットコインのネットワーク難易度ではなくプールが割り当てるシェア難易度に関するものであり、マイナー全体の損失の証拠ではなく、検証可能なコントローラーの弱点を記述したものだ。

Vardiffが止まる仕組み

マイニングプールは各接続に対し、ビットコインのブロック難易度より易しいシェア難易度を割り当てる。割り当て難易度が高いほど、シェアターゲットは難しくなる。提出されたシェアによりプールはマイナーのハッシュレートを推定し、貢献した仕事を算定できる。一方、可変難易度(vardiff)コントローラーは、シェアが有用な割合で届くよう割り当てを調整する。

Priceの分析は、マイナーが急激に速度を落とした後に生じる罠を記述している。コントローラーがシェアの到着時にのみ再計算する場合、古いより難しい割り当てのせいで次のシェアが生まれにくくなる。新しいシェアが届かず更新のきっかけがないため、コントローラーは誤った難易度を保持し続け、シアの流れがまばらなままになる。

出力抑制がこの欠陥を現実的にする理由

突然の出力抑制は運用上十分に現実的だ。マイニング施設は電力網に負荷がかかる際などにマシンを絞って消費電力を減らすが、これはまさにこの欠陥が反応するハッシュレートの低下にあたる。2026年1月の米国の冬季嵐の際、CryptoSlate reportedによると、マイナーが電力使用を抑えたことでネットワークのハッシュレートが急落したが、このイベントはvardiffの損失には結びついていなかった。

高いシェア難易度は、長期間にわたるマイナーの期待クレジットを自動的に消し去るものではない。Braiinsのプールドキュメントが説明するように、プールは稀な高難易度の証明により多くの計算上の重みを与えることができる。Pay-Per-Shareは、プールがブロックを見つけたかどうかに関係なく、認められた各シェアに固定レートを支払い、プロポーショナルは各報酬期間をその期間に提出されたシェアで分配する。リスクが現れるのは実現した期間においてだ。認められたシェアが届かない場合、Pay-Per-Shareのマイナーはその期間の支払いを受けられず、少数が届けばそれらは支払い対象のままである。プロポーショナル方式では、不足したシェアにより他の参加者の報酬期間の取り分が増える可能性がある。

Stratum V2は緩和、ckpoolが事例として挙げられる

Stratum V2は、プールが仕事を配布しマイナーのシェアを収集するために使う元のStratumプロトコルの後継だ。現在のStratum V2リファレンス実装は、タイマーで再計算しシェアの途絶時に難易度を下げることで永久的な停止を回避しているが、分析によれば長寿命のチャネルでは復旧が依然として遅くなり得る。このタイマー動作はリファレンス実装に属するものであり、Stratum V2プロトコルが許容するすべての実装に当てはまるわけではない。分析とOptechは、展開済みのシェアトリガー型の事例としてckpoolを挙げている。この動作がどの程度一般的か、実質的な現実世界の損失を引き起こしたかどうかは、入手可能な情報源では測定されていない。

運用者がテストする方法

運用者は現在、この動作を直接テストできる。MARA Foundationのオープンソースshape-proxyは、シェアをローカルで承認しながら、制御された割合のみを上流に転送。ステップ、ランプ、ストールの各プロファイルにより、マイナーの物理的な出力を変えずに、プールには見かけ上の低下を見せることができる。割り当て難易度が下がれば、テストされたコントローラーに復旧経路があることを示す。ターゲットが固定されたままなら、そのプロファイルと観測期間のもとで復旧が遅いか存在しないことの証拠となる。ただし、タイマーの間隔、チャネルの経過時間、シェアのランダムな到着が結果に影響し得る。より広範な測定が存在するまでの間、こうした運用者によるテストが、分析から普及度に関する証拠への主な道筋となる。

出典:CryptoNewsNet