A verifiable on-chain user state primitive.
Enforcing the boundary between asset state and user state.