Add spec for update_commitment use case