mirror of
https://github.com/OffchainLabs/prysm.git
synced 2026-01-06 22:23:56 -05:00
d945b1d905
* Add Gloas protobuf definitions with spec tests * Potuz's feedback * Update comment * Update final commits for fastssz and go-bitfield * Sync with develop offchain labs go bitfield changes * Update deps.bzl Co-authored-by: Preston Van Loon <pvanloon@offchainlabs.com> * Update deps.bzl Co-authored-by: Preston Van Loon <pvanloon@offchainlabs.com> * Gazelle fix build --------- Co-authored-by: Preston Van Loon <pvanloon@offchainlabs.com>
129 lines
5.7 KiB
Python
129 lines
5.7 KiB
Python
"""
|
|
SSZ proto templating rules.
|
|
|
|
These rules allow for variable substitution for hardcoded tag values like ssz-size and ssz-max.
|
|
"""
|
|
|
|
####### Configuration #######
|
|
|
|
mainnet = {
|
|
"block_roots.size": "8192,32", # SLOTS_PER_HISTORICAL_ROOT, [32]byte
|
|
"state_roots.size": "8192,32", # SLOTS_PER_HISTORICAL_ROOT, [32]byte
|
|
"eth1_data_votes.size": "2048", # SLOTS_PER_ETH1_VOTING_PERIOD
|
|
"randao_mixes.size": "65536,32", # EPOCHS_PER_HISTORICAL_VECTOR, [32]byte
|
|
"previous_epoch_attestations.max": "4096", # MAX_ATTESTATIONS * SLOTS_PER_EPOCH
|
|
"current_epoch_attestations.max": "4096", # MAX_ATTESTATIONS * SLOTS_PER_EPOCH
|
|
"slashings.size": "8192", # EPOCHS_PER_SLASHINGS_VECTOR
|
|
"sync_committee_bits.size": "512", # SYNC_COMMITTEE_SIZE
|
|
"sync_committee_bytes.size": "64",
|
|
"sync_committee_bits.type": "github.com/OffchainLabs/go-bitfield.Bitvector512",
|
|
"sync_committee_aggregate_bytes.size": "16",
|
|
"sync_committee_aggregate_bits.type": "github.com/OffchainLabs/go-bitfield.Bitvector128",
|
|
"withdrawal.size": "16",
|
|
"blob.size": "131072", # BYTES_PER_FIELD_ELEMENT * FIELD_ELEMENTS_PER_BLOB
|
|
"logs_bloom.size": "256",
|
|
"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",
|
|
"max_attesting_indices.size": "131072",
|
|
"max_committees_per_slot.size": "64",
|
|
"committee_bits.size": "8",
|
|
"committee_bits.type": "github.com/OffchainLabs/go-bitfield.Bitvector64",
|
|
"pending_deposits_limit": "134217728",
|
|
"pending_partial_withdrawals_limit": "134217728",
|
|
"pending_consolidations_limit": "262144",
|
|
"max_consolidation_requests_per_payload.size": "2",
|
|
"field_elements_per_cell.size": "64",
|
|
"field_elements_per_ext_blob.size": "8192",
|
|
"bytes_per_cell.size": "2048", # FIELD_ELEMENTS_PER_CELL * BYTES_PER_FIELD_ELEMENT
|
|
"cells_per_blob.size": "128",
|
|
"kzg_commitments_inclusion_proof_depth.size": "4",
|
|
"proposer_lookahead_size": "64", # (MIN_SEED_LOOKAHEAD + 1) * SLOTS_PER_EPOCH
|
|
"ptc.size": "64", # Gloas: Payload Timeliness Committee aggregation bits (PTC_SIZE = 512)
|
|
"ptc.type": "github.com/OffchainLabs/go-bitfield.Bitvector512",
|
|
"payload_attestation.size": "4", # Gloas: MAX_PAYLOAD_ATTESTATIONS defined in block body
|
|
"execution_payload_availability.size": "1024", # Gloas: SLOTS_PER_HISTORICAL_ROOT
|
|
"builder_pending_payments.size": "64", # Gloas: vector length (2 * SLOTS_PER_EPOCH)
|
|
}
|
|
|
|
minimal = {
|
|
"block_roots.size": "64,32",
|
|
"state_roots.size": "64,32",
|
|
"eth1_data_votes.size": "32",
|
|
"randao_mixes.size": "64,32",
|
|
"previous_epoch_attestations.max": "1024",
|
|
"current_epoch_attestations.max": "1024",
|
|
"slashings.size": "64",
|
|
"sync_committee_bits.size": "32",
|
|
"sync_committee_bytes.size": "4",
|
|
"sync_committee_bits.type": "github.com/OffchainLabs/go-bitfield.Bitvector32",
|
|
"sync_committee_aggregate_bytes.size": "1",
|
|
"sync_committee_aggregate_bits.type": "github.com/OffchainLabs/go-bitfield.Bitvector8",
|
|
"withdrawal.size": "4",
|
|
"blob.size": "131072",
|
|
"logs_bloom.size": "256",
|
|
"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",
|
|
"max_attesting_indices.size": "8192",
|
|
"max_committees_per_slot.size": "4",
|
|
"committee_bits.size": "1",
|
|
"committee_bits.type": "github.com/OffchainLabs/go-bitfield.Bitvector4",
|
|
"pending_deposits_limit": "134217728",
|
|
"pending_partial_withdrawals_limit": "64",
|
|
"pending_consolidations_limit": "64",
|
|
"max_consolidation_requests_per_payload.size": "2",
|
|
"field_elements_per_cell.size": "64",
|
|
"field_elements_per_ext_blob.size": "8192",
|
|
"bytes_per_cell.size": "2048", # FIELD_ELEMENTS_PER_CELL * BYTES_PER_FIELD_ELEMENT
|
|
"cells_per_blob.size": "128",
|
|
"kzg_commitments_inclusion_proof_depth.size": "4",
|
|
"proposer_lookahead_size": "16", # (MIN_SEED_LOOKAHEAD + 1) * SLOTS_PER_EPOCH
|
|
"ptc.size": "1", # Gloas: Payload Timeliness Committee aggregation bits
|
|
"ptc.type": "github.com/OffchainLabs/go-bitfield.Bitvector2",
|
|
"payload_attestation.size": "4", # Gloas: MAX_PAYLOAD_ATTESTATIONS defined in block body
|
|
"execution_payload_availability.size": "8", # Gloas: SLOTS_PER_HISTORICAL_ROOT
|
|
"builder_pending_payments.size": "16" # Gloas: vector length (2 * SLOTS_PER_EPOCH)
|
|
}
|
|
|
|
###### Rules definitions #######
|
|
|
|
def _ssz_proto_files_impl(ctx):
|
|
"""
|
|
ssz_proto_files implementation performs expand_template based on the value of "config".
|
|
"""
|
|
outputs = []
|
|
if (ctx.attr.config.lower() == "mainnet"):
|
|
subs = mainnet
|
|
elif (ctx.attr.config.lower() == "minimal"):
|
|
subs = minimal
|
|
else:
|
|
fail("%s is an unknown configuration" % ctx.attr.config)
|
|
|
|
for src in ctx.attr.srcs:
|
|
output = ctx.actions.declare_file(src.files.to_list()[0].basename)
|
|
outputs.append(output)
|
|
ctx.actions.expand_template(
|
|
template = src.files.to_list()[0],
|
|
output = output,
|
|
substitutions = subs,
|
|
)
|
|
|
|
return [DefaultInfo(files = depset(outputs))]
|
|
|
|
ssz_proto_files = rule(
|
|
implementation = _ssz_proto_files_impl,
|
|
attrs = {
|
|
"srcs": attr.label_list(mandatory = True, allow_files = [".proto"]),
|
|
"config": attr.string(mandatory = True),
|
|
},
|
|
)
|