Add new vars defined in consensus-spec (#15101)

Author: 0x00101010

config/fieldparams/mainnet.go

@@ -54,4 +54,9 @@ const (
 	MaxRandomByte                         = uint64(1<<8 - 1)  // MaxRandomByte defines max for a random byte using for proposer and sync committee sampling.
 	MaxRandomValueElectra                 = uint64(1<<16 - 1) // MaxRandomValueElectra defines max for a random value using for proposer and sync committee sampling.
 	NumberOfColumns                       = 128               // NumberOfColumns refers to the specified number of data columns that can exist in a network.
+
+	// Introduced in Fulu network upgrade.
+	FieldElementsPerCell              = 64   // FieldElementsPerCell refers to the specified number of field elements that can exist in a cell.
+	FieldElementsPerExtBlob           = 8192 // FieldElementsPerExtBlob refers to the specified number of field elements that can exist in an extended blob.
+	KZGCommitmentsInclusionProofDepth = 4    // KZGCommitmentsInclusionProofDepth refers to the specified depth of the KZG commitments inclusion proof.
 )

config/fieldparams/minimal.go

@@ -54,4 +54,9 @@ const (
 	MaxRandomByte                         = uint64(1<<8 - 1)  // Maximum value for a random value using for proposer and sync committee sampling.
 	MaxRandomValueElectra                 = uint64(1<<16 - 1) // Maximum value for a random value using for proposer and sync committee sampling.
 	NumberOfColumns                       = 128               // NumberOfColumns refers to the specified number of data columns that can exist in a network.
+
+	// Introduced in Fulu network upgrade.
+	FieldElementsPerCell              = 64   // FieldElementsPerCell refers to the specified number of field elements that can exist in a cell.
+	FieldElementsPerExtBlob           = 8192 // FieldElementsPerExtBlob refers to the specified number of field elements that can exist in an extended blob.
+	KZGCommitmentsInclusionProofDepth = 4    // KZGCommitmentsInclusionProofDepth refers to the specified depth of the KZG commitments inclusion proof.
 )

proto/ssz_proto_library.bzl

@@ -25,6 +25,7 @@ mainnet = {
     "extra_data.size": "32",
     "max_blobs_per_block.size": "6",
     "max_blob_commitments.size": "4096",
+    "max_cell_proofs_length.size": "33554432", # FIELD_ELEMENTS_PER_EXT_BLOB * MAX_BLOB_COMMITMENTS_PER_BLOCK
     "kzg_commitment_inclusion_proof_depth.size": "17",
     "max_withdrawal_requests_per_payload.size": "16",
     "max_deposit_requests_per_payload.size": "8192",
@@ -62,6 +63,7 @@ minimal = {
     "extra_data.size": "32",
     "max_blobs_per_block.size": "6",
     "max_blob_commitments.size": "32",
+    "max_cell_proofs_length.size": "33554432", # FIELD_ELEMENTS_PER_EXT_BLOB * MAX_BLOB_COMMITMENTS_PER_BLOCK
     "kzg_commitment_inclusion_proof_depth.size": "10",
     "max_withdrawal_requests_per_payload.size": "2",
     "max_deposit_requests_per_payload.size": "4",