2024-06-18 13:31:56 +00:00
|
|
|
# beacon_chain
|
|
|
|
# Copyright (c) 2018-2024 Status Research & Development GmbH
|
|
|
|
# Licensed and distributed under either of
|
|
|
|
# * MIT license (license terms in the root directory or at https://opensource.org/licenses/MIT).
|
|
|
|
# * Apache v2 license (license terms in the root directory or at https://www.apache.org/licenses/LICENSE-2.0).
|
|
|
|
# at your option. This file may not be copied, modified, or distributed except according to those terms.
|
|
|
|
|
|
|
|
{.push raises: [].}
|
|
|
|
|
|
|
|
import
|
|
|
|
std/tables,
|
|
|
|
../spec/[helpers, eip7594_helpers]
|
|
|
|
|
|
|
|
from std/sequtils import mapIt
|
|
|
|
from std/strutils import join
|
|
|
|
|
|
|
|
const
|
|
|
|
MaxDataColumns = 3 * SLOTS_PER_EPOCH * NUMBER_OF_COLUMNS
|
|
|
|
## Same limit as `MaxOrphans` in `block_quarantine`
|
|
|
|
## data columns may arrive before an orphan is tagged `columnless`
|
|
|
|
|
|
|
|
type
|
|
|
|
DataColumnQuarantine* = object
|
|
|
|
data_columns*:
|
|
|
|
OrderedTable[(Eth2Digest, ColumnIndex), ref DataColumnSidecar]
|
|
|
|
onDataColumnSidecarCallback*: OnDataColumnSidecarCallback
|
|
|
|
|
|
|
|
DataColumnFetchRecord* = object
|
|
|
|
block_root*: Eth2Digest
|
|
|
|
indices*: seq[ColumnIndex]
|
|
|
|
|
|
|
|
OnDataColumnSidecarCallback = proc(data: DataColumnSidecar) {.gcsafe, raises: [].}
|
|
|
|
|
|
|
|
func shortLog*(x: seq[ColumnIndex]): string =
|
|
|
|
"<" & x.mapIt($it).join(", ") & ">"
|
|
|
|
|
|
|
|
func shortLog*(x: seq[DataColumnFetchRecord]): string =
|
|
|
|
"[" & x.mapIt(shortLog(it.block_root) & shortLog(it.indices)).join(", ") & "]"
|
|
|
|
|
|
|
|
func put*(quarantine: var DataColumnQuarantine, dataColumnSidecar: ref DataColumnSidecar) =
|
|
|
|
if quarantine.data_columns.lenu64 >= MaxDataColumns:
|
|
|
|
# FIFO if full. For example, sync manager and request manager can race to
|
2024-06-21 09:21:54 +00:00
|
|
|
# put data columns in at the same time, so one gets blob insert -> block resolve
|
|
|
|
# -> data columns insert sequence, which leaves garbage data columns.
|
2024-06-18 13:31:56 +00:00
|
|
|
#
|
|
|
|
# This also therefore automatically garbage-collects otherwise valid garbage
|
2024-06-21 09:21:54 +00:00
|
|
|
# data columns which are correctly signed, point to either correct block roots or a
|
2024-06-18 13:31:56 +00:00
|
|
|
# block root which isn't ever seen, and then are for any reason simply never
|
|
|
|
# used.
|
|
|
|
var oldest_column_key: (Eth2Digest, ColumnIndex)
|
|
|
|
for k in quarantine.data_columns.keys:
|
|
|
|
oldest_column_key = k
|
|
|
|
break
|
|
|
|
quarantine.data_columns.del(oldest_column_key)
|
|
|
|
let block_root = hash_tree_root(dataColumnSidecar.signed_block_header.message)
|
|
|
|
discard quarantine.data_columns.hasKeyOrPut(
|
|
|
|
(block_root, dataColumnSidecar.index), dataColumnSidecar)
|
|
|
|
|
|
|
|
func hasDataColumn*(
|
|
|
|
quarantine: DataColumnQuarantine,
|
|
|
|
slot: Slot,
|
|
|
|
proposer_index: uint64,
|
|
|
|
index: ColumnIndex): bool =
|
|
|
|
for data_column_sidecar in quarantine.data_columns.values:
|
|
|
|
template block_header: untyped = data_column_sidecar.signed_block_header.message
|
|
|
|
if block_header.slot == slot and
|
|
|
|
block_header.proposer_index == proposer_index and
|
|
|
|
data_column_sidecar.index == index:
|
|
|
|
return true
|
|
|
|
false
|
|
|
|
|
2024-06-18 22:16:03 +00:00
|
|
|
func popDataColumns*(
|
|
|
|
quarantine: var DataColumnQuarantine, digest: Eth2Digest,
|
|
|
|
blck: deneb.SignedBeaconBlock | electra.SignedBeaconBlock):
|
|
|
|
seq[ref DataColumnSidecar] =
|
|
|
|
var r: seq[ref DataColumnSidecar]
|
2024-10-02 21:03:25 +00:00
|
|
|
for idx in 0..<NUMBER_OF_COLUMNS:
|
2024-06-18 22:16:03 +00:00
|
|
|
var c: ref DataColumnSidecar
|
|
|
|
if quarantine.data_columns.pop((digest, ColumnIndex idx), c):
|
|
|
|
r.add(c)
|
2024-06-24 12:02:06 +00:00
|
|
|
r
|
2024-06-18 22:16:03 +00:00
|
|
|
|
2024-10-03 10:19:01 +00:00
|
|
|
func checkForInitialDcSidecars*(quarantine: DataColumnQuarantine,
|
|
|
|
blck: deneb.SignedBeaconBlock | electra.SignedBeaconBlock): bool =
|
|
|
|
for idx in 0..<len(blck.message.body.blob_kzg_commitments):
|
|
|
|
if (blck.root, ColumnIndex idx) notin quarantine.data_columns:
|
|
|
|
return false
|
|
|
|
true
|
2024-10-03 10:13:45 +00:00
|
|
|
|
2024-06-18 22:16:03 +00:00
|
|
|
func hasDataColumns*(quarantine: DataColumnQuarantine,
|
|
|
|
blck: deneb.SignedBeaconBlock | electra.SignedBeaconBlock): bool =
|
2024-10-04 23:49:14 +00:00
|
|
|
var counter = 0
|
2024-10-07 20:58:42 +00:00
|
|
|
for i in 0..<NUMBER_OF_COLUMNS:
|
|
|
|
let idx = ColumnIndex(i)
|
|
|
|
if len(blck.message.body.blob_kzg_commitments) != 0 and
|
|
|
|
quarantine.data_columns.hasKey(
|
|
|
|
(blck.root, idx)):
|
|
|
|
inc counter
|
2024-10-08 05:49:49 +00:00
|
|
|
if counter == max(SAMPLES_PER_SLOT, CUSTODY_REQUIREMENT) and
|
|
|
|
counter == NUMBER_OF_COLUMNS:
|
|
|
|
return true
|
|
|
|
false
|
2024-06-18 22:16:03 +00:00
|
|
|
|
|
|
|
func dataColumnFetchRecord*(quarantine: DataColumnQuarantine,
|
|
|
|
blck: deneb.SignedBeaconBlock | electra.SignedBeaconBlock): DataColumnFetchRecord =
|
|
|
|
var indices: seq[ColumnIndex]
|
2024-10-02 21:03:25 +00:00
|
|
|
for i in 0..<NUMBER_OF_COLUMNS:
|
2024-06-18 22:16:03 +00:00
|
|
|
let idx = ColumnIndex(i)
|
2024-10-04 23:49:14 +00:00
|
|
|
if quarantine.data_columns.hasKey(
|
2024-06-18 22:16:03 +00:00
|
|
|
(blck.root, idx)):
|
2024-10-04 23:49:14 +00:00
|
|
|
continue
|
|
|
|
else:
|
2024-06-18 22:16:03 +00:00
|
|
|
indices.add(idx)
|
|
|
|
DataColumnFetchRecord(block_root: blck.root, indices: indices)
|
|
|
|
|
|
|
|
func init*(
|
2024-06-28 09:23:08 +00:00
|
|
|
T: type DataColumnQuarantine): T = T()
|
2024-06-18 22:16:03 +00:00
|
|
|
|