status-im/nimbus-eth2
2
0
Fork 0
mirror of https://github.com/status-im/nimbus-eth2.git synced 2025-01-22 12:30:08 +00:00
Code Issues Projects Releases Wiki Activity

docs & comments

Browse Source 
* link to resources for shuffling
* describe get_beacon_proposer
* hints for solving init issue
This commit is contained in:
Jacek Sieka 2018-11-26 09:44:49 -06:00
parent d1839dad9a
commit da22f2065f
No known key found for this signature in database
GPG Key ID: 6299FEB3EB6FA465
2 changed files with 15 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
beacon_chain/private/helpers.nim
View File

@ -32,8 +32,11 @@ func shuffle*[T](values: seq[T], seed: Blake2_256_Digest): seq[T] =
while index < values_count - 1: while index < values_count - 1:
# Re-hash the `source` to obtain a new pattern of bytes. # Re-hash the `source` to obtain a new pattern of bytes.
# XXX "attempting to call undeclared routine init" # XXX: attempting to call undeclared routine: 'init'
# source = blake2_256.digest source.data # https://github.com/nim-lang/Nim/issues/8677
#
# mixin init? doesn't seem to be enough
#source = blake2_256.digest source.data
# Iterate through the `source` bytes in 3-byte chunks. # Iterate through the `source` bytes in 3-byte chunks.
for pos in countup(0, 29, 3): for pos in countup(0, 29, 3):
@ -69,9 +72,6 @@ func split*[T](lst: openArray[T], N: Positive): seq[seq[T]] =
func get_shards_and_committees_for_slot*(state: BeaconState, func get_shards_and_committees_for_slot*(state: BeaconState,
slot: uint64 slot: uint64
): seq[ShardAndCommittee] = ): seq[ShardAndCommittee] =
# TODO: Spec why is active_state an argument?
# TODO: this returns a scalar, not vector, but its return type in spec is a seq/list?
let earliest_slot_in_array = state.last_state_recalculation_slot - CYCLE_LENGTH let earliest_slot_in_array = state.last_state_recalculation_slot - CYCLE_LENGTH
assert earliest_slot_in_array <= slot assert earliest_slot_in_array <= slot
assert slot < earliest_slot_in_array + CYCLE_LENGTH * 2 assert slot < earliest_slot_in_array + CYCLE_LENGTH * 2
@ -99,6 +99,14 @@ func get_new_recent_block_hashes*(old_block_hashes: seq[Blake2_256_Digest],
result.add parent_hash result.add parent_hash
func get_beacon_proposer*(state: BeaconState, slot: uint64): ValidatorRecord = func get_beacon_proposer*(state: BeaconState, slot: uint64): ValidatorRecord =
## From Casper RPJ mini-spec:
## When slot i begins, validator Vidx is expected
## to create ("propose") a block, which contains a pointer to some parent block
## that they perceive as the "head of the chain",
## and includes all of the **attestations** that they know about
## that have not yet been included into that chain.
##
## idx in Vidx == p(i mod N), pi being a random permutation of validators indices (i.e. a committee)
let let
first_committee = get_shards_and_committees_for_slot(state, slot)[0].committee first_committee = get_shards_and_committees_for_slot(state, slot)[0].committee
index = first_committee[(slot mod len(first_committee).uint64).int] index = first_committee[(slot mod len(first_committee).uint64).int]

3
tests/test_validator.nim
View File

@ -15,7 +15,8 @@ func sumCommittees(v: openArray[seq[ShardAndCommittee]]): int =
suite "Validators": suite "Validators":
## For now just test that we can compile and execute block processing with mock data. ## For now just test that we can compile and execute block processing with mock data.
## https://github.com/status-im/nim-beacon-chain/issues/1
## https://github.com/sigp/lighthouse/blob/ba548e49a52687a655c61b443b6835d79c6d4236/beacon_chain/validator_shuffling/src/shuffle.rs
test "Smoke validator shuffling": test "Smoke validator shuffling":
let let
validators = repeat( validators = repeat(