The yellow paper describes the below block header structure:
This includes difficulty, beneficiary, mixHash and nonce values. Presumably these will be redundant under Proof-of-Stake. How will the Block Header structure change under proof of stake? Where is this defined? If it's to be confirmed, where/when is it likely to be confirmed.