2019-05-27 12:48:13 +00:00
|
|
|
# beacon_chain
|
|
|
|
|
# Copyright (c) 2018-2019 Status Research & Development GmbH
|
|
|
|
|
# Licensed and distributed under either of
|
|
|
|
|
# * MIT license (license terms in the root directory or at http://opensource.org/licenses/MIT).
|
|
|
|
|
# * Apache v2 license (license terms in the root directory or at http://www.apache.org/licenses/LICENSE-2.0).
|
|
|
|
|
# at your option. This file may not be copied, modified, or distributed except according to those terms.
|
|
|
|
|
|
|
|
|
|
# This file contains constants that are part of the spec and thus subject to
|
|
|
|
|
# serialization and spec updates.
|
|
|
|
|
|
|
|
|
|
import
|
|
|
|
|
# Standard library
|
|
|
|
|
math,
|
|
|
|
|
# Third-party
|
|
|
|
|
eth/common,
|
|
|
|
|
# Internals
|
|
|
|
|
../crypto, ../digest
|
|
|
|
|
|
|
|
|
|
type
|
|
|
|
|
Slot* = distinct uint64
|
|
|
|
|
Epoch* = distinct uint64
|
|
|
|
|
|
|
|
|
|
{.experimental: "codeReordering".} # SLOTS_PER_EPOCH is use before being defined in spec
|
|
|
|
|
|
|
|
|
|
const
|
|
|
|
|
# Misc
|
|
|
|
|
# ---------------------------------------------------------------
|
2019-09-05 19:52:34 +00:00
|
|
|
# https://github.com/ethereum/eth2.0-specs/blob/v0.8.3/configs/minimal.yaml#L4
|
2019-05-27 12:48:13 +00:00
|
|
|
|
|
|
|
|
# Changed
|
|
|
|
|
SHARD_COUNT* {.intdefine.} = 8
|
|
|
|
|
TARGET_COMMITTEE_SIZE* = 4
|
|
|
|
|
|
|
|
|
|
# Unchanged
|
2019-07-01 07:53:42 +00:00
|
|
|
MAX_VALIDATORS_PER_COMMITTEE* = 4096
|
2019-05-27 12:48:13 +00:00
|
|
|
MIN_PER_EPOCH_CHURN_LIMIT* = 4
|
|
|
|
|
CHURN_LIMIT_QUOTIENT* = 2^16
|
|
|
|
|
BASE_REWARDS_PER_EPOCH* = 5
|
|
|
|
|
|
|
|
|
|
# Changed
|
|
|
|
|
SHUFFLE_ROUND_COUNT* = 10
|
2019-09-05 19:52:34 +00:00
|
|
|
MIN_GENESIS_ACTIVE_VALIDATOR_COUNT* {.intdefine.} = 99
|
|
|
|
|
MIN_GENESIS_TIME* {.intdefine.} = 0
|
2019-05-27 12:48:13 +00:00
|
|
|
|
2019-07-01 08:23:50 +00:00
|
|
|
# Constants
|
2019-05-27 12:48:13 +00:00
|
|
|
# ---------------------------------------------------------------
|
2019-08-26 09:09:47 +00:00
|
|
|
# https://github.com/ethereum/eth2.0-specs/blob/v0.8.3/specs/core/0_beacon-chain.md#constants
|
2019-07-01 08:23:50 +00:00
|
|
|
# TODO "The following values are (non-configurable) constants" ...
|
2019-05-27 12:48:13 +00:00
|
|
|
# Unchanged
|
|
|
|
|
DEPOSIT_CONTRACT_TREE_DEPTH* = 32
|
|
|
|
|
|
|
|
|
|
# Gwei values
|
|
|
|
|
# ---------------------------------------------------------------
|
2019-08-26 09:09:47 +00:00
|
|
|
# https://github.com/ethereum/eth2.0-specs/blob/v0.8.3/specs/core/0_beacon-chain.md#gwei-values
|
2019-05-27 12:48:13 +00:00
|
|
|
|
|
|
|
|
# Unchanged
|
|
|
|
|
MIN_DEPOSIT_AMOUNT* = 2'u64^0 * 10'u64^9
|
|
|
|
|
MAX_EFFECTIVE_BALANCE* = 2'u64^5 * 10'u64^9
|
|
|
|
|
EJECTION_BALANCE* = 2'u64^4 * 10'u64^9
|
|
|
|
|
EFFECTIVE_BALANCE_INCREMENT* = 2'u64^0 * 10'u64^9
|
|
|
|
|
|
|
|
|
|
# Initial values
|
|
|
|
|
# ---------------------------------------------------------------
|
2019-09-05 19:52:34 +00:00
|
|
|
# https://github.com/ethereum/eth2.0-specs/blob/v0.8.3/configs/minimal.yaml#L44
|
2019-05-27 12:48:13 +00:00
|
|
|
|
|
|
|
|
# Unchanged
|
2019-06-12 07:48:49 +00:00
|
|
|
GENESIS_SLOT* = 0.Slot
|
2019-06-14 16:21:04 +00:00
|
|
|
BLS_WITHDRAWAL_PREFIX* = 0'u8
|
2019-05-27 12:48:13 +00:00
|
|
|
|
|
|
|
|
# Time parameters
|
|
|
|
|
# ---------------------------------------------------------------
|
2019-08-26 09:09:47 +00:00
|
|
|
# https://github.com/ethereum/eth2.0-specs/blob/v0.8.3/specs/core/0_fork-choice.md#time-parameters
|
2019-05-27 12:48:13 +00:00
|
|
|
|
|
|
|
|
# Unchanged
|
|
|
|
|
SECONDS_PER_SLOT*{.intdefine.} = 6'u64
|
0.6.2 updates (#275)
* update process_justification_and_finalization to 0.6.2; mark AttesterSlashing as 0.6.2
* replace get_effective_balance(...) with state.validator_registry[idx].effective_balance; rm get_effective_balance, process_ejections, should_update_validator_registry, update_validator_registry, and update_registry_and_shuffling_data; update get_total_balance to 0.6.2; implement process_registry_updates
* rm exit_validator; implement is_slashable_attestation_data; partly update processAttesterSlashings
* mark HistoricalBatch and Eth1Data as 0.6.2; implement get_shard_delta(...); replace 0.5 finish_epoch_update with 0.6 process_final_updates
* mark increase_balance, decrease_balance, get_delayed_activation_exit_epoch, bls_aggregate_pubkeys, bls_verify_multiple, Attestation, Transfer, slot_to_epoch, Crosslink, get_current_epoch, int_to_bytes*, various constants, processEth1Data, processTransfers, and verifyStateRoot as 0.6.2; rm is_double_vote and is_surround_vote
* mark get_bitfield_bit, verify_bitfield, ProposerSlashing, DepositData, VoluntaryExit, PendingAttestation, Fork, integer_squareroot, get_epoch_start_slot, is_active_validator, generate_seed, some constants to 0.6.2; rename MIN_PENALTY_QUOTIENT to MIN_SLASHING_PENALTY_QUOTIENT
* rm get_previous_total_balance, get_current_epoch_boundary_attestations, get_previous_epoch_boundary_attestations, and get_previous_epoch_matching_head_attestations
* update BeaconState to 0.6.2; simplify legacy get_crosslink_committees_at_slot infrastructure a bit by noting that registry_change is always false; reimplment 0.5 get_crosslink_committees_at_slot in terms of 0.6 get_crosslink_committee
* mark process_deposit(...), get_block_root_at_slot(...), get_block_root(...), Deposit, BeaconBlockHeader, BeaconBlockBody, hash(...), get_active_index_root(...), various constants, get_shard_delta(...), get_epoch_start_shard(...), get_crosslink_committee(...), processRandao(...), processVoluntaryExits(...), cacheState(...) as 0.6.2
* rm removed-since-0.5 split(...), is_power_of_2(...), get_shuffling(...); rm 0.5 versions of get_active_validator_indices and get_epoch_committee_count; add a few tests for integer_squareroot
* mark bytes_to_int(...) and advanceState(...) as 0.6.2
* rm 0.5 get_attesting_indices; update get_attesting_balance to 0.6.2
* another tiny commit to poke AppVeyor to maybe not timeout at connecting to GitHub partway through CI: mark get_churn_limit(...), initiate_validator_exit(...), and Validator as 0.6.2
* mark get_attestation_slot(...), AttestationDataAndCustodyBit, and BeaconBlock as 0.6.2
2019-06-03 10:31:04 +00:00
|
|
|
|
2019-08-26 09:09:47 +00:00
|
|
|
# https://github.com/ethereum/eth2.0-specs/blob/v0.8.3/specs/core/0_beacon-chain.md#time-parameters
|
0.6.2 updates (#275)
* update process_justification_and_finalization to 0.6.2; mark AttesterSlashing as 0.6.2
* replace get_effective_balance(...) with state.validator_registry[idx].effective_balance; rm get_effective_balance, process_ejections, should_update_validator_registry, update_validator_registry, and update_registry_and_shuffling_data; update get_total_balance to 0.6.2; implement process_registry_updates
* rm exit_validator; implement is_slashable_attestation_data; partly update processAttesterSlashings
* mark HistoricalBatch and Eth1Data as 0.6.2; implement get_shard_delta(...); replace 0.5 finish_epoch_update with 0.6 process_final_updates
* mark increase_balance, decrease_balance, get_delayed_activation_exit_epoch, bls_aggregate_pubkeys, bls_verify_multiple, Attestation, Transfer, slot_to_epoch, Crosslink, get_current_epoch, int_to_bytes*, various constants, processEth1Data, processTransfers, and verifyStateRoot as 0.6.2; rm is_double_vote and is_surround_vote
* mark get_bitfield_bit, verify_bitfield, ProposerSlashing, DepositData, VoluntaryExit, PendingAttestation, Fork, integer_squareroot, get_epoch_start_slot, is_active_validator, generate_seed, some constants to 0.6.2; rename MIN_PENALTY_QUOTIENT to MIN_SLASHING_PENALTY_QUOTIENT
* rm get_previous_total_balance, get_current_epoch_boundary_attestations, get_previous_epoch_boundary_attestations, and get_previous_epoch_matching_head_attestations
* update BeaconState to 0.6.2; simplify legacy get_crosslink_committees_at_slot infrastructure a bit by noting that registry_change is always false; reimplment 0.5 get_crosslink_committees_at_slot in terms of 0.6 get_crosslink_committee
* mark process_deposit(...), get_block_root_at_slot(...), get_block_root(...), Deposit, BeaconBlockHeader, BeaconBlockBody, hash(...), get_active_index_root(...), various constants, get_shard_delta(...), get_epoch_start_shard(...), get_crosslink_committee(...), processRandao(...), processVoluntaryExits(...), cacheState(...) as 0.6.2
* rm removed-since-0.5 split(...), is_power_of_2(...), get_shuffling(...); rm 0.5 versions of get_active_validator_indices and get_epoch_committee_count; add a few tests for integer_squareroot
* mark bytes_to_int(...) and advanceState(...) as 0.6.2
* rm 0.5 get_attesting_indices; update get_attesting_balance to 0.6.2
* another tiny commit to poke AppVeyor to maybe not timeout at connecting to GitHub partway through CI: mark get_churn_limit(...), initiate_validator_exit(...), and Validator as 0.6.2
* mark get_attestation_slot(...), AttestationDataAndCustodyBit, and BeaconBlock as 0.6.2
2019-06-03 10:31:04 +00:00
|
|
|
# Unchanged
|
2019-07-08 13:19:52 +00:00
|
|
|
MIN_ATTESTATION_INCLUSION_DELAY* = 1
|
2019-05-27 12:48:13 +00:00
|
|
|
|
|
|
|
|
# Changed
|
2019-07-13 15:58:01 +00:00
|
|
|
SLOTS_PER_EPOCH* {.intdefine.} = 8
|
2019-05-27 12:48:13 +00:00
|
|
|
|
|
|
|
|
# Unchanged
|
|
|
|
|
MIN_SEED_LOOKAHEAD* = 1
|
|
|
|
|
ACTIVATION_EXIT_DELAY* = 4
|
|
|
|
|
|
|
|
|
|
# Changed
|
|
|
|
|
SLOTS_PER_ETH1_VOTING_PERIOD* = 16
|
2019-07-03 07:35:05 +00:00
|
|
|
SLOTS_PER_HISTORICAL_ROOT* = 64 # doesn't work with GENESIS_SLOT == 0?
|
2019-05-27 12:48:13 +00:00
|
|
|
|
|
|
|
|
# Unchanged
|
|
|
|
|
MIN_VALIDATOR_WITHDRAWABILITY_DELAY* = 2'u64^8
|
|
|
|
|
PERSISTENT_COMMITTEE_PERIOD* = 2'u64^11
|
2019-08-28 12:07:00 +00:00
|
|
|
MAX_EPOCHS_PER_CROSSLINK* = 4
|
2019-05-27 12:48:13 +00:00
|
|
|
MIN_EPOCHS_TO_INACTIVITY_PENALTY* = 2'u64^2
|
|
|
|
|
|
2019-09-05 19:52:34 +00:00
|
|
|
# State vector lengths
|
2019-05-27 12:48:13 +00:00
|
|
|
# ---------------------------------------------------------------
|
2019-09-05 19:52:34 +00:00
|
|
|
# https://github.com/ethereum/eth2.0-specs/blob/v0.8.3/configs/minimal.yaml#L79
|
2019-05-27 12:48:13 +00:00
|
|
|
|
|
|
|
|
# Changed
|
More 0.8.0 updates (#311)
* replace BeaconState.finalized_{epoch,root} with BeaconState.finalized_checkpoint; rename get_delayed_activation_exit_epoch(...) to compute_activation_exit_epoch(...) and mark as 0.8.0; update get_churn_limit(...)/get_validator_churn_limit(...) to 0.8.0; update process_registry_updates(...) to 0.8.0
* update process_crosslinks(...) to 0.8.0; mark compute_start_slot_of_epoch(...) and get_committee_count(...) as 0.8.0
* mark Fork, is_slashable_validator(...), and get_beacon_proposer_index(...) as 0.8.0
* rename LATEST_SLASHED_EXIT_LENGTH to EPOCHS_PER_SLASHINGS_VECTOR; update process_slashings(...) to 0.8.0; remove pointless type conversion warning in get_previous_epoch(...)
* convert remaining references to finalized_epoch to finalized_checkpoint.epoch
* update slash_validator(...) to 0.8.0; mark inital value, Gwei, and time constants as 0.8.0; mark hash(...) and processBlockHeader(...) as 0.8.0
* rename WHISTLEBLOWING_REWARD_QUOTIENT to WHISTLEBLOWER_REWARD_QUOTIENT; rename LATEST_ACTIVE_INDEX_ROOTS_LENGTH to EPOCHS_PER_HISTORICAL_VECTOR (randao will also get merged into this); remove get_active_index_root(...); mark time parameter, signature domain types, and max operations per block constants as 0.8.0; update rewards and penalties constants to 0.8.0
* update is_valid_indexed_attestation(...) to 0.8.0; mark process_slot(...) as 0.8.0
* replace BeaconState.{current,previous}_justified_{epoch,root} with BeaconState.{current,previous}_justified_checkpoint
2019-07-05 08:30:05 +00:00
|
|
|
EPOCHS_PER_HISTORICAL_VECTOR* = 64
|
|
|
|
|
EPOCHS_PER_SLASHINGS_VECTOR* = 64
|
2019-07-03 07:35:05 +00:00
|
|
|
HISTORICAL_ROOTS_LIMIT* = 16777216
|
|
|
|
|
VALIDATOR_REGISTRY_LIMIT* = 1099511627776
|
2019-05-27 12:48:13 +00:00
|
|
|
|
|
|
|
|
# Reward and penalty quotients
|
|
|
|
|
# ---------------------------------------------------------------
|
2019-08-26 09:09:47 +00:00
|
|
|
# https://github.com/ethereum/eth2.0-specs/blob/v0.8.3/specs/core/0_beacon-chain.md#rewards-and-penalties
|
2019-05-27 12:48:13 +00:00
|
|
|
|
|
|
|
|
# Unchanged
|
More 0.8.0 updates (#311)
* replace BeaconState.finalized_{epoch,root} with BeaconState.finalized_checkpoint; rename get_delayed_activation_exit_epoch(...) to compute_activation_exit_epoch(...) and mark as 0.8.0; update get_churn_limit(...)/get_validator_churn_limit(...) to 0.8.0; update process_registry_updates(...) to 0.8.0
* update process_crosslinks(...) to 0.8.0; mark compute_start_slot_of_epoch(...) and get_committee_count(...) as 0.8.0
* mark Fork, is_slashable_validator(...), and get_beacon_proposer_index(...) as 0.8.0
* rename LATEST_SLASHED_EXIT_LENGTH to EPOCHS_PER_SLASHINGS_VECTOR; update process_slashings(...) to 0.8.0; remove pointless type conversion warning in get_previous_epoch(...)
* convert remaining references to finalized_epoch to finalized_checkpoint.epoch
* update slash_validator(...) to 0.8.0; mark inital value, Gwei, and time constants as 0.8.0; mark hash(...) and processBlockHeader(...) as 0.8.0
* rename WHISTLEBLOWING_REWARD_QUOTIENT to WHISTLEBLOWER_REWARD_QUOTIENT; rename LATEST_ACTIVE_INDEX_ROOTS_LENGTH to EPOCHS_PER_HISTORICAL_VECTOR (randao will also get merged into this); remove get_active_index_root(...); mark time parameter, signature domain types, and max operations per block constants as 0.8.0; update rewards and penalties constants to 0.8.0
* update is_valid_indexed_attestation(...) to 0.8.0; mark process_slot(...) as 0.8.0
* replace BeaconState.{current,previous}_justified_{epoch,root} with BeaconState.{current,previous}_justified_checkpoint
2019-07-05 08:30:05 +00:00
|
|
|
BASE_REWARD_FACTOR* = 2'u64^6
|
|
|
|
|
WHISTLEBLOWER_REWARD_QUOTIENT* = 2'u64^9
|
2019-05-27 12:48:13 +00:00
|
|
|
PROPOSER_REWARD_QUOTIENT* = 2'u64^3
|
|
|
|
|
INACTIVITY_PENALTY_QUOTIENT* = 2'u64^25
|
0.6.2 updates (#275)
* update process_justification_and_finalization to 0.6.2; mark AttesterSlashing as 0.6.2
* replace get_effective_balance(...) with state.validator_registry[idx].effective_balance; rm get_effective_balance, process_ejections, should_update_validator_registry, update_validator_registry, and update_registry_and_shuffling_data; update get_total_balance to 0.6.2; implement process_registry_updates
* rm exit_validator; implement is_slashable_attestation_data; partly update processAttesterSlashings
* mark HistoricalBatch and Eth1Data as 0.6.2; implement get_shard_delta(...); replace 0.5 finish_epoch_update with 0.6 process_final_updates
* mark increase_balance, decrease_balance, get_delayed_activation_exit_epoch, bls_aggregate_pubkeys, bls_verify_multiple, Attestation, Transfer, slot_to_epoch, Crosslink, get_current_epoch, int_to_bytes*, various constants, processEth1Data, processTransfers, and verifyStateRoot as 0.6.2; rm is_double_vote and is_surround_vote
* mark get_bitfield_bit, verify_bitfield, ProposerSlashing, DepositData, VoluntaryExit, PendingAttestation, Fork, integer_squareroot, get_epoch_start_slot, is_active_validator, generate_seed, some constants to 0.6.2; rename MIN_PENALTY_QUOTIENT to MIN_SLASHING_PENALTY_QUOTIENT
* rm get_previous_total_balance, get_current_epoch_boundary_attestations, get_previous_epoch_boundary_attestations, and get_previous_epoch_matching_head_attestations
* update BeaconState to 0.6.2; simplify legacy get_crosslink_committees_at_slot infrastructure a bit by noting that registry_change is always false; reimplment 0.5 get_crosslink_committees_at_slot in terms of 0.6 get_crosslink_committee
* mark process_deposit(...), get_block_root_at_slot(...), get_block_root(...), Deposit, BeaconBlockHeader, BeaconBlockBody, hash(...), get_active_index_root(...), various constants, get_shard_delta(...), get_epoch_start_shard(...), get_crosslink_committee(...), processRandao(...), processVoluntaryExits(...), cacheState(...) as 0.6.2
* rm removed-since-0.5 split(...), is_power_of_2(...), get_shuffling(...); rm 0.5 versions of get_active_validator_indices and get_epoch_committee_count; add a few tests for integer_squareroot
* mark bytes_to_int(...) and advanceState(...) as 0.6.2
* rm 0.5 get_attesting_indices; update get_attesting_balance to 0.6.2
* another tiny commit to poke AppVeyor to maybe not timeout at connecting to GitHub partway through CI: mark get_churn_limit(...), initiate_validator_exit(...), and Validator as 0.6.2
* mark get_attestation_slot(...), AttestationDataAndCustodyBit, and BeaconBlock as 0.6.2
2019-06-03 10:31:04 +00:00
|
|
|
MIN_SLASHING_PENALTY_QUOTIENT* = 32 # 2^5
|
2019-05-27 12:48:13 +00:00
|
|
|
|
|
|
|
|
# Max operations per block
|
|
|
|
|
# ---------------------------------------------------------------
|
2019-08-26 09:09:47 +00:00
|
|
|
# https://github.com/ethereum/eth2.0-specs/blob/v0.8.3/specs/core/0_beacon-chain.md#max-operations-per-block
|
2019-05-27 12:48:13 +00:00
|
|
|
|
|
|
|
|
# Unchanged
|
|
|
|
|
MAX_PROPOSER_SLASHINGS* = 2^4
|
|
|
|
|
MAX_ATTESTER_SLASHINGS* = 2^0
|
|
|
|
|
MAX_ATTESTATIONS* = 2^7
|
|
|
|
|
MAX_DEPOSITS* = 2^4
|
|
|
|
|
MAX_VOLUNTARY_EXITS* = 2^4
|
|
|
|
|
MAX_TRANSFERS* = 0
|
|
|
|
|
|
2019-07-12 14:24:11 +00:00
|
|
|
|
2019-05-27 12:48:13 +00:00
|
|
|
type
|
|
|
|
|
# Signature domains
|
|
|
|
|
# ---------------------------------------------------------------
|
2019-08-26 09:09:47 +00:00
|
|
|
# https://github.com/ethereum/eth2.0-specs/blob/v0.8.3/specs/core/0_beacon-chain.md#signature-domain-types
|
2019-07-01 07:53:42 +00:00
|
|
|
DomainType* {.pure.} = enum
|
2019-05-27 12:48:13 +00:00
|
|
|
DOMAIN_BEACON_PROPOSER = 0
|
|
|
|
|
DOMAIN_RANDAO = 1
|
|
|
|
|
DOMAIN_ATTESTATION = 2
|
|
|
|
|
DOMAIN_DEPOSIT = 3
|
|
|
|
|
DOMAIN_VOLUNTARY_EXIT = 4
|
|
|
|
|
DOMAIN_TRANSFER = 5
|
