update v0.6: check proposer is not slashed (ethereum/consensus-specs#757

)
paritytech · May 2, 2019 · d79988c · d79988c
1 parent a33ccd7
commit d79988c
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/beacon/src/error.rs b/beacon/src/error.rs
@@ -28,6 +28,8 @@ pub enum Error {
 	BlockPreviousRootInvalid,
 	/// Block signature is invalid.
 	BlockSignatureInvalid,
+	/// Block proposer has been slashed.
+	BlockProposerSlashed,
 	/// Randao signature is invalid.
 	RandaoSignatureInvalid,
 	/// Proposer slashing contains invalid slot.

diff --git a/beacon/src/executive/per_block.rs b/beacon/src/executive/per_block.rs
@@ -43,6 +43,10 @@ impl<'state, 'config, C: Config> Executive<'state, 'config, C> {
 		if let Some(signature) = block.signature() {
 			let proposer = &self.state.validator_registry[self.beacon_proposer_index(self.state.slot, false)? as usize];
 
+			if proposer.slashed {
+				return Err(Error::BlockProposerSlashed)
+			}
+
 			if !self.config.bls_verify(&proposer.pubkey, &Hashable::<C::Hasher>::truncated_hash(block), signature, self.config.domain_id(&self.state.fork, self.current_epoch(), self.config.domain_beacon_block())) {
 				return Err(Error::BlockSignatureInvalid)
 			}