Randao_update object for active state

[ethereum]

Randao_update object for active state

[vbuterin]

Sorry accidentally fat fingered as a commit instead of a PR, but here's a simple solution: fe74c7e

[terencechain]

Sgtm!

[djrtwo]

Proposed implementation --

• move randao_mix to CrystallizedState
• store array of size CYCLE_LENGTH in active_state. These values are each initialized to 0x00 * 32 . Call it pending_randao_reveals
• when processing a block, check the validity of the reveal.
• during state recalc, for each slot in (last_state_recalc, last_state_recalc + CYCLE_LENGTH - 1)
  • if active_state.pending_randao_reveals[slot] != 0x00 *32
    • let proposer_index be the proposer index from the shuffling related to the slot
    • `crystallized_state.randao_mix = xor(crystallized_state.randao_mix, active_state.pending_randao_reveals[slot])
    • crystallized_state.validators[proposer_index].randao_commitment = active_state.pending_randao_reveals[slot]
• after a state recalc, set active_state.pending_randao_reveals to be CYCLE_LENGTH 0x00 hashes
• after doing all state recalcs, set active_state.pending_randao_reveals[block.slot % CYCLE_LENGTH] = block.randao_reveal

Note that setting the pending_randao_reveals for the current block happens after state recalcs. This is to handle the case when a block is at (or after) the slot that triggers a state recalc. If we want too keep the size of pending_randao_reveals fix, then we have to do this trick.

There is an alternative method that would do appends and truncates like recent_block_hashes where we fill in missing slots with 0x00 whenever slots are skipped. Need to consider which I prefer..

[djrtwo]

cc: @JustinDrake

[terencechain]

Do we need randao_mix? or can we just use dynasty_seed?

Also during dynasty transition, we should do the following:
crystallized_state.dynasty_seed = crystallized_state.randao_mix
shard_and_committee_for_slots[CYCLE_LENGTH:] = get_new_shuffling(crystallized_state.randao_mix, validators, next_start_shard)

[vbuterin]

I'd say use the term randao_mix instead of dynasty_seed. #61 removes all references of the word "dynasty" entirely.

[hwwhww]

@terenc3t @vbuterin is it okay to close this issue by fe74c7e?