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

fix adding fields to phase 1 ssz objects

This commit is contained in:
Danny Ryan 2019-08-23 12:16:57 -06:00
parent 1392c931d0
commit 56954ec508
No known key found for this signature in database
GPG Key ID: 2765A792E42CE07A
2 changed files with 22 additions and 17 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
specs/core/0_beacon-chain.md
View File

@ -480,7 +480,6 @@ class BeaconBlockBody(Container):
deposits: List[Deposit, MAX_DEPOSITS]
voluntary_exits: List[VoluntaryExit, MAX_VOLUNTARY_EXITS]
transfers: List[Transfer, MAX_TRANSFERS]
# @shard_receipts
```
#### `BeaconBlock`
@ -534,7 +533,6 @@ class BeaconState(Container):
previous_justified_checkpoint: Checkpoint # Previous epoch snapshot
current_justified_checkpoint: Checkpoint
finalized_checkpoint: Checkpoint
# @persistent_committee_fields
```
## Helper functions

37
specs/core/1_beacon-chain-misc.md
View File

@ -182,17 +182,32 @@ def process_shard_receipt_proof(state: BeaconState, receipt_proof: ShardReceiptP
## Changes
### Persistent committees
### Phase 0 container updates
Add to the beacon state the following fields:
Add the following fields to the end of the specified container objects.
#### `BeaconState`
```python
# begin insert @persistent_committee_fields
class BeaconState(Container):
# Persistent committees
persistent_committee_roots: Vector[Hash, PERSISTENT_COMMITTEE_ROOT_LENGTH]
next_shard_receipt_period: Vector[uint64, SHARD_COUNT]
# end insert @persistent_committee_fields
```
`next_shard_receipt_period` values initialized to `PHASE_1_FORK_SLOT // SLOTS_PER_EPOCH // EPOCHS_PER_SHARD_PERIOD`
`persistent_committee_roots` values are initialized to `Bytes32()` (empty bytes value).
`next_shard_receipt_period` values are initialized to `PHASE_1_FORK_SLOT // SLOTS_PER_EPOCH // EPOCHS_PER_SHARD_PERIOD`.
#### `BeaconBlockBody`
```python
class BeaconBlockBody(Container):
shard_receipt_proofs: List[ShardReceiptProof, MAX_SHARD_RECEIPT_PROOFS]
```
`shard_receipt_proofs` is initialized to `[]`.
### Persistent committees
Run `update_persistent_committee` immediately before `process_final_updates`:
@ -215,18 +230,10 @@ def update_persistent_committee(state: BeaconState) -> None:
### Shard receipt processing
Add the `shard_receipt_proofs` operation to `BeaconBlockBody`:
```python
# begin insert @shard_receipts
shard_receipt_proofs: List[ShardReceiptProof, MAX_SHARD_RECEIPT_PROOFS]
# end insert @shard_receipts
```
Use `process_shard_receipt_proof` to process each receipt.
Run `process_shard_receipt_proof` on each `ShardReceiptProof` during block processing.
```python
# begin insert @process_shard_receipts
(body.shard_receipt_proofs, process_shard_receipt_proofs),
(body.shard_receipt_proofs, process_shard_receipt_proof),
# end insert @process_shard_receipts
```