JVNDB-2026-012776

NimiqのNimiq Proof of Stake (core-rs-albatross)における複数の脆弱性

nimiq-block は Nimiq の Rust 実装で使用されるブロックプリミティブを含んでいます。`SkipBlockProof::verify` はそのクォーラムチェックを `BitSet.len()` を使って計算し、その後 `BitSet` のインデックスを反復処理して、各 `usize` インデックスをスロット検索のために `u16`（`slot as u16`）にキャストします。バージョン 1.3.0 より前では、攻撃者が 65536 間隔で範囲外のインデックスを含む `MultiSignature.signers` を持つ `SkipBlockProof` を検証させることができました。これらのインデックスが `len()` を膨らませつつ、集約時には同じ範囲内の `u16` スロットに衝突します。これにより、悪意のあるバリデーターは実際の署名者スロット `2f+1` よりはるかに少ないスロット数で、単一の BLS 署名を同じ係数で乗算することでスキップブロック証明の検証を通過させることが可能になります。この脆弱性の修正は v1.3.0 に含まれており、既知の回避策は存在しません。

Nimiq

• Nimiq Proof of Stake (core-rs-albatross) 1.3.0 未満

本脆弱性の影響を受ける製品の詳細については、ベンダ情報および参考情報をご確認ください。

当該ソフトウェアが扱う情報について、外部への漏えいは発生しません。
また、当該ソフトウェアが扱う全ての情報が書き換えられる可能性があります。
さらに、当該ソフトウェアが完全に停止する可能性があります。
そして、この脆弱性を悪用した攻撃により、他のソフトウェアにも影響が及ぶ可能性があります。

正式な対策が公開されています。ベンダ情報を参照して適切な対策を実施してください。

GitHub

• GitHub : skip block quorum bypass via out-of-range BitSet indices + u16 truncation  Advisory  nimiq/core-rs-albatross  GitHub

1. 入力で指定された数量の不適切な検証(CWE-1284) [その他]
2. 整数オーバーフローまたはラップアラウンド(CWE-190) [その他]
3. 不適切な入力確認(CWE-20) [その他]
4. データの信頼性についての不十分な検証(CWE-345) [その他]

1. CVE-2026-33471

1. National Vulnerability Database (NVD) : CVE-2026-33471
2. 関連文書 : Release Mainnet 1.3.0  nimiq/core-rs-albatross  GitHub
3. 関連文書 : Fix quorum bypass via out-of-range BitSet signer indices  nimiq/core-rs-albatross@d020590  GitHub

• [2026年04月27日]
    掲載