What exactly is Arbitrum Stylus?

Is it a execution layer separate to EVM? Cause let's say I were to write a smart contract in rust then since it's rust I can add bls12-381 verification to it. Now since BLS12-381 is not supported on EVM chains how will the smart contract run?