Álvaro Rodríguez

Would this be connected with having ownership semantics instead of immutability or is it a completely separate problem space?

Yes, that's the case. The AVM uses the deployment nullifier to decide to allow the call to be made or not https://github.com/AztecProtocol/aztec-packages/blob/next/barretenberg/cpp/pil/vm2/bytecode/contract_instance_retrieval.pil#L136 Then, the bytecode for the contract has the...