From 236298a8e4f783a7b3fdb3338b4e1c0123d5b575 Mon Sep 17 00:00:00 2001
From: vbuterin <v@buterin.com>
Date: Fri, 1 Mar 2019 03:58:18 -0600
Subject: [PATCH] Hard assert that the Merkle branch is valid

---
 specs/core/0_beacon-chain.md | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/specs/core/0_beacon-chain.md b/specs/core/0_beacon-chain.md
index 3f8223520..aea187730 100644
--- a/specs/core/0_beacon-chain.md
+++ b/specs/core/0_beacon-chain.md
@@ -1269,8 +1269,7 @@ def process_deposit(state: BeaconState, deposit: Deposit) -> None:
         index=deposit.index,
         root=state.latest_eth1_data.deposit_root
     )
-    if not merkle_branch_is_valid:
-        return
+    assert merkle_branch_is_valid
         
     # Increment the next deposit index we are expecting. Note that this
     # needs to be done here because while the deposit contract will never