Module canyon 

Canyon consensus rule checks.

Functions

ensure_empty_shanghai_withdrawals

Verifies that withdrawals in block body (Shanghai) is always empty in Canyon. https://specs.optimism.io/protocol/rollup-node-p2p.html#block-validation

ensure_empty_withdrawals_root

Verifies that withdrawals root in block header (Shanghai) is always [EMPTY_ROOT_HASH] in Canyon.