Кстати в битке существует та же самая проблема с синхронизацией с нуля. На практике ты конечно найдешь нужную цепь, но не из-за PoW а из-за того что там захардкожены блоки тоже. Ибо если бы они были не захардкожены - нодам бы скармливали атакеры длинные цепочки с низким PoW которые никуда не ведут
они ж вроде как выпилили чекпоинты после headers-first синхронизации? Ты оч быстро получаешь компактную цепочку, видишь где больше работы, ту и валидируешь.