Action: UndelegateClaim

The controllable parameters of the UndelegateClaim action are

• the body->validator_identity — this is how the validator to undelegate from is identified

• the body->start_epoch_index — is the epoch the delegation started; this is used for verification

• the body->penalty — the expected penalty used for verification

• the body->balance_commitment — the commitment for the proof

• the proof — the ZK proof for the undelegation claim

The check_stateless check verifies the zero-knowledge proof, which ensures that the balance commitment debits an amount of bonded stake for the specified validator and credits the corresponding amount of unbonded stake at an exchange rate based on the penalty.

The check_stateful check verifies that the unbonding_epoch cannot be greater than the current epoch and that the penalty supplied matches the expected penalty.

The execute is not implemented as the value change of this commitment is doing the undelegation claim.