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.
- A valid block header and root header must be provided, along with the original list of transaction leaves committed to in the root header.
- Merkleizing the transaction leaves must not match the
merkleTreeRoot field in the root header.