pub(super) fn valid_block0_cert_transaction<Extra>(
    tx: &TransactionSlice<'_, Extra>
) -> Result<(), Error>