Every block comes with a proof and that proof is rather large. This proof establishes, among other things, that the previous block was correct. It would be nice though if archival nodes (who normally store all historical data) have no need to store historical proofs. So the question is, can we use the proof of block $H$ to certify the validity of block $h < H$ ?
The answer is yes. We need to extend the block body with a MMR of all previous block (forget about uncles and orphans). Then an MMR membership proof can establish that block $h$ is on the line from block $H$ to the genesis block, and since the proof for block $H$ is valid, this means that $h$ must be a valid block also.
Every block comes with a proof and that proof is rather large. This proof establishes, among other things, that the previous block was correct. It would be nice though if archival nodes (who normally store all historical data) have no need to store historical proofs. So the question is, can we use the proof of block $H$ to certify the validity of block $h < H$ ?
The answer is yes. We need to extend the block body with a MMR of all previous block (forget about uncles and orphans). Then an MMR membership proof can establish that block $h$ is on the line from block $H$ to the genesis block, and since the proof for block $H$ is valid, this means that $h$ must be a valid block also.