Proof аутентифицирует только один path
Sibling side определяет порядок hashing; empty proof валиден лишь при leaf=root. Inclusion не доказывает finality, freshness или availability, а depth ограничивается до expensive hash work.
blockchain / УРОВЕНЬ 4
Merkle proof с переставленными children
ОЦЕНКА50 МИН
01
ТЕОРИЯ / ВОСПРОИЗВЕДЕНИЕ
Что нужно восстановить
- Сворачивать Merkle path с учётом direction и ограничивать adversarial depth
КОНТРОЛЬНАЯ ТОЧКА
Что само по себе доказывает valid Merkle inclusion proof?
02 / ОТЛАДКА
Найдите и исправьте дефект
Исправьте generic verification: максимум 64 proof nodes, сохраняйте sibling direction, empty proof принимается только при leaf=expected root. Hash function injected.
Инициализация редактора…
ВЫВОД
Runner ждёт отправки кода.