fix: outstanding ssz issues after #1430 (#1432)

Author: rodrigo-o

config/networks/mainnet/config.yaml

@@ -135,12 +135,14 @@ ATTESTATION_SUBNET_PREFIX_BITS: 6
 # Deneb
 # `2**7` (=128)
 MAX_REQUEST_BLOCKS_DENEB: 128
-# MAX_REQUEST_BLOCKS_DENEB * MAX_BLOBS_PER_BLOCK
-MAX_REQUEST_BLOB_SIDECARS: 768
 # `2**12` (= 4096 epochs, ~18 days)
 MIN_EPOCHS_FOR_BLOB_SIDECARS_REQUESTS: 4096
 # `6`
 BLOB_SIDECAR_SUBNET_COUNT: 6
+## 6 blobs
+MAX_BLOBS_PER_BLOCK: 6
+# MAX_REQUEST_BLOCKS_DENEB * MAX_BLOBS_PER_BLOCK (= 128 * 6) sidecars
+MAX_REQUEST_BLOB_SIDECARS: 768
 
 # Whisk
 # `Epoch(2**8)`

config/networks/minimal/config.yaml

@@ -135,12 +135,14 @@ ATTESTATION_SUBNET_PREFIX_BITS: 6
 # Deneb
 # `2**7` (=128)
 MAX_REQUEST_BLOCKS_DENEB: 128
-# MAX_REQUEST_BLOCKS_DENEB * MAX_BLOBS_PER_BLOCK
-MAX_REQUEST_BLOB_SIDECARS: 768
 # `2**12` (= 4096 epochs, ~18 days)
 MIN_EPOCHS_FOR_BLOB_SIDECARS_REQUESTS: 4096
 # `6`
 BLOB_SIDECAR_SUBNET_COUNT: 6
+## 6 blobs
+MAX_BLOBS_PER_BLOCK: 6
+# MAX_REQUEST_BLOCKS_DENEB * MAX_BLOBS_PER_BLOCK (= 128 * 6) sidecars
+MAX_REQUEST_BLOB_SIDECARS: 768
 
 # Whisk
 WHISK_EPOCHS_PER_SHUFFLING_PHASE: 4

config/presets/minimal/deneb.yaml

@@ -5,8 +5,6 @@
 # `uint64(4096)`
 FIELD_ELEMENTS_PER_BLOB: 4096
 # [customized]
-MAX_BLOB_COMMITMENTS_PER_BLOCK: 16
-# `uint64(6)`
-MAX_BLOBS_PER_BLOCK: 6
-# [customized] `floorlog2(get_generalized_index(BeaconBlockBody, 'blob_kzg_commitments')) + 1 + ceillog2(MAX_BLOB_COMMITMENTS_PER_BLOCK)` = 4 + 1 + 4 = 9
-KZG_COMMITMENT_INCLUSION_PROOF_DEPTH: 9
+MAX_BLOB_COMMITMENTS_PER_BLOCK: 32
+# [customized] floorlog2(get_generalized_index(BeaconBlockBody, 'blob_kzg_commitments')) + 1 + ceillog2(MAX_BLOB_COMMITMENTS_PER_BLOCK) (= 4 + 1 + 5 = 10)
+KZG_COMMITMENT_INCLUSION_PROOF_DEPTH: 10

lib/types/beacon_chain/beacon_block_body.ex

@@ -38,7 +38,7 @@ defmodule Types.BeaconBlockBody do
           # max MAX_DEPOSITS
           deposits: list(Types.Deposit.t()),
           # max MAX_VOLUNTARY_EXITS
-          voluntary_exits: list(Types.VoluntaryExit.t()),
+          voluntary_exits: list(Types.SignedVoluntaryExit.t()),
           sync_aggregate: Types.SyncAggregate.t(),
           execution_payload: Types.ExecutionPayload.t(),
           # max MAX_BLS_TO_EXECUTION_CHANGES

native/ssz_nif/src/ssz_types/config.rs

@@ -131,8 +131,8 @@ impl Config for Minimal {
     type SyncCommitteeSize = U32;
     type MaxWithdrawalsPerPayload = U4;
     type FieldElementsPerBlob = U4096;
-    type MaxBlobCommitmentsPerBlock = U16;
-    type KzgCommitmentInclusionProofDepth = U9;
+    type MaxBlobCommitmentsPerBlock = U32;
+    type KzgCommitmentInclusionProofDepth = U10;
     type MaxCommitteesPerSlot = U4;
     // Electra added fields
     type MaxDepositRequestsPerPayload = U4;