Как обнаружить пропущенную долю в ответе по пространству имён Celestia

Роллапу, читающему своё пространство имён, нужно подтверждение полноты набора долей. Доказательство включения отдельной доли оставляет этот вопрос открытым.

Проверьте диапазон пространства имён

В примере листья B расположены подряд: дерево NMT упорядочивает их по пространству имён. При пропуске B1 на границе доказательства останется диапазон, пересекающий B. Проверьте доказательство библиотекой NMT относительно удостоверенного корня строки и передайте все доли в исходном порядке.

row leaves: A1, B1, B2, B3, C1
requested namespace B
incomplete response: B2, B3

Учтите все строки

Доказательство для одной строки охватывает только эту строку. До вывода о полноте данных на высоте проверьте все подходящие корни строк в удостоверенном заголовке доступности данных. Порядок и корректность пакетов на уровне роллапа проверяются отдельно.

Источники