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

Replace single specials limit with per-type limit

This commit is contained in:
vbuterin 2018-11-19 11:14:18 -05:00 committed by GitHub
parent 21d120e771
commit 1eaf15cf73
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 6 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -53,7 +53,6 @@ The primary source of load on the beacon chain are "attestations". Attestations
| `MAX_VALIDATOR_CHURN_QUOTIENT` | 2**5 (= 32) | — | | `MAX_VALIDATOR_CHURN_QUOTIENT` | 2**5 (= 32) | — |
| `POW_HASH_VOTING_PERIOD` | 2**10 (=1024) | - | | `POW_HASH_VOTING_PERIOD` | 2**10 (=1024) | - |
| `POW_CONTRACT_MERKLE_TREE_DEPTH` | 2**5 (=32) | - | | `POW_CONTRACT_MERKLE_TREE_DEPTH` | 2**5 (=32) | - |
| `MAX_SPECIALS_PER_BLOCK` | 2**4 (= 16) | - |
| `LOGOUT_MESSAGE` | `"LOGOUT"` | — | | `LOGOUT_MESSAGE` | `"LOGOUT"` | — |
| `INITIAL_FORK_VERSION` | 0 | — | | `INITIAL_FORK_VERSION` | 0 | — |
@ -77,11 +76,11 @@ The primary source of load on the beacon chain are "attestations". Attestations
**Special record types** **Special record types**
| Name | Value | | Name | Value | Maximum count |
| - | :-: | | - | :-: | :-: |
| `LOGOUT` | `0` | | `LOGOUT` | `0` | `16` |
| `CASPER_SLASHING` | `1` | | `CASPER_SLASHING` | `1` | `16` |
| `RANDAO_CHANGE` | `2` | | `DEPOSIT_PROOF` | `2` | `16` |
**Validator set delta flags** **Validator set delta flags**
@ -832,7 +831,7 @@ Finally, if `block.candidate_pow_hash_chain_tip = state.candidate_pow_hash_chain
### Process penalties, logouts and other special objects ### Process penalties, logouts and other special objects
Verify that there are at most `MAX_SPECIALS_PER_BLOCK` objects in `block.specials`. Verify that the quantity of each type of object in `block.specials` is less than or equal to its maximum (see table at the top).
For each `SpecialRecord` `obj` in `block.specials`, verify that its `kind` is one of the below values, and that `obj.data` deserializes according to the format for the given `kind`, then process it. The word "verify" when used below means that if the given verification check fails, the block containing that `SpecialRecord` is invalid. For each `SpecialRecord` `obj` in `block.specials`, verify that its `kind` is one of the below values, and that `obj.data` deserializes according to the format for the given `kind`, then process it. The word "verify" when used below means that if the given verification check fails, the block containing that `SpecialRecord` is invalid.