From 10c375244b56dd17c9e80f2882be23d6ee62350e Mon Sep 17 00:00:00 2001 From: vbuterin Date: Sat, 17 Nov 2018 07:51:25 -0500 Subject: [PATCH] Cleaned up LOGOUT --- specs/core/0_beacon-chain.md | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/specs/core/0_beacon-chain.md b/specs/core/0_beacon-chain.md index d89424fb8..2debc291b 100644 --- a/specs/core/0_beacon-chain.md +++ b/specs/core/0_beacon-chain.md @@ -690,8 +690,12 @@ For each `SpecialRecord` `obj` in `block.specials`, verify that its `kind` is on 'signature': '[uint256]' } ``` +Perform the following checks: -Verify that `BLSVerify(pubkey=validators[data.validator_index].pubkey, msg=hash(LOGOUT_MESSAGE + bytes8(fork_version)), sig=data.signature)`, where `fork_version = pre_fork_version if block.slot < fork_slot_number else post_fork_version`, and `validators[validator_index].status == ACTIVE`. Run `exit_validator(data.validator_index, state, penalize=False, current_slot=block.slot)`. +* Let `fork_version = pre_fork_version if block.slot < fork_slot_number else post_fork_version`. Verify that `BLSVerify(pubkey=validators[data.validator_index].pubkey, msg=hash(LOGOUT_MESSAGE + bytes8(fork_version)), sig=data.signature)` +* Verify that `validators[validator_index].status == ACTIVE`. + +Run `exit_validator(data.validator_index, state, penalize=False, current_slot=block.slot)`. #### CASPER_SLASHING