Move was designed by Meta/Diem as a safe, formal-verification-friendly language for Web3. It treats assets as linear Resources that cannot be cloned, accidentally dropped, or double-spent.
move
module my_addr::counter {
use std::signer;
struct Counter has key {
value: u64,
}
public entry fun init(account: &signer) {
move_to(account, Counter { value: 0 });
}
}In Core and Aptos Move, resources are stored in global storage indexed by the owner's account address.