Support for verifying data segment inclusion proofs on-chain