Compiling Sierra to Casm in Declare V2 and checking the hash

[FabijanC]

In Declare v2 (Cairo 1 declaration), whose responsibility should it be to compile the received Sierra to Casm? I'm under the strong impression that it should not be done on the Starknet level. E.g. that's what Devnet's been doing: it receives the Sierra, compiles to Casm, and checks that the received Casm hash from the transaction matches the hash of the freshly compiled Casm. I see that starknet_in_rust doesn't do this check:

starknet_in_rust/src/transaction/declare_v2.rs

Line 251 in a8650ac

pub(crate) fn compile_and_store_casm_class<S: State + StateReader>(

So maybe the compilation to Casm shouldn't even be done in starknet_in_rust.