Prover: Malformed Blocks

Proves that a block was malformed. Given initial checks when committing a new block, the only case is when the Merkle root claimed in a root header is incorrectly computed.

  1. A valid block header and root header must be provided, along with the original list of transaction leaves committed to in the root header.
  2. Merkleizing the transaction leaves must not match the merkleTreeRoot field in the root header.