This verification is about the 3rd refinement step, which turns sending whole chains to a peer into sending blocks to a peer using the chain synchronization protocol.