Is it valid to replace http:// with // in a script src=“http://…”?

Yes, It is valid and good.

We don't have to think about protocol It can be http or https.

It is very helpful when we use CDN or any Google/Facebook or any other API.