> Miners are actually just trying to find a specific number called a nonce that when hashed together with the rest of the block header respects a specific constraint

What you're describing here is one particular Proof-of-Work algorithm called Hashcash. There are several others as I explain at

https://cryptorials.io/beyond-hashcash-proof-work-theres-min...