Nimiq: プロポーザルバッファにおける署名境界チェックのオフバイワンによるクラッシュ

core-rs-albatrossにおけるCVE-2026-32605の脆弱性は、Nimiq Proof-of-Stakeプロトコル（Albatrossコンセンサスアルゴリズムに基づく）のRust実装において、信頼できないピアがバリデータクラッシュを引き起こすことを可能にします。これは、署名者がバリデータの総数と等しい署名されたTendermint提案メッセージを公開することで実現されます。根本原因は、ProposalSender::send内の検証ロジックの欠陥にあります。ここで、署名者境界をチェックする際に ‘>’ 演算子ではなく ‘>=’ 演算子が使用されています。これにより、等価ケースが通過し、validators.getvalidatorbyslotband(signer)への呼び出しにつながり、範囲外のインデックスによるパニックが発生します。この脆弱性のCVSSスコアは7.5で、中程度のリスクを示しています。 悪意のある攻撃者がこの脆弱性を悪用すると、バリデータの操作が中断され、Nimiqネットワークの整合性が損なわれる可能性があります。

Nimiq Core Rust Albatross validator nodes running versions prior to 1.3.0 are directly at risk. This includes individuals and organizations operating validator nodes within the Nimiq network, particularly those who haven't implemented robust network security measures or are running older, unpatched versions of the software.

• rust / server:

# Check for version < 1.3.0
cargo version

• rust / supply-chain:

# Inspect Cargo.toml for dependencies and versions
cat Cargo.toml | grep nimiq

1. 2026-04-13Disclosure

   disclosure

1. 予約済み2026-03-12
2. 公開日2026-04-13
3. 更新日2026-04-16
4. EPSS 更新日2026-04-21

この脆弱性に対する解決策は、core-rs-albatrossをバージョン1.3.0以降にアップグレードすることです。このバージョンは、検証ロジックの欠陥を修正し、バリデータテーブルにアクセスする前に署名者が有効な境界内にあることを確認します。すべてのバリデータオペレーターは、脆弱性の悪用リスクを軽減するために、できるだけ早くノードを最新バージョンにアップグレードすることを強く推奨します。さらに、悪用試行を示唆する可能性のある疑わしいアクティビティがないか、ノードログを監視することが重要です。アップグレードは、Nimiqチームが提供するアップグレード手順に従って実行する必要があります。このパッチのタイムリーな適用は、Nimiqネットワークのセキュリティと安定性を維持するために不可欠です。