Skip to content

Commit

Permalink
use v1.4.0-alpha.0 consensus spec test vectors
Browse files Browse the repository at this point in the history
  • Loading branch information
@tersec
tersec committed May 24, 2023
1 parent 8db65ef commit 0d7d0e2
Show file tree
Hide file tree
Showing 14 changed files with 173 additions and 67 deletions.
48 changes: 36 additions & 12 deletions ConsensusSpecPreset-mainnet.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -478,6 +478,7 @@ ConsensusSpecPreset-mainnet
+ [Invalid] EF - Capella - Sanity - Blocks - invalid_incorrect_proposer_index_sig_from_expec OK
+ [Invalid] EF - Capella - Sanity - Blocks - invalid_incorrect_proposer_index_sig_from_propo OK
+ [Invalid] EF - Capella - Sanity - Blocks - invalid_incorrect_state_root [Preset: mainnet] OK
+ [Invalid] EF - Capella - Sanity - Blocks - invalid_is_execution_enabled_false [Preset: mai OK
+ [Invalid] EF - Capella - Sanity - Blocks - invalid_only_increase_deposit_count [Preset: ma OK
+ [Invalid] EF - Capella - Sanity - Blocks - invalid_parent_from_same_slot [Preset: mainnet] OK
+ [Invalid] EF - Capella - Sanity - Blocks - invalid_prev_slot_block_transition [Preset: mai OK
Expand All @@ -492,10 +493,12 @@ ConsensusSpecPreset-mainnet
+ [Invalid] EF - Deneb - Sanity - Blocks - invalid_duplicate_deposit_same_block [Preset: mai OK
+ [Invalid] EF - Deneb - Sanity - Blocks - invalid_duplicate_proposer_slashings_same_block [ OK
+ [Invalid] EF - Deneb - Sanity - Blocks - invalid_duplicate_validator_exit_same_block [Pres OK
+ [Invalid] EF - Deneb - Sanity - Blocks - invalid_exceed_max_blobs_per_block [Preset: mainn OK
+ [Invalid] EF - Deneb - Sanity - Blocks - invalid_incorrect_block_sig [Preset: mainnet] OK
+ [Invalid] EF - Deneb - Sanity - Blocks - invalid_incorrect_proposer_index_sig_from_expecte OK
+ [Invalid] EF - Deneb - Sanity - Blocks - invalid_incorrect_proposer_index_sig_from_propose OK
+ [Invalid] EF - Deneb - Sanity - Blocks - invalid_incorrect_state_root [Preset: mainnet] OK
+ [Invalid] EF - Deneb - Sanity - Blocks - invalid_is_execution_enabled_false [Preset: mainn OK
+ [Invalid] EF - Deneb - Sanity - Blocks - invalid_only_increase_deposit_count [Preset: main OK
+ [Invalid] EF - Deneb - Sanity - Blocks - invalid_parent_from_same_slot [Preset: mainnet] OK
+ [Invalid] EF - Deneb - Sanity - Blocks - invalid_prev_slot_block_transition [Preset: mainn OK
Expand Down Expand Up @@ -672,7 +675,6 @@ ConsensusSpecPreset-mainnet
+ [Valid] EF - Capella - Sanity - Blocks - historical_batch [Preset: mainnet] OK
+ [Valid] EF - Capella - Sanity - Blocks - inactivity_scores_full_participation_leaking [P OK
+ [Valid] EF - Capella - Sanity - Blocks - inactivity_scores_leaking [Preset: mainnet] OK
+ [Valid] EF - Capella - Sanity - Blocks - is_execution_enabled_false [Preset: mainnet] OK
+ [Valid] EF - Capella - Sanity - Blocks - many_partial_withdrawals_in_epoch_transition [P OK
+ [Valid] EF - Capella - Sanity - Blocks - multiple_attester_slashings_no_overlap [Preset: OK
+ [Valid] EF - Capella - Sanity - Blocks - multiple_attester_slashings_partial_overlap [Pr OK
Expand Down Expand Up @@ -737,9 +739,8 @@ ConsensusSpecPreset-mainnet
+ [Valid] EF - Deneb - Sanity - Blocks - historical_batch [Preset: mainnet] OK
+ [Valid] EF - Deneb - Sanity - Blocks - inactivity_scores_full_participation_leaking [Pre OK
+ [Valid] EF - Deneb - Sanity - Blocks - inactivity_scores_leaking [Preset: mainnet] OK
+ [Valid] EF - Deneb - Sanity - Blocks - is_execution_enabled_false [Preset: mainnet] OK
+ [Valid] EF - Deneb - Sanity - Blocks - many_partial_withdrawals_in_epoch_transition [Pre OK
+ [Valid] EF - Deneb - Sanity - Blocks - max_blobs [Preset: mainnet] OK
+ [Valid] EF - Deneb - Sanity - Blocks - max_blobs_per_block [Preset: mainnet] OK
+ [Valid] EF - Deneb - Sanity - Blocks - multiple_attester_slashings_no_overlap [Preset: m OK
+ [Valid] EF - Deneb - Sanity - Blocks - multiple_attester_slashings_partial_overlap [Pres OK
+ [Valid] EF - Deneb - Sanity - Blocks - multiple_different_proposer_slashings_same_block OK
Expand All @@ -761,6 +762,7 @@ ConsensusSpecPreset-mainnet
+ [Valid] EF - Deneb - Sanity - Blocks - top_up_to_fully_withdrawn_validator [Preset: main OK
+ [Valid] EF - Deneb - Sanity - Blocks - voluntary_exit [Preset: mainnet] OK
+ [Valid] EF - Deneb - Sanity - Blocks - withdrawal_success_two_blocks [Preset: mainnet] OK
+ [Valid] EF - Deneb - Sanity - Blocks - zero_blob [Preset: mainnet] OK
+ [Valid] EF - Phase 0 - Finality - finality_no_updates_at_genesis [Preset: mainnet] OK
+ [Valid] EF - Phase 0 - Finality - finality_rule_1 [Preset: mainnet] OK
+ [Valid] EF - Phase 0 - Finality - finality_rule_2 [Preset: mainnet] OK
Expand Down Expand Up @@ -807,7 +809,7 @@ ConsensusSpecPreset-mainnet
+ [Valid] EF - Phase 0 - Sanity - Blocks - slash_and_exit_diff_index [Preset: mainnet] OK
+ [Valid] EF - Phase 0 - Sanity - Blocks - voluntary_exit [Preset: mainnet] OK
```
OK: 796/804 Fail: 0/804 Skip: 8/804
OK: 798/806 Fail: 0/806 Skip: 8/806
## Attestation
```diff
+ [Invalid] EF - Altair - Operations - Attestation - invalid_after_epoch_slots OK
Expand Down Expand Up @@ -1362,13 +1364,15 @@ OK: 1/1 Fail: 0/1 Skip: 0/1
+ Inactivity - random_inactivity_scores_full_participation_leaking [Preset: mainnet] OK
+ Inactivity - random_inactivity_scores_random_participation [Preset: mainnet] OK
+ Inactivity - random_inactivity_scores_random_participation_leaking [Preset: mainnet] OK
+ Inactivity - randomized_state [Preset: mainnet] OK
+ Inactivity - randomized_state_leaking [Preset: mainnet] OK
+ Inactivity - some_exited_full_random_leaking [Preset: mainnet] OK
+ Inactivity - some_slashed_full_random [Preset: mainnet] OK
+ Inactivity - some_slashed_full_random_leaking [Preset: mainnet] OK
+ Inactivity - some_slashed_zero_scores_full_participation [Preset: mainnet] OK
+ Inactivity - some_slashed_zero_scores_full_participation_leaking [Preset: mainnet] OK
```
OK: 19/19 Fail: 0/19 Skip: 0/19
OK: 21/21 Fail: 0/21 Skip: 0/21
## EF - Altair - Epoch Processing - Justification & Finalization [Preset: mainnet]
```diff
+ Justification & Finalization - 123_ok_support [Preset: mainnet] OK
Expand Down Expand Up @@ -1533,13 +1537,15 @@ OK: 1/1 Fail: 0/1 Skip: 0/1
+ Inactivity - random_inactivity_scores_full_participation_leaking [Preset: mainnet] OK
+ Inactivity - random_inactivity_scores_random_participation [Preset: mainnet] OK
+ Inactivity - random_inactivity_scores_random_participation_leaking [Preset: mainnet] OK
+ Inactivity - randomized_state [Preset: mainnet] OK
+ Inactivity - randomized_state_leaking [Preset: mainnet] OK
+ Inactivity - some_exited_full_random_leaking [Preset: mainnet] OK
+ Inactivity - some_slashed_full_random [Preset: mainnet] OK
+ Inactivity - some_slashed_full_random_leaking [Preset: mainnet] OK
+ Inactivity - some_slashed_zero_scores_full_participation [Preset: mainnet] OK
+ Inactivity - some_slashed_zero_scores_full_participation_leaking [Preset: mainnet] OK
```
OK: 19/19 Fail: 0/19 Skip: 0/19
OK: 21/21 Fail: 0/21 Skip: 0/21
## EF - Bellatrix - Epoch Processing - Justification & Finalization [Preset: mainnet]
```diff
+ Justification & Finalization - 123_ok_support [Preset: mainnet] OK
Expand Down Expand Up @@ -1699,13 +1705,15 @@ OK: 1/1 Fail: 0/1 Skip: 0/1
+ Inactivity - random_inactivity_scores_full_participation_leaking [Preset: mainnet] OK
+ Inactivity - random_inactivity_scores_random_participation [Preset: mainnet] OK
+ Inactivity - random_inactivity_scores_random_participation_leaking [Preset: mainnet] OK
+ Inactivity - randomized_state [Preset: mainnet] OK
+ Inactivity - randomized_state_leaking [Preset: mainnet] OK
+ Inactivity - some_exited_full_random_leaking [Preset: mainnet] OK
+ Inactivity - some_slashed_full_random [Preset: mainnet] OK
+ Inactivity - some_slashed_full_random_leaking [Preset: mainnet] OK
+ Inactivity - some_slashed_zero_scores_full_participation [Preset: mainnet] OK
+ Inactivity - some_slashed_zero_scores_full_participation_leaking [Preset: mainnet] OK
```
OK: 19/19 Fail: 0/19 Skip: 0/19
OK: 21/21 Fail: 0/21 Skip: 0/21
## EF - Capella - Epoch Processing - Justification & Finalization [Preset: mainnet]
```diff
+ Justification & Finalization - 123_ok_support [Preset: mainnet] OK
Expand Down Expand Up @@ -1877,13 +1885,15 @@ OK: 1/1 Fail: 0/1 Skip: 0/1
+ Inactivity - random_inactivity_scores_full_participation_leaking [Preset: mainnet] OK
+ Inactivity - random_inactivity_scores_random_participation [Preset: mainnet] OK
+ Inactivity - random_inactivity_scores_random_participation_leaking [Preset: mainnet] OK
+ Inactivity - randomized_state [Preset: mainnet] OK
+ Inactivity - randomized_state_leaking [Preset: mainnet] OK
+ Inactivity - some_exited_full_random_leaking [Preset: mainnet] OK
+ Inactivity - some_slashed_full_random [Preset: mainnet] OK
+ Inactivity - some_slashed_full_random_leaking [Preset: mainnet] OK
+ Inactivity - some_slashed_zero_scores_full_participation [Preset: mainnet] OK
+ Inactivity - some_slashed_zero_scores_full_participation_leaking [Preset: mainnet] OK
```
OK: 19/19 Fail: 0/19 Skip: 0/19
OK: 21/21 Fail: 0/21 Skip: 0/21
## EF - Deneb - Epoch Processing - Justification & Finalization [Preset: mainnet]
```diff
+ Justification & Finalization - 123_ok_support [Preset: mainnet] OK
Expand Down Expand Up @@ -2026,6 +2036,11 @@ OK: 49/49 Fail: 0/49 Skip: 0/49
+ test_process_light_client_update_not_timeout OK
```
OK: 4/4 Fail: 0/4 Skip: 0/4
## EF - Light client - Single merkle proof [Preset: mainnet]
```diff
Light client - Single merkle proof - eip6110 Skip
```
OK: 0/1 Fail: 0/1 Skip: 1/1
## EF - Phase 0 - Epoch Processing - Effective balance updates [Preset: mainnet]
```diff
+ Effective balance updates - effective_balance_hysteresis [Preset: mainnet] OK
Expand Down Expand Up @@ -2168,6 +2183,7 @@ OK: 27/27 Fail: 0/27 Skip: 0/27
+ [Invalid] EF - Capella - Operations - Execution Payload - invalid_bad_everything_regular_p OK
+ [Invalid] EF - Capella - Operations - Execution Payload - invalid_bad_execution_first_payl OK
+ [Invalid] EF - Capella - Operations - Execution Payload - invalid_bad_execution_regular_pa OK
+ [Invalid] EF - Capella - Operations - Execution Payload - invalid_bad_parent_hash_first_pa OK
+ [Invalid] EF - Capella - Operations - Execution Payload - invalid_bad_parent_hash_regular_ OK
+ [Invalid] EF - Capella - Operations - Execution Payload - invalid_bad_pre_randao_regular_p OK
+ [Invalid] EF - Capella - Operations - Execution Payload - invalid_bad_prev_randao_first_pa OK
Expand All @@ -2181,9 +2197,12 @@ OK: 27/27 Fail: 0/27 Skip: 0/27
+ [Invalid] EF - Deneb - Operations - Execution Payload - invalid_bad_everything_regular_pay OK
+ [Invalid] EF - Deneb - Operations - Execution Payload - invalid_bad_execution_first_payloa OK
+ [Invalid] EF - Deneb - Operations - Execution Payload - invalid_bad_execution_regular_payl OK
+ [Invalid] EF - Deneb - Operations - Execution Payload - invalid_bad_parent_hash_first_payl OK
+ [Invalid] EF - Deneb - Operations - Execution Payload - invalid_bad_parent_hash_regular_pa OK
+ [Invalid] EF - Deneb - Operations - Execution Payload - invalid_bad_pre_randao_regular_pay OK
+ [Invalid] EF - Deneb - Operations - Execution Payload - invalid_bad_prev_randao_first_payl OK
+ [Invalid] EF - Deneb - Operations - Execution Payload - invalid_correct_input__execution_i OK
+ [Invalid] EF - Deneb - Operations - Execution Payload - invalid_exceed_max_blobs_per_block OK
+ [Invalid] EF - Deneb - Operations - Execution Payload - invalid_future_timestamp_first_pay OK
+ [Invalid] EF - Deneb - Operations - Execution Payload - invalid_future_timestamp_regular_p OK
+ [Invalid] EF - Deneb - Operations - Execution Payload - invalid_past_timestamp_first_paylo OK
Expand All @@ -2203,7 +2222,6 @@ OK: 27/27 Fail: 0/27 Skip: 0/27
+ [Valid] EF - Bellatrix - Operations - Execution Payload - success_regular_payload_with_g OK
+ [Valid] EF - Bellatrix - Operations - Execution Payload - zero_length_transaction_first_ OK
+ [Valid] EF - Bellatrix - Operations - Execution Payload - zero_length_transaction_regula OK
+ [Valid] EF - Capella - Operations - Execution Payload - bad_parent_hash_first_payload OK
+ [Valid] EF - Capella - Operations - Execution Payload - non_empty_extra_data_first_paylo OK
+ [Valid] EF - Capella - Operations - Execution Payload - non_empty_extra_data_regular_pay OK
+ [Valid] EF - Capella - Operations - Execution Payload - non_empty_transactions_first_pay OK
Expand All @@ -2216,7 +2234,12 @@ OK: 27/27 Fail: 0/27 Skip: 0/27
+ [Valid] EF - Capella - Operations - Execution Payload - success_regular_payload_with_gap OK
+ [Valid] EF - Capella - Operations - Execution Payload - zero_length_transaction_first_pa OK
+ [Valid] EF - Capella - Operations - Execution Payload - zero_length_transaction_regular_ OK
+ [Valid] EF - Deneb - Operations - Execution Payload - bad_parent_hash_first_payload OK
+ [Valid] EF - Deneb - Operations - Execution Payload - incorrect_blob_tx_type OK
+ [Valid] EF - Deneb - Operations - Execution Payload - incorrect_block_hash OK
+ [Valid] EF - Deneb - Operations - Execution Payload - incorrect_commitment OK
+ [Valid] EF - Deneb - Operations - Execution Payload - incorrect_commitments_order OK
+ [Valid] EF - Deneb - Operations - Execution Payload - incorrect_transaction_length_1_byt OK
+ [Valid] EF - Deneb - Operations - Execution Payload - incorrect_transaction_length_32_by OK
+ [Valid] EF - Deneb - Operations - Execution Payload - non_empty_extra_data_first_payload OK
+ [Valid] EF - Deneb - Operations - Execution Payload - non_empty_extra_data_regular_paylo OK
+ [Valid] EF - Deneb - Operations - Execution Payload - non_empty_transactions_first_paylo OK
Expand All @@ -2229,8 +2252,9 @@ OK: 27/27 Fail: 0/27 Skip: 0/27
+ [Valid] EF - Deneb - Operations - Execution Payload - success_regular_payload_with_gap_s OK
+ [Valid] EF - Deneb - Operations - Execution Payload - zero_length_transaction_first_payl OK
+ [Valid] EF - Deneb - Operations - Execution Payload - zero_length_transaction_regular_pa OK
+ [Valid] EF - Deneb - Operations - Execution Payload - zeroed_commitment OK
```
OK: 78/78 Fail: 0/78 Skip: 0/78
OK: 87/87 Fail: 0/87 Skip: 0/87
## Proposer Slashing
```diff
+ [Invalid] EF - Altair - Operations - Proposer Slashing - invalid_different_proposer_indice OK
Expand Down Expand Up @@ -2591,4 +2615,4 @@ OK: 63/63 Fail: 0/63 Skip: 0/63
OK: 100/100 Fail: 0/100 Skip: 0/100

---TOTAL---
OK: 2289/2297 Fail: 0/2297 Skip: 8/2297
OK: 2308/2317 Fail: 0/2317 Skip: 9/2317
Loading

0 comments on commit 0d7d0e2

Please sign in to comment.