ad3f43a4a6
Update specs/core/1_shard-data-chains.md
...
Co-Authored-By: vbuterin <v@buterin.com>
2019-02-10 15:45:06 -06:00
046119fb2e
Update specs/core/1_shard-data-chains.md
2019-02-10 15:44:58 -06:00
181dc183b6
Merge branch 'dev' into vbuterin-patch-6
2019-02-10 13:12:01 -07:00
2944a7ddfc
Renamed `Helpers` -> `Variables`, seems to make more sense ( #560 )
2019-02-10 16:19:12 +00:00
1f97206dcf
Updated phase 1: commitments ( #579 )
...
See #338 and #529 for discussion.
2019-02-10 16:17:21 +00:00
abed5ffdae
Updated phase 1: fork choice rule ( #586 )
...
Adds the crosslink committee to the fork choice rule. This is useful because it means that even if a proposal committee is byzantine and attempts to prevent a crosslink via a "balance attack" (alternating between chain A and chain B being the canonical chain), the crosslink committee can force the equilibrium to flip to one side or the other.
2019-02-10 16:16:22 +00:00
8097b2373b
Added deduplication
2019-02-10 00:09:34 -06:00
a712abfb2a
Merge pull request #589 from Nashatyrev/dev
...
Silently skip deposits with invalid proof in process_deposit
2019-02-09 08:22:38 -07:00
7886d96186
change proof_is_valid to exit condition
2019-02-09 07:21:38 -08:00
e48010b77b
Change var name to avoid confusing the reader into thinking the `valid_proof` variable contains a valid proof as opposed to just being a bool.
...
Co-Authored-By: Nashatyrev <Nashatyrev@users.noreply.github.com>
2019-02-09 11:10:54 +03:00
0157aa039c
Change var name to avoid confusing the reader into thinking the `valid_proof` variable contains a valid proof as opposed to just being a bool.
...
Co-Authored-By: Nashatyrev <Nashatyrev@users.noreply.github.com>
2019-02-09 11:10:03 +03:00
65c5a1a1b7
Fixed get_persistent_committee
2019-02-08 22:10:54 -06:00
e0d8cf4268
Update specs/core/1_shard-data-chains.md
...
Co-Authored-By: vbuterin <v@buterin.com>
2019-02-08 22:07:14 -06:00
8dd111b7e6
Update specs/core/1_shard-data-chains.md
...
Co-Authored-By: vbuterin <v@buterin.com>
2019-02-08 22:06:46 -06:00
ad0ff80be2
Update specs/core/1_shard-data-chains.md
...
Co-Authored-By: vbuterin <v@buterin.com>
2019-02-08 22:06:03 -06:00
019fe8953e
Fixed as per @djrtwo's comments
2019-02-08 22:02:55 -06:00
36d5120deb
Initialize deposit index
2019-02-08 19:38:09 -06:00
057364a7d4
Add mandatory deposit index ordering
...
Co-requisite with #589
2019-02-08 19:37:34 -06:00
663d38e9c8
simplify get_next_epoch_committee_assignment by adding registry_change arg
2019-02-08 11:54:17 -07:00
334d47714d
fix a couple of nitpicks before release
2019-02-08 10:35:57 -07:00
f9eaab1d04
Silently skip deposits with invalid proof in process_deposit
2019-02-08 18:04:32 +03:00
e5bd78e5e6
Persistent committee refactors
2019-02-08 04:08:52 -06:00
65ec418213
A few more cleanups
2019-02-08 03:54:02 -06:00
47c396f3f8
Break lets into separate lines
2019-02-08 03:50:00 -06:00
410372ff0e
Proposal committee -> persistent committee
2019-02-08 03:48:58 -06:00
2cff0e6b7a
Use the new `bytesN` SSZ object
...
`hash32` -> `bytes32`
['uint384'] -> `bytes96`
2019-02-08 16:46:50 +08:00
5a1b2c29f2
Update specs/core/1_shard-data-chains.md
...
Co-Authored-By: vbuterin <v@buterin.com>
2019-02-08 01:08:30 -06:00
5e84d7e3ff
Update specs/core/1_shard-data-chains.md
...
Co-Authored-By: vbuterin <v@buterin.com>
2019-02-08 01:08:15 -06:00
bdd7dc106a
Update specs/core/1_shard-data-chains.md
...
Co-Authored-By: vbuterin <v@buterin.com>
2019-02-08 01:08:01 -06:00
a1f542b674
Update specs/core/1_shard-data-chains.md
...
Co-Authored-By: vbuterin <v@buterin.com>
2019-02-08 01:07:46 -06:00
fb90fd7ac3
Update specs/core/1_shard-data-chains.md
...
Co-Authored-By: vbuterin <v@buterin.com>
2019-02-08 01:07:31 -06:00
6d9581281d
change latest_crosslink_root to latest_crosslink in validator guide
2019-02-07 21:25:47 -07:00
08274fe7bf
Merge branch 'dev' into vbuterin-patch-9
2019-02-07 21:23:46 -07:00
f0cbacb828
add missing .
2019-02-07 20:22:28 -08:00
0ad2ffab50
Merge branch 'dev' into big-to-little
2019-02-07 21:00:36 -07:00
87dc8a6c70
Merge pull request #576 from ethereum/vbuterin-patch-5
...
Introduce swap-or-not shuffle
2019-02-07 20:57:02 -07:00
1c6ccac8fc
SHUFFLE_ROUND_COUNT as global constant
2019-02-07 21:55:33 -06:00
f797826ee2
Update specs/core/0_beacon-chain.md
...
Co-Authored-By: vbuterin <v@buterin.com>
2019-02-07 21:51:56 -06:00
086df84bdc
Attestation data contains latest crosslink, not just latest crosslink data
...
The reason to do this is that it makes it calculable from inside an attestation how many epochs the attestation spans over, which is needed for proof of custody reasons. It's a relatively small change and so arguably easier to do now than to do as a patch in phase 1.
Note that this changes the meaning of latest_crosslink.epoch, from the epoch when the latest crosslink was included to the epoch that the latest crosslink was for. This affects the line:
* `state.latest_crosslinks[shard].epoch > state.validator_registry_update_epoch` for every shard number `shard` in `[(state.current_epoch_start_shard + i) % SHARD_COUNT for i in range(get_current_epoch_committee_count(state))]` (that is, for every shard in the current committees)
But this may actually make it _more_ correct, as it means that in the case where >512 shards are processed per epoch, and so a committee from the previous epoch could get finalized in the current epoch, that would no longer count toward every shard having received a "new" crosslink.
2019-02-07 19:34:54 -06:00
1582413151
Merge pull request #583 from mratsim/continue-message_hash-bls-changes
...
Continue message hash changes on non-bls part of the specs
2019-02-08 05:24:52 +08:00
ca098f8cfa
Prevent changing another TOC
2019-02-07 22:19:04 +01:00
fd3d4a5105
Don't change TOC
2019-02-07 22:15:55 +01:00
89b9894328
Fix type hinting
2019-02-08 05:15:42 +08:00
911e4f104b
Add `bytes_to_int`
2019-02-08 05:12:58 +08:00
cf7ebe9ad3
`message` to `message_hash` in the rest of the spec (followup https://github.com/ethereum/eth2.0-specs/pull/580 )
2019-02-07 22:09:41 +01:00
859bf62484
Revert and refactor
2019-02-08 05:08:25 +08:00
e8ec977168
Merge pull request #548 from ethereum/hwwhww/typo_hash_tree_root
...
Fix typo `tree_hash_root` -> `hash_tree_root`
2019-02-07 13:51:18 -07:00
cc2df634cd
Merge pull request #549 from ethereum/registry_change
...
Misc fixes of `get_next_epoch_crosslink_committees`
2019-02-07 13:31:57 -07:00
e4f5efadb7
Fix `first_committee_at_slot`
2019-02-08 04:03:13 +08:00
d4901be198
get_next_epoch_committee_assignments returns slot and is_proposer
2019-02-07 11:48:36 -07:00
3f3472087a
change message to message_hash in bls spec
...
addresses #572
2019-02-07 10:37:01 -08:00
aa9f9fc9be
amend
2019-02-07 19:18:39 +08:00
70e482be28
Add vbuterin's optimization and some formatting
2019-02-07 19:14:58 +08:00
92514716fb
Update 0_beacon-chain.md
2019-02-06 23:32:20 -06:00
65255e53c4
shuffle -> get_permuted_index
2019-02-06 23:29:24 -06:00
b3db7b0394
big to little in shuffle
2019-02-06 20:32:05 -08:00
8597cbef1f
Updated phase 1: shard block structure
2019-02-06 20:32:56 -06:00
47b00f38dd
n -> len(values)
2019-02-06 18:34:05 -06:00
6a5b7540da
Update specs/core/0_beacon-chain.md
...
Co-Authored-By: vbuterin <v@buterin.com>
2019-02-06 18:33:29 -06:00
4ec721f3b7
Update specs/core/0_beacon-chain.md
...
Co-Authored-By: vbuterin <v@buterin.com>
2019-02-06 18:33:22 -06:00
37b41a2ce6
Update specs/core/0_beacon-chain.md
...
Co-Authored-By: vbuterin <v@buterin.com>
2019-02-06 18:33:11 -06:00
8f37c5c0f8
Update fork choice rule ( #571 )
2019-02-06 08:34:19 -08:00
c58410e6ce
Introduce swap-or-not shuffle
...
See #563 for discussion.
2019-02-06 06:48:46 -06:00
ec1a08278b
Merge pull request #573 from ethereum/hwwhww/verify_bitfield
...
Fix `verify_bitfield`
2019-02-05 18:57:40 -08:00
180c8a0e72
Update 0_beacon-chain.md
2019-02-05 11:51:06 -08:00
1d76ad65ec
Update 0_beacon-chain.md
2019-02-05 11:49:52 -08:00
e5788f5751
Fix typo: it's `bls_verify_multiple` in `verify_slashable_attestation` ( #574 )
2019-02-05 09:11:00 -08:00
867dea3473
Fix `verify_bitfield`
2019-02-05 19:16:10 +08:00
147ee2f991
Fix get_total_balance()
2019-02-04 01:49:16 -06:00
47844116ea
Merge pull request #565 from terenc3t/patch-45
...
get_previous_epoch as a helper
2019-02-04 14:56:15 +08:00
3aed1cf935
Merge pull request #567 from decanus/patch-17
...
Defines `get_total_balance` helper function
2019-02-04 14:55:39 +08:00
3e2eb1cb36
Merge pull request #562 from ralexstokes/remove-vyper-code
...
Removes the source of the Vyper contract from the spec.
2019-02-03 15:31:56 -08:00
8755dc34d5
Add direct link to validator registration contract
2019-02-03 15:22:03 -08:00
8c5868cbe8
Extend `deposit` API with note about bounds on acceptable values
2019-02-03 15:20:49 -08:00
2ac420c5ea
Merge pull request #538 from ethereum/vbuterin-patch-1
...
SSZ list Merkle hashing change
2019-02-03 14:37:30 -06:00
197fa18893
Zpad is already in #543
2019-02-03 14:26:07 -06:00
9bacf040ce
Merge pull request #543 from ethereum/vbuterin-patch-2
...
Hash_tree_root -> hash_tree_root_internal
2019-02-03 14:24:18 -06:00
3a6da9839a
Added a note for underflow. Thanks Hsiao Wei! : )
...
Co-Authored-By: terenc3t <terence@prysmaticlabs.com>
2019-02-03 14:27:09 +01:00
5c56751cc9
Update 0_beacon-chain.md
2019-02-03 11:43:33 +01:00
8e16d122be
Update specs/core/0_beacon-chain.md
...
Co-Authored-By: decanus <dean@tokenate.io>
2019-02-03 11:42:12 +01:00
969896b0a8
Update 0_beacon-chain.md
2019-02-03 11:14:02 +01:00
e4c4c04e52
Update 0_beacon-chain.md
2019-02-03 10:36:21 +01:00
3b9953a992
Merge pull request #537 from ethereum/JustinDrake-patch-1
...
Use 2*63 for the genesis slot
2019-02-02 17:55:18 -08:00
f80a345bd1
Merge pull request #552 from ethereum/epoch-in-generate-seed
...
epoch in `generate_seed`
2019-02-02 17:29:29 -08:00
2a32e7f665
convert int_to_bytes to little endian
2019-02-02 16:41:59 -08:00
650f4a20df
clarify eth1 that there will be at most 1
2019-02-02 13:16:39 -08:00
04b37f266c
Merge pull request #558 from decanus/patch-14
...
`shard` -> `attestation.data.shard`
2019-02-02 08:49:28 -08:00
f3d47e26fc
`shard` -> `attestation.data.shard`
2019-02-02 13:49:52 +01:00
a781eb5a4f
Update 0_beacon-chain.md
2019-02-02 06:09:45 +01:00
8d82ee8ce7
do not mix in epoch to seed in get_shuffling. add epoch to generate_seed
2019-02-01 21:02:09 -08:00
76744dea13
Merge branch 'dev' into name-changes
2019-02-01 20:48:14 -08:00
11ae40fc49
revery bls types to include BLS
2019-02-01 20:42:11 -08:00
7e7e5e2795
Removes the source of the Vyper contract from the spec.
...
This change allows for easier maintenance of the code and the spec by
uncoupling them. Before any edit to either document resulted in having to
synchronize the other. By adding a reference to the canonical repo for the code
we avoid having to maintain a duplicate copy here.
2019-02-01 17:06:04 -08:00
6a9c756191
Merge pull request #551 from GregTheGreek/master
...
fix startup typo
2019-02-01 15:30:22 -08:00
d53d333733
fix startup typo
2019-02-01 14:04:17 -08:00
378e1ba9a6
Misc fixes of `get_next_epoch_crosslink_committees`
2019-02-02 02:06:53 +08:00
0b8ccf1e64
Update 0_beacon-chain.md ( #547 )
2019-02-01 07:45:09 -08:00
e0867c030f
Fix typo
2019-02-01 22:34:10 +08:00
dd197e46a6
Fix `zpad`
2019-02-01 22:31:00 +08:00
8ffd9adcaf
Hash_tree_root -> hash_tree_root_internal
...
Clarifies the distinction between "internal" hash roots (may be < 32 bytes for trivial objects) and "external" ones (zpadded to 32).
2019-01-31 18:03:23 -06:00
acb432ef3a
Update specs/simple-serialize.md
...
Co-Authored-By: vbuterin <v@buterin.com>
2019-01-31 17:49:51 -06:00
9271e6e318
Update specs/simple-serialize.md
...
Co-Authored-By: vbuterin <v@buterin.com>
2019-01-31 17:47:09 -06:00
7ff345404e
simplify bls types
2019-01-31 08:26:46 -08:00
6716105f19
ChainStart -> Eth2Genesis
2019-01-31 08:23:41 -08:00
5488e7b6a4
SSZ list Merkle hashing change
...
The current spec is arguably inconsistent, in that if a set of N values gets chunked into M chunks where M is not an exact power of 2, the chunks between M and next_power_of_2(M) are filled with SSZ_CHUNK_SIZE zero bytes each, but the last chunk is not padded, and could be arbitrarily short (eg. if the values are 4 bytes and there are 257 of them, then that gets serialized into eight chunks chunks where the first four are 64 values each, the fifth is 4 bytes corresponding to the last value, and the last three chunks are SSZ_CHUNK_SIZE zero bytes). This PR fills every chunk up to exactly SSZ_CHUNK_SIZE bytes for consistency.
2019-01-31 10:12:43 -06:00
1593b926cc
rename current and previous vars for shuffling to use 'shuffling'
2019-01-31 08:02:54 -08:00
9ea095efe9
remove Number from custom types
2019-01-31 07:58:31 -08:00
e2e2ce0a04
name changes: active_exit_delay, latest_active_index_roots
2019-01-31 07:56:48 -08:00
7f39f79b2e
Use 2*63 for the genesis slot
2019-01-31 07:55:27 -08:00
190d9d2887
Added closing bracket
2019-01-31 07:44:14 -06:00
5f29cc91bc
Remove the repeated checks
2019-01-31 19:06:13 +08:00
750790c784
Remove the unnecessary double backticks on 'validator' in docstring.
...
The usual convention is that we mark function parameters in docstrings with
double backticks. There is no (longer a) parameter called 'validator' so we
update the docstring to conform to the convention.
2019-01-30 18:38:12 -08:00
e1a1f936fe
penalized -> slashed, SEED_LOOKAHEAD -> MIN_SEED_LOOKAHED
2019-01-30 18:22:25 -08:00
e400c28372
Merge pull request #520 from ethereum/next-epoch-shuffling
...
helpers and notes for shuffling lookahead
2019-01-30 17:24:45 -08:00
8cfe3c3133
typo
2019-01-30 17:24:27 -08:00
bdff6943bf
Merge pull request #532 from benjaminion/fix-to-verify-aggregation-bitfield
...
Fix to verify bitfields and aggregate signature.
2019-01-30 15:46:29 -08:00
679421e489
Update specs/core/0_beacon-chain.md
...
Co-Authored-By: djrtwo <dannyjryan@gmail.com>
2019-01-30 12:46:03 -08:00
bbc522c2d5
Merge branch 'master' into vitalik93
2019-01-31 03:55:26 +08:00
face6d325d
Merge branch 'master' into next-epoch-shuffling
2019-01-30 11:06:50 -08:00
ed80daa489
typo in comment
2019-01-30 11:04:35 -08:00
ad5583c79f
remove extra line
2019-01-30 11:03:52 -08:00
de2c51812f
Merge branch 'master' into hwwhww/refactor
2019-01-30 11:03:13 -08:00
f1c5a214b8
Merge branch 'master' into JustinDrake-patch-1
2019-01-30 10:51:18 -08:00
3c4615df01
fix call
2019-01-30 10:43:06 -08:00
0e7953fe8a
verify_bitiefld in aggregate signature section
2019-01-30 10:39:08 -08:00
820777aab0
Merge pull request #525 from ethereum/JustinDrake-patch-1-1
...
Remove exit counts
2019-01-30 10:29:39 -08:00
fb75c6dd55
Fix to verify bitfields and aggregate signature.
...
In blockprocessing, `crosslink_committee` is not defined. This is a fix.
In Phase 0 this check is redundant since we've already asserted that the
custody bitfield is all zero, but it will matter in later phases.
2019-01-30 16:45:46 +00:00
3f836cad5f
add extra note
2019-01-30 08:05:30 -08:00
8869dfff36
fix toc in validator g uide
2019-01-30 08:03:58 -08:00
8e50297543
add break condition
2019-01-30 08:02:23 -08:00
f0eeb71945
fix fomratting
2019-01-30 08:00:48 -08:00
7365af59a7
remove extra return
2019-01-30 07:59:07 -08:00
989aae5dc6
Fix missed updates from slot to epoch ( #530 )
2019-01-30 15:50:37 +00:00
5aba345eec
Remove extraneous space
2019-01-30 23:50:17 +08:00
cc259f98d9
Update 0_beacon-chain-validator.md ( #531 )
2019-01-30 15:47:57 +00:00
3f31285232
Fix typo ( #528 )
2019-01-30 15:46:27 +00:00
d47f98a33f
fix missing toc entry
2019-01-30 07:38:24 -08:00
75cb8b8cb9
add get_next_epoch_crosslink_committees helper in validator guide
2019-01-30 07:35:56 -08:00
022da5006f
Merge branch 'master' into next-epoch-shuffling
2019-01-30 07:09:39 -08:00
8ead89c412
Add is_power_of_2 helper
2019-01-30 07:07:41 -08:00
18e430393e
Update specs/core/0_beacon-chain.md
...
Co-Authored-By: JustinDrake <drakefjustin@gmail.com>
2019-01-30 15:03:42 +00:00
0f70b200ca
imperative
2019-01-30 23:01:38 +08:00
648fcb16eb
Merge pull request #526 from ethereum/JustinDrake-patch-2
...
Remove extraneous latest_vdf_outputs
2019-01-30 06:55:42 -08:00
8c2ed0b683
validator guide to recent spec changes ( #518 )
2019-01-30 14:53:25 +00:00
014016cf3c
Remove extraneous latest_vdf_outputs
2019-01-30 06:50:24 -08:00
8040044f69
fix is_surround as per #410 ( #523 )
2019-01-30 14:46:43 +00:00
5889e9c6db
Remove exit counts
...
* Simplify by removing `exit_epoch` in `BeaconState` and `Validator`. (Also less storage for full nodes.)
* Replace with `exit_epoch` when ordering validator with withdrawal. Slight loss of granularity, but that's actually a good thing because it reduces the opportunity for manipulation by proposers.
2019-01-30 06:43:02 -08:00
8663773fa2
Cleanup attestation inclusion logic
...
* (Logic change) Introduce invariant that attestations can be included for `EPOCH_LENGTH`.
* Simplify presentation by related checks into a single line.
2019-01-30 06:32:44 -08:00
f4798370aa
Attester slashing fixes
...
* Fix bug whereby `intersection` (replaced by `slashable_indices `) could be non-empty, but no validator gets penalized because they were all already penalized.
* Rename `SlashableVote` to `SlashableAttestation` (for consistency with `Attestation`, and to avoid having "Vote" be a synonym of "Attestation").
* Rename `slot_included` to `inclusion_slot` for consistency with the `_slot` (and `_epoch`) postfix convention
* Homogenise ordering of fields in `Attestation` and `SlashableAttestation` objects (one has an `aggregation_bitfield` instead of the other's `validator_indices`).
* Homogenise ordering of fields in `Attestation` and `PendingAttestation` objects (one has an `aggregate_signature` instead of the other's `inclusion_slot`).
* Light presentation cleanup
2019-01-30 05:38:45 -08:00
61e0cc8a81
Merge pull request #509 from ethereum/vbuterin-patch-6
...
Modular squareroot clarification
2019-01-30 07:12:58 -06:00
Danny Ryan
vbuterin
Dean Eigenmann
Anton Nashatyrev
Hsiao-Wei Wang
mratsim
Justin
Taras Bobrovytsky
Alex Stokes
terence tsao
Gregory Markou
Ben Edgington