status-im
/
nimbus-eth2
mirror of https://github.com/status-im/nimbus-eth2.git
2
0
Fork 0
Code Issues Projects Releases Wiki Activity
nimbus-eth2/beacon_chain/fork_choice.nim

59 lines
2.1 KiB
Nim
Raw Normal View History

Add more flesh to the skeleton :)
2018-11-26 13:33:06 +00:00
import
0.8.0, continued (#315) * rename get_genesis_beacon_state(...) to initialize_beacon_state_from_eth1(...); remove unused vestiges get_temporary_block_header(...) and get_empty_block(...); partly align initialize_beacon_state_from_eth1(...) with 0.8.0 version; implement CompactCommittee object type; update process_final_updates(...) to 0.8.0 * mark get_shard_delta(...) as 0.8.0 * mark get_total_active_balance(...) and epoch transition helper functions as 0.8.0 * move FORK_CHOICE_BALANCE_INCREMENT, not in spec anymore, to sole user in fork_choice
2019-07-10 12:23:02 +00:00
deques, math, options, sequtils, tables,
naive attestation pool, in preparation of fork choice integration (#125) * move attestation pool to separate file * combine attestations lazily when needed * advance state when there's a gap while attesting * compile beacon node with optimizations - it's tooo slow right now * log when unable to keep up
2019-02-19 23:35:02 +00:00
chronicles,
./spec/[beaconstate, datatypes, crypto, digest, helpers, validator], extras,
implement fork choice (#175) * keep track of a finalized block * keep track of all justified blocks * use naive spec version of LMD ghost * cache slot number and a few more things in BlockRef * keep track of the latest vote of each validator * depend less on the state of node.state (it's a cache, effectively)
2019-03-13 22:59:20 +00:00
./attestation_pool, ./beacon_node_types, ./beacon_chain_db, ./ssz
switch some proc to func, add some infrastructure, update based on spec name changes (#40) * switch some proc to func, add some infrastructure, update based on spec name changes * typo
2018-12-15 16:32:36 +00:00
implement fork choice (#175) * keep track of a finalized block * keep track of all justified blocks * use naive spec version of LMD ghost * cache slot number and a few more things in BlockRef * keep track of the latest vote of each validator * depend less on the state of node.state (it's a cache, effectively)
2019-03-13 22:59:20 +00:00
proc get_ancestor(blck: BlockRef, slot: Slot): BlockRef =
if blck.slot == slot:
Back the db by rocksdb backend
2019-01-14 12:19:44 +00:00
blck
implement fork choice (#175) * keep track of a finalized block * keep track of all justified blocks * use naive spec version of LMD ghost * cache slot number and a few more things in BlockRef * keep track of the latest vote of each validator * depend less on the state of node.state (it's a cache, effectively)
2019-03-13 22:59:20 +00:00
elif blck.slot < slot:
nil
Fork choice compiles (but untested)
2019-01-08 17:28:21 +00:00
else:
implement fork choice (#175) * keep track of a finalized block * keep track of all justified blocks * use naive spec version of LMD ghost * cache slot number and a few more things in BlockRef * keep track of the latest vote of each validator * depend less on the state of node.state (it's a cache, effectively)
2019-03-13 22:59:20 +00:00
get_ancestor(blck.parent, slot)
Fork choice compiles (but untested)
2019-01-08 17:28:21 +00:00
interop updates * add interop launcher scripts * stick validator_keygen into beacon_node * fix lmd ghost slot number on missing block * use mocked eth1data when producing blocks * use bls public key method for withdrawal credentials * fix deposit domain * prefer lowercase for a bunch of toHex * build simulation binary in data folder to avoid data types confusion
2019-09-01 15:02:49 +00:00
# https://github.com/ethereum/eth2.0-specs/blob/v0.8.3/specs/core/0_fork-choice.md
# The structure of this code differs from the spec since we use a different
# strategy for storing states and justification points - it should nonetheless
# be close in terms of functionality.
Back the db by rocksdb backend
2019-01-14 12:19:44 +00:00
proc lmdGhost*(
implement fork choice (#175) * keep track of a finalized block * keep track of all justified blocks * use naive spec version of LMD ghost * cache slot number and a few more things in BlockRef * keep track of the latest vote of each validator * depend less on the state of node.state (it's a cache, effectively)
2019-03-13 22:59:20 +00:00
pool: AttestationPool, start_state: BeaconState,
start_block: BlockRef): BlockRef =
Fork choice compiles (but untested)
2019-01-08 17:28:21 +00:00
# TODO: a Fenwick Tree datastructure to keep track of cumulated votes
# in O(log N) complexity
# https://en.wikipedia.org/wiki/Fenwick_tree
# Nim implementation for cumulative frequencies at
# https://github.com/numforge/laser/blob/990e59fffe50779cdef33aa0b8f22da19e1eb328/benchmarks/random_sampling/fenwicktree.nim
implement fork choice (#175) * keep track of a finalized block * keep track of all justified blocks * use naive spec version of LMD ghost * cache slot number and a few more things in BlockRef * keep track of the latest vote of each validator * depend less on the state of node.state (it's a cache, effectively)
2019-03-13 22:59:20 +00:00
let
active_validator_indices =
get_active_validator_indices(
Initial frozen phase 0/v0.8.0 spec (#305) * rename slot_to_epoch(...) to compute_epoch_of_slot(...) * rename aggregation_bitfield/custody_bitfield fields to aggregation_bits/custody_bits; rename convert_to_indexed(...) to get_indexed_attestation(...); mark BeaconBlockHeader as 0.8.0; update minimal preset MIN_ATTESTATION_INCLUSION_DELAY/time parameters in general to 0.8 * fix beacon node compilation; it used slightly different capitalizations of slot_to_epoch/slotToEpoch * mark integer_squareroot(...), Deposit, VoluntaryExit, and Transfer as 0.8.0; rename get_epoch_start_slot(...) to compute_start_slot_of_epoch(...) * add new Domain alias for uint64; rename bls_domain(...) to compute_domain(...), MAX_INDICES_PER_ATTESTATION to MAX_VALIDATORS_PER_COMMITTEE, and SignatureDomain to DomainType; update get_domain(...) to 0.8.0 * update/mark initiate_validator_exit(...) and Crosslink as 0.8.0; rename BeaconState.latest_block_roots -> BeaconState.block_roots; mark HistoricalBatch as 0.8.0
2019-07-01 07:53:42 +00:00
start_state, compute_epoch_of_slot(start_state.slot))
implement fork choice (#175) * keep track of a finalized block * keep track of all justified blocks * use naive spec version of LMD ghost * cache slot number and a few more things in BlockRef * keep track of the latest vote of each validator * depend less on the state of node.state (it's a cache, effectively)
2019-03-13 22:59:20 +00:00
interop updates * add interop launcher scripts * stick validator_keygen into beacon_node * fix lmd ghost slot number on missing block * use mocked eth1data when producing blocks * use bls public key method for withdrawal credentials * fix deposit domain * prefer lowercase for a bunch of toHex * build simulation binary in data folder to avoid data types confusion
2019-09-01 15:02:49 +00:00
var latest_messages: seq[tuple[validator: ValidatorIndex, blck: BlockRef]]
implement fork choice (#175) * keep track of a finalized block * keep track of all justified blocks * use naive spec version of LMD ghost * cache slot number and a few more things in BlockRef * keep track of the latest vote of each validator * depend less on the state of node.state (it's a cache, effectively)
2019-03-13 22:59:20 +00:00
for i in active_validator_indices:
rename BeaconState.validator_registry to BeaconState.validators
2019-07-01 09:13:14 +00:00
let pubKey = start_state.validators[i].pubkey
implement fork choice (#175) * keep track of a finalized block * keep track of all justified blocks * use naive spec version of LMD ghost * cache slot number and a few more things in BlockRef * keep track of the latest vote of each validator * depend less on the state of node.state (it's a cache, effectively)
2019-03-13 22:59:20 +00:00
if (let vote = pool.latestAttestation(pubKey); not vote.isNil):
interop updates * add interop launcher scripts * stick validator_keygen into beacon_node * fix lmd ghost slot number on missing block * use mocked eth1data when producing blocks * use bls public key method for withdrawal credentials * fix deposit domain * prefer lowercase for a bunch of toHex * build simulation binary in data folder to avoid data types confusion
2019-09-01 15:02:49 +00:00
latest_messages.add((i, vote))
implement fork choice (#175) * keep track of a finalized block * keep track of all justified blocks * use naive spec version of LMD ghost * cache slot number and a few more things in BlockRef * keep track of the latest vote of each validator * depend less on the state of node.state (it's a cache, effectively)
2019-03-13 22:59:20 +00:00
interop updates * add interop launcher scripts * stick validator_keygen into beacon_node * fix lmd ghost slot number on missing block * use mocked eth1data when producing blocks * use bls public key method for withdrawal credentials * fix deposit domain * prefer lowercase for a bunch of toHex * build simulation binary in data folder to avoid data types confusion
2019-09-01 15:02:49 +00:00
template get_latest_attesting_balance(blck: BlockRef): uint64 =
implement fork choice (#175) * keep track of a finalized block * keep track of all justified blocks * use naive spec version of LMD ghost * cache slot number and a few more things in BlockRef * keep track of the latest vote of each validator * depend less on the state of node.state (it's a cache, effectively)
2019-03-13 22:59:20 +00:00
var res: uint64
interop updates * add interop launcher scripts * stick validator_keygen into beacon_node * fix lmd ghost slot number on missing block * use mocked eth1data when producing blocks * use bls public key method for withdrawal credentials * fix deposit domain * prefer lowercase for a bunch of toHex * build simulation binary in data folder to avoid data types confusion
2019-09-01 15:02:49 +00:00
for validator_index, target in latest_messages.items():
implement fork choice (#175) * keep track of a finalized block * keep track of all justified blocks * use naive spec version of LMD ghost * cache slot number and a few more things in BlockRef * keep track of the latest vote of each validator * depend less on the state of node.state (it's a cache, effectively)
2019-03-13 22:59:20 +00:00
if get_ancestor(target, blck.slot) == blck:
interop updates * add interop launcher scripts * stick validator_keygen into beacon_node * fix lmd ghost slot number on missing block * use mocked eth1data when producing blocks * use bls public key method for withdrawal credentials * fix deposit domain * prefer lowercase for a bunch of toHex * build simulation binary in data folder to avoid data types confusion
2019-09-01 15:02:49 +00:00
res += start_state.validators[validator_index].effective_balance
implement fork choice (#175) * keep track of a finalized block * keep track of all justified blocks * use naive spec version of LMD ghost * cache slot number and a few more things in BlockRef * keep track of the latest vote of each validator * depend less on the state of node.state (it's a cache, effectively)
2019-03-13 22:59:20 +00:00
res
var head = start_block
while true:
if head.children.len() == 0:
return head
head = head.children[0]
var
interop updates * add interop launcher scripts * stick validator_keygen into beacon_node * fix lmd ghost slot number on missing block * use mocked eth1data when producing blocks * use bls public key method for withdrawal credentials * fix deposit domain * prefer lowercase for a bunch of toHex * build simulation binary in data folder to avoid data types confusion
2019-09-01 15:02:49 +00:00
headCount = get_latest_attesting_balance(head)
implement fork choice (#175) * keep track of a finalized block * keep track of all justified blocks * use naive spec version of LMD ghost * cache slot number and a few more things in BlockRef * keep track of the latest vote of each validator * depend less on the state of node.state (it's a cache, effectively)
2019-03-13 22:59:20 +00:00
for i in 1..<head.children.len:
interop updates * add interop launcher scripts * stick validator_keygen into beacon_node * fix lmd ghost slot number on missing block * use mocked eth1data when producing blocks * use bls public key method for withdrawal credentials * fix deposit domain * prefer lowercase for a bunch of toHex * build simulation binary in data folder to avoid data types confusion
2019-09-01 15:02:49 +00:00
if (let hc = get_latest_attesting_balance(head.children[i]); hc > headCount):
implement fork choice (#175) * keep track of a finalized block * keep track of all justified blocks * use naive spec version of LMD ghost * cache slot number and a few more things in BlockRef * keep track of the latest vote of each validator * depend less on the state of node.state (it's a cache, effectively)
2019-03-13 22:59:20 +00:00
head = head.children[i]
headCount = hc