From 134b4a6e1a521457cb4611f7443b35c270edd383 Mon Sep 17 00:00:00 2001 From: Scott Piriou <30843220+pscott@users.noreply.github.com> Date: Thu, 27 Jun 2024 18:38:26 +0200 Subject: [PATCH] remove slot is zero check in voting strategies --- starknet/src/voting_strategies/evm_slot_value.cairo | 1 - starknet/src/voting_strategies/oz_votes_storage_proof.cairo | 1 - .../src/voting_strategies/oz_votes_trace_208_storage_proof.cairo | 1 - 3 files changed, 3 deletions(-) diff --git a/starknet/src/voting_strategies/evm_slot_value.cairo b/starknet/src/voting_strategies/evm_slot_value.cairo index 5da8f4a6..3d9e52dd 100644 --- a/starknet/src/voting_strategies/evm_slot_value.cairo +++ b/starknet/src/voting_strategies/evm_slot_value.cairo @@ -56,7 +56,6 @@ mod EvmSlotValueVotingStrategy { let slot_value = SingleSlotProof::InternalImpl::get_storage_slot( @state, timestamp, evm_contract_address, slot_key, mpt_proof ); - assert(slot_value.is_non_zero(), 'Slot is zero'); slot_value } diff --git a/starknet/src/voting_strategies/oz_votes_storage_proof.cairo b/starknet/src/voting_strategies/oz_votes_storage_proof.cairo index 7076a09a..2d039c46 100644 --- a/starknet/src/voting_strategies/oz_votes_storage_proof.cairo +++ b/starknet/src/voting_strategies/oz_votes_storage_proof.cairo @@ -61,7 +61,6 @@ mod OZVotesStorageProofVotingStrategy { let checkpoint = SingleSlotProof::InternalImpl::get_storage_slot( @state, timestamp, evm_contract_address, slot_key, checkpoint_mpt_proof ); - assert(checkpoint.is_non_zero(), 'Slot is zero'); // Verify the checkpoint is indeed the final checkpoint by checking the next slot is zero. assert( diff --git a/starknet/src/voting_strategies/oz_votes_trace_208_storage_proof.cairo b/starknet/src/voting_strategies/oz_votes_trace_208_storage_proof.cairo index 95435278..965b42f0 100644 --- a/starknet/src/voting_strategies/oz_votes_trace_208_storage_proof.cairo +++ b/starknet/src/voting_strategies/oz_votes_trace_208_storage_proof.cairo @@ -61,7 +61,6 @@ mod OZVotesTrace208StorageProofVotingStrategy { let checkpoint = SingleSlotProof::InternalImpl::get_storage_slot( @state, timestamp, evm_contract_address, slot_key, checkpoint_mpt_proof ); - assert(checkpoint.is_non_zero(), 'Slot is zero'); // Verify the checkpoint is indeed the final checkpoint by checking the next slot is zero. assert(