nimiq/core-rs-albatross — это реализация протокола Nimiq Proof-of-Stake на Rust, основанная на алгоритме консенсуса Albatross. До версии 1.3.0 избранный предлагающий валидатор мог отправить макроблок выбора, заголовок которого.interlink не соответствует канонической следующей межссылке. Честные валидаторы принимают это предложение вverify_macro_block_proposal(), потому что путь предложения проверяет форму заголовка, отношение преемника, предлагающего, корень тела и состояние, но никогда не проверяет привязку межссылки для избирательных блоков.
Тот же самый финализированный блок позже отклоняется функциейverify_block() во время отправки с помощью InvalidInterlink. Поскольку валидаторы предварительно голосуют и предварительно фиксируют сам неверный хэш заголовка, сбой происходит после того, как Tendermint примет решение о блокировании, а не перед голосованием. Эта проблема исправлена в версии 1.3.0.
Показать оригинальное описание (EN)
nimiq/core-rs-albatross is a Rust implementation of the Nimiq Proof-of-Stake protocol based on the Albatross consensus algorithm. Prior to version 1.3.0, an elected validator proposer can send an election macro block whose header.interlink does not match the canonical next interlink. Honest validators accept that proposal in verify_macro_block_proposal() because the proposal path validates header shape, successor relation, proposer, body root, and state, but never checks the interlink binding for election blocks. The same finalized block is later rejected by verify_block() during push with InvalidInterlink. Because validators prevote and precommit the malformed header hash itself, the failure happens after Tendermint decides the block, not before voting. This issue has been patched in version 1.3.0.
Характеристики атаки
Последствия
Строка CVSS v3.1