From a6e76ef9c6331130a9af04a1d37e90b1cd6629a0 Mon Sep 17 00:00:00 2001 From: Justin Drake Date: Wed, 1 May 2019 08:45:29 +0100 Subject: [PATCH] Fix --- specs/core/0_beacon-chain.md | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/specs/core/0_beacon-chain.md b/specs/core/0_beacon-chain.md index a4b057964..2ffaf053f 100644 --- a/specs/core/0_beacon-chain.md +++ b/specs/core/0_beacon-chain.md @@ -1070,8 +1070,10 @@ def is_slashable_attestation_data(data_1: AttestationData, data_2: AttestationDa Check if ``data_1`` and ``data_2`` are slashable according to Casper FFG rules. """ return ( - (data_1 != data_2 and data_1.target == data_2.target) or # Double vote - (data_1.source < data_2.source and data_2.target < data_1.target) # Surround vote + # Double vote + (data_1 != data_2 and data_1.target_epoch == data_2.target_epoch) or + # Surround vote + (data_1.source_epoch < data_2.source_epoch and data_2.target_epoch < data_1.target_epoch) ) ```