chain: explicitly check that gasLimit is above zero

venus-shared/actors/types/message.go

@@ -153,10 +153,18 @@ func (m *Message) ValidForBlockInclusion(minGas int64, version network.Version)
 		return fmt.Errorf("invalid 'To' address")
 	}
 
+	if !abi.AddressValidForNetworkVersion(m.To, version) {
+		return fmt.Errorf("'To' address protocol unsupported for network version")
+	}
+
 	if m.From == address.Undef {
 		return fmt.Errorf("'From' address cannot be empty")
 	}
 
+	if !abi.AddressValidForNetworkVersion(m.From, version) {
+		return fmt.Errorf("'From' address protocol unsupported for network version")
+	}
+
 	if m.Value.Int == nil {
 		return fmt.Errorf("'Value' cannot be nil")
 	}
@@ -193,6 +201,10 @@ func (m *Message) ValidForBlockInclusion(minGas int64, version network.Version)
 		return fmt.Errorf("'GasLimit' field cannot be greater than a block's gas limit")
 	}
 
+	if m.GasLimit <= 0 {
+		return fmt.Errorf("'GasLimit' field %d must be positive", m.GasLimit)
+	}
+
 	// since prices might vary with time, this is technically semantic validation
 	if m.GasLimit < minGas {
 		return fmt.Errorf("'GasLimit' field cannot be less than the cost of storing a message on chain %d < %d", m.GasLimit, minGas)