ba47a8f4c4
remove unused set_bitfield_bit hlper
2019-03-28 11:29:45 -06:00
1f657cfec5
remove custody_bitfield from indexedattestation. add two separate arrays for 0 and 1 bit
2019-03-28 11:26:04 -06:00
aa4bbcc1c8
Bugfix
2019-03-29 00:43:28 +08:00
deb0e32590
Fixes to make Justin happy
2019-03-28 10:51:36 -05:00
1aaa0030fc
Withdrawal queue -> exit queue
2019-03-28 08:58:18 -05:00
458eb99133
Minor copyedits to 0_beacon-chain.md
...
Approximately a dozen minor copyediting fixes of non-code text for improved clarity, consistency, and accuracy.
2019-03-27 14:15:50 -05:00
b5bf56376b
Minor copyediting corrections to 0_beacon-chain.md
...
A handful of minor editing changes made to non-code text for the purposes of improved clarity, consistency, and accuracy.
2019-03-27 14:00:28 -05:00
fbb09795ed
fix convert_to_indexed custody bitfield bug
2019-03-27 08:31:56 -06:00
e9cdcac29e
Merge branch 'dev' into JustinDrake-patch-11
2019-03-26 14:09:07 -06:00
63e7346cfb
standaline -> indexed
2019-03-26 13:40:19 -06:00
81e0e494a8
Merge branch 'dev' into vbuterin-patch-3
2019-03-26 13:30:33 -06:00
654351faea
Merge branch 'dev' into vbuterin-patch-16
2019-03-26 13:04:18 -06:00
2c5a68b5b5
remove registry_change options from shuffling functions
2019-03-26 12:32:24 -06:00
a8410b8b84
add some attestation tests. fix genesi crosslink bug
2019-03-26 11:27:07 -06:00
2c8e9a11e7
Merge branch 'dev' into vbuterin-patch-18
2019-03-26 10:13:17 -06:00
c5f1db27f5
Merge branch 'dev' into JustinDrake-patch-7
2019-03-26 07:38:39 -06:00
87d2618a49
Update 0_beacon-chain.md
2019-03-26 13:21:49 +00:00
7f53f257cd
Merge branch 'dev' into JustinDrake-patch-4
2019-03-26 07:14:34 -06:00
0121adea38
fix beacon proposer function and mod v-guide to not have lookahead for proposing
2019-03-26 07:09:48 -06:00
fcc1c64acb
Merge branch 'dev' into vbuterin-patch-13
2019-03-26 06:45:40 -06:00
fceebeec4e
backport 839 into dev
2019-03-25 11:25:33 -06:00
acc5f314ac
Update 0_beacon-chain.md
2019-03-25 14:54:43 +00:00
fb837400b2
Can't spell (thanks continuous integration!)
2019-03-25 14:49:35 +00:00
b7441e8ab7
Generalise `slash_validator` for phase 1
...
Make `slash_validator` friendly to phase 1. This is a cosmetic change in the context of phase 0.
2019-03-25 14:30:59 +00:00
80e2553afd
Update specs/core/0_beacon-chain.md
...
Co-Authored-By: vbuterin <v@buterin.com>
2019-03-22 09:32:21 -04:00
ce18bde5c9
Simplified sorted index check
2019-03-22 06:20:38 -05:00
3ee9fc0cc7
Merge attestation verification logic
...
Also rename slashable attestation to standalone attestation to reflect its broader functionality in phase 1.
2019-03-22 06:10:44 -05:00
e8257db320
Removed hanging min
2019-03-22 05:40:41 -05:00
b34858c67b
Refactor `get_justification_and_finalization_deltas`
2019-03-22 14:21:33 +08:00
ae67e9513b
Fix type hinting and add docstrings
2019-03-22 12:56:54 +08:00
512ceff1bb
Merge branch 'dev' into vbuterin-patch-20
2019-03-22 11:58:32 +08:00
64e3db09d4
Merge branch 'dev' into JustinDrake-patch-19
2019-03-21 16:25:31 -06:00
d8ad56f759
Merge pull request #828 from ethereum/vbuterin-patch-20-1
...
Small cosmetic change to slashable attestations
2019-03-21 15:50:08 -06:00
3ece05ccc1
Small cosmetic change to slashable attestations
2019-03-21 16:36:31 -05:00
3b403909e8
Cosmetic improvement to reward/penalty functions
2019-03-21 16:29:14 -05:00
38a5c3640b
Re-added some penalization in case of failure to finalize
2019-03-21 15:13:13 -05:00
d1d1b73fb1
Simplify justification and finalization accounting logic
...
Much of the simplification is cosmetic. The following changes are substantive:
* Inactivity leak penalty specifically on missing the target, not both the target and the source
* Even outside of quadratic leak scenarios, slashing victims suffer offline penalties
2019-03-21 15:11:05 -05:00
f6da42ffb3
fix markdown issues
2019-03-21 10:04:20 -06:00
c99fe3fb38
Merge branch 'dev' into vbuterin-patch-3
2019-03-21 08:47:19 -06:00
fd6d80fcb6
remove get_split_offset from phase 1 doc
2019-03-21 08:24:26 -06:00
fdcfc91008
Add docstring into get_split_offset
2019-03-21 07:38:25 -05:00
2215988415
Merge branch 'dev' into JustinDrake-patch-19
2019-03-20 21:59:40 +08:00
fff76749d2
Merge branch 'dev' into vbuterin-patch-3
2019-03-20 08:05:22 -04:00
833691b8af
Update 0_beacon-chain.md
2019-03-20 08:16:39 +00:00
a8e2b8cd1d
Merge branch 'dev' into vbuterin-patch-11
2019-03-19 16:06:33 -06:00
acd7fdd762
add a few voluntary exit tests
2019-03-19 16:00:27 -06:00
9d7c2b264e
Merge branch 'dev' into JustinDrake-patch-20
2019-03-19 15:06:36 -06:00
2afbd8a02d
Merge branch 'dev' into JustinDrake-patch-8
2019-03-19 14:44:25 -06:00
b664453a34
Update 0_beacon-chain.md
2019-03-19 20:43:05 +00:00
ef0b3d2948
Merge branch 'dev' into JustinDrake-patch-20
2019-03-19 14:26:38 -06:00
be13fa8ec3
Merge branch 'dev' into JustinDrake-patch-14
2019-03-19 14:20:12 -06:00
574fd8d63c
Merge branch 'dev' into JustinDrake-patch-18
2019-03-19 14:14:35 -06:00
23ef802da5
fix small bug in sytax
2019-03-19 13:25:34 -06:00
cf06cb59c3
Merge branch 'dev' into JustinDrake-patch-13
2019-03-19 12:40:58 -06:00
054a1e3126
Merge branch 'dev' into JustinDrake-patch-12
2019-03-19 12:25:50 -06:00
bdfc01cf93
Merge branch 'dev' into JustinDrake-patch-11
2019-03-19 12:13:42 -06:00
f7fab30772
minor adjustment to not repeat committe count calc
2019-03-19 11:40:24 -06:00
f5826e7f1c
small lint
2019-03-19 11:34:49 -06:00
c8e9073414
define get_split_offset and squash a couple of bugs
2019-03-19 11:24:36 -06:00
009563b2c3
fix a few bugs in testing compute_committee
2019-03-19 11:15:51 -06:00
b50e148642
Update 0_beacon-chain.md
2019-03-19 17:13:25 +00:00
0737494694
Merge branch 'dev' into vbuterin-patch-16
2019-03-19 11:04:11 -06:00
c5ee74d5e0
Justin fixes
2019-03-19 11:21:17 -05:00
db92235d9e
Removed some no-longer-necessary functions
2019-03-19 09:34:37 -05:00
dd39d25c86
Replace committee exponential backoff with max progress
...
Removes the mechanism that only rotates committees if blocks have been finalized and every shard has been crosslinked or at exponentially decreasing intervals, and replaces it with a rule that shard committees can only progress a maximum of 64 epochs at a time to preserve the invariant that maximum possible work required per epoch for a validator is O(1).
2019-03-19 09:32:06 -05:00
78f47f2069
Avoid underflow in voluntary exits
2019-03-19 12:23:17 +00:00
e91036cfc9
Update 0_beacon-chain.md
2019-03-19 11:12:50 +00:00
0c383ce4a1
Update 0_beacon-chain.md
2019-03-19 11:11:18 +00:00
2b454d57f1
Update 0_beacon-chain.md
2019-03-19 11:08:17 +00:00
dc4b652f72
Only slash active validators
...
This is to prevent a spam/DoS attack where validators with zero balance get "slashed" but no validator loses any balance.
2019-03-19 11:03:42 +00:00
0039613628
Simplify exit_validator
...
Minor cleanup
2019-03-18 19:08:41 +00:00
d25c18b320
Update 0_beacon-chain.md
2019-03-17 11:48:47 +00:00
91a0c1ba5f
Persistent committee size per slot reduced to max 128 ( #734 )
...
* Persistent committee size per slot target 128 max 256
Cuts down the cost of verifying a shard chain and aggregating signatures for a shard chain, and also makes the shard chain signatures more usable by light clients for verification as they would only need to keep track of a max 256-sized committee.
2019-03-17 11:44:19 +00:00
6b82f5e999
Set `GENESIS_FORK_VERSION` to a `bytes4` constant ( #792 )
...
* Set `GENESIS_FORK_VERSION` to a `bytes4` constant
* Update 0_beacon-chain.md
2019-03-17 11:33:42 +00:00
506fdf4042
Added FixedSizeList wrappers ( #777 )
...
* Added FixedSizeList wrappers
Requires corresponding changes to the spec pythonizer.
* FixedSizeList -> Vector
2019-03-17 11:33:19 +00:00
65162e0371
Update 0_beacon-chain.md ( #791 )
2019-03-16 20:56:10 +00:00
919b99e0ae
Add missing word ( #788 )
2019-03-16 12:46:45 +00:00
1a0938169b
Fix `get_split_offset` ( #790 )
2019-03-16 12:45:39 +00:00
e5ff0d59ad
Update 0_beacon-chain.md
2019-03-16 11:23:41 +00:00
6b118d2398
Add trailing comma ( #789 )
2019-03-16 12:16:47 +08:00
709e0df39f
Update 0_beacon-chain.md
2019-03-15 13:54:33 +00:00
1236e8e1fa
Update 0_beacon-chain.md
2019-03-15 13:53:24 +00:00
4b461838d2
`GENESIS_EPOCH - 1` for `previous_shuffling_epoch` and `previous_justified_epoch`
...
See item 26 in #675 .
2019-03-15 13:32:24 +00:00
e912ed7fca
Include recently slashed churn in churn queue
...
Addresses #527 in combination with #784 .
2019-03-15 13:12:03 +00:00
4a8d748c55
Milder ejections
...
See item 22 in https://github.com/ethereum/eth2.0-specs/issues/675 . Also partially addresses https://github.com/ethereum/eth2.0-specs/issues/527 .
2019-03-15 13:05:46 +00:00
d8d653dd94
Update 0_beacon-chain.md
2019-03-15 12:51:46 +00:00
96ab535704
Simplify and cleanup process_attestation
...
Improve readability and testability (by avoiding untriggerable `assert`). Fix #753 .
2019-03-15 12:40:52 +00:00
58603f276e
Update 0_beacon-chain.md
2019-03-15 11:28:55 +00:00
dac43eb564
Simplify deposits
...
Fix #760
2019-03-15 11:18:06 +00:00
4a5ef98813
Move to SHA256
...
SHA256 is de facto blockchain standard. Standardisation of the hash function is a prerequisite for [full standardisation of BLS12-381 signatures](https://github.com/ethereum/eth2.0-specs/issues/605 ). Blockchain projects are likely to provide a cheap SHA256 opcods/precompile, and unlikely to provide a Keccak256 equivelent. (Even WASM-enabled blockchains are likely to provide a SHA256 opcode/precompile since WASM does *not* natively support optimised SHA256 CPU instructions.) With Ethereum 2.0 embracing SHA256 the wider industry is more likely to converge towards a unified cross-blockchain communication scheme via Merkle receipts.
There are no security blockers with SHA256 (see comments by Dan Boneh [here](https://github.com/ethereum/eth2.0-specs/issues/612#issuecomment-470452562 )).
2019-03-15 10:51:08 +00:00
68d1c74784
Update 0_beacon-chain.md
2019-03-15 09:45:20 +00:00
5d327b6364
Update 0_beacon-chain.md
2019-03-15 09:43:38 +00:00
16123685af
Merge branch 'dev' into vbuterin-patch-3
2019-03-15 11:22:15 +08:00
24468de23b
Change get_shuffling to compute_committee
...
See #729 and #774
The behavior now is that the first committee will consist of `get_permuted_index(0..n-1)`, the second committee `get_permuted_index(n....2n-1)`, etc.
2019-03-14 20:28:44 -05:00
bbc5139115
Update 0_beacon-chain.md
...
Assuming `epoch % i` is a bug, and you meant `epoch + i`. @vbuterin
2019-03-14 19:01:32 +00:00
23d15f51a7
Update 0_beacon-chain.md
2019-03-14 18:57:17 +00:00
4442dfffb9
Fair proposer selection probability
...
Note that as a side effect, proposer selection becomes less predictable, but I don't feel like this is a large downside.
2019-03-13 21:42:49 -05:00
9774a3d581
Helper function returns correct type of `Gwei` instead of indices
2019-03-13 17:01:47 -07:00
cdd59ae230
add return types to phase 1 functions
...
Co-Authored-By: djrtwo <dannyjryan@gmail.com>
2019-03-13 09:11:35 -06:00
b40236685c
phase 1 nitpicks
2019-03-13 09:04:12 -06:00
e8a5cd0747
fix up for tests
2019-03-12 12:32:11 -06:00
6e04b2118c
Merge branch 'dev' into store-justified-root
2019-03-12 12:08:59 -06:00
acf0f76d60
Merge branch 'dev' into JustinDrake-patch-1
2019-03-12 11:48:05 -06:00
a68b050053
set fork values in genesis as bytes4
2019-03-12 11:35:59 -06:00
7b829227ee
Merge branch 'dev' into JustinDrake-patch-4
2019-03-12 11:28:33 -06:00
25f6647ef2
minor formatting
2019-03-12 11:07:20 -06:00
bdaba00a58
Merge branch 'dev' into JustinDrake-patch-7
2019-03-12 10:56:22 -06:00
0a349f8bdc
Update 0_beacon-chain.md
2019-03-12 15:58:31 +00:00
0f120415b5
Update specs/core/0_beacon-chain.md
...
Co-Authored-By: JustinDrake <drakefjustin@gmail.com>
2019-03-12 16:49:04 +01:00
d8a3048f2c
Update 0_beacon-chain.md
2019-03-12 12:36:09 +00:00
64ba3a3107
Epoch-based proposer slashing
...
See #675 item 25.
2019-03-12 12:24:37 +00:00
6c35934060
Update 0_beacon-chain.md
2019-03-12 10:34:24 +00:00
addf7b77ab
Update 0_beacon-chain.md
2019-03-12 10:26:34 +00:00
578bf02b6f
Update 0_beacon-chain.md
2019-03-12 10:17:34 +00:00
a7544864d5
Update 0_beacon-chain.md
2019-03-12 10:02:52 +00:00
4410a55c4d
Mandatory deposits
...
Resolves #675 point 5.
2019-03-11 23:30:08 -05:00
3916643ef6
only update justified epoch/root if changed
2019-03-11 18:23:17 -06:00
3459ea0838
Check proposer is not slashed
2019-03-11 22:07:34 +00:00
f06a3b82e7
cache current and previous justified root in state
2019-03-11 14:38:10 -06:00
bf6bdbb021
cleanup minor var errors
2019-03-11 12:38:11 -06:00
36efb4498f
Merge branch 'dev' into vbuterin-patch-3
2019-03-11 10:44:18 -06:00
0704297480
Update 0_beacon-chain.md
2019-03-11 17:28:39 +01:00
9c2d34d876
Merge branch 'dev' into min-time-to-exit
2019-03-11 09:45:39 -06:00
2c7c48a4e0
Merge pull request #751 from ethereum/JustinDrake-patch-8
...
Disallow duplicate voluntary exits
2019-03-11 09:09:53 -06:00
2d3d7e33b3
Weaken criterion for attestation inclusion
...
The invariant that `get_current_epoch(state) in [get_current_epoch(state), get_previous_epoch(state)]` is preserved, as well as symmetry/fairness across blocks.
2019-03-10 21:58:32 +01:00
641bfc2f2c
Merge pull request #744 from ethereum/empty-attestation-bug
...
minor execution bugs
2019-03-10 08:26:21 -06:00
d425ea26e2
Update 0_beacon-chain.md
2019-03-10 13:50:28 +01:00
b7376aea5c
Disallow duplicate voluntary exits
...
Stricter processing of voluntary exits to remove an edge case
2019-03-10 13:49:37 +01:00
02428ec252
Do not check withdrawal credentials for existing validators
...
We should not invalidate blocks that contain a deposit with an inconsistent withdrawal credential as that would stall the chain.
2019-03-10 13:25:57 +01:00
902e65e072
add min persistent committee period resitriction on exits
2019-03-08 15:16:06 -07:00
0f3e0ef2ad
Merge pull request #743 from ethereum/JustinDrake-patch-9
...
Minor cleanups
2019-03-08 14:59:39 -07:00
30e64d7de6
fix get_inactivity_penalty function signature
2019-03-08 12:14:21 -07:00
f88db44e81
skip proposer bonus if no attestation for v index
2019-03-08 12:07:57 -07:00
f72e856620
Merge branch 'dev' into JustinDrake-patch-7
2019-03-08 10:46:36 -07:00
29014d554e
Merge branch 'dev' into JustinDrake-patch-9
2019-03-08 10:39:26 -07:00
f253feeacf
Update 0_beacon-chain.md
2019-03-08 18:34:51 +01:00
f180eb5e9e
Update 0_beacon-chain.md
2019-03-08 18:14:00 +01:00
de60533d72
Update 0_beacon-chain.md
2019-03-08 18:13:05 +01:00
f081f23c31
cache more than just state root at start of state transition
2019-03-08 09:48:46 -07:00
ecd93468a2
Update 0_beacon-chain.md
2019-03-08 17:38:19 +01:00
3aedf1226a
Update 0_beacon-chain.md
...
Did I get the type casting OK @hwwhww?
2019-03-08 17:36:58 +01:00
1141467349
Update 0_beacon-chain.md
2019-03-08 17:28:00 +01:00
9b598c91b7
Merge branch 'dev' into JustinDrake-patch-7
2019-03-08 09:10:08 -07:00
7dc61c6126
Merge branch 'dev' into epoch-start
2019-03-08 08:51:19 -07:00
a51d7d5db5
Update 0_beacon-chain.md
2019-03-08 10:50:45 +01:00
12695425c9
Use hash_tree_root everywhere
...
And get rid of merkle_root. This is possible because of SSZ tuples.
2019-03-08 10:32:40 +01:00
8dcc1ba930
Break LMD GHOST ties in favor of higher hash tree roots ( #737 )
2019-03-08 09:58:38 +01:00
1f147486fc
Semantic fork versions and signature domains
...
Fix #706
2019-03-08 09:57:09 +01:00
e74c79e353
Update 0_beacon-chain.md
2019-03-08 09:08:30 +01:00
33a05109ea
Fair proposer sampling
...
I think we want `first_committee[epoch % len(first_committee)]` as opposed to `first_committee[slot % len(first_committee)]`. The reason is that if the shuffling happens infrequently and `len(first_committee)` is a multiple of `SLOTS_PER_EPOCH` then the proposers will not be sampled fairly.
Taking this logic further, we may want to avoiding always picking the proposer from `first_committee`, e.g.:
```
validators_at_slot = []
for crosslink_committee, _ in get_crosslink_committees_at_slot(state, slot, registry_change):
validators_at_slot.append(crosslink_committee)
return validators_at_slot[epoch % len(validators_at_slot)]
```
2019-03-07 23:56:03 +01:00
339a7fb63b
Update 0_beacon-chain.md
2019-03-07 23:14:47 +01:00
2d9724dbfc
Update 0_beacon-chain.md
2019-03-07 23:13:06 +01:00
e57bfaab7c
clean up state transition notes
2019-03-07 13:36:22 -07:00
d00353534d
Merge branch 'dev' into epoch-start
2019-03-07 13:32:15 -07:00
6cf14884a8
epoch transition at start of epoch
2019-03-07 12:05:34 -07:00
8dec7d805c
reorder ssz types topologically
2019-03-07 11:02:13 -07:00
250455a67e
Apply suggestions from code review
...
Co-Authored-By: djrtwo <dannyjryan@gmail.com>
2019-03-07 10:03:25 -07:00
987c741bea
fix state types
2019-03-07 09:44:55 -07:00
b1baea2d28
Merge branch 'dev' into vbuterin-patch-7
2019-03-07 08:56:29 -07:00
f9a07f7653
Fixed MIN_DEPOSIT_AMOUNT
2019-03-07 04:04:05 -06:00
be4b912373
Added underflow checking to decrease_balance
2019-03-07 04:02:53 -06:00
0759e170a7
High/low balance separation
...
See #685 for reasoning
2019-03-07 01:38:03 -06:00
ec12460b8b
Make wthdrawn validators immune to inactivity leak
2019-03-07 01:21:17 -06:00
663bc489b6
Added lexicographic tiebreaking
2019-03-06 22:54:52 -06:00
175dde7cf7
Merge branch 'dev' into patch-1
2019-03-06 15:56:35 -07:00
2f6e560e30
Merge branch 'dev' into vbuterin-patch-7
2019-03-06 15:07:20 -07:00
ee2fbd0df7
Fix calls of `signed_root`
2019-03-06 13:48:06 -08:00
81f48ea1c3
Also fix length of Deposit.proof
2019-03-06 21:11:50 +01:00
9d175c9dc9
Merge branch 'dev' into patch-1
2019-03-06 17:28:09 +01:00
b4779cd83d
Apply suggestions from code review
...
Co-Authored-By: djrtwo <dannyjryan@gmail.com>
2019-03-06 08:55:39 -07:00
c9e06d31f3
Apply suggestions from code review
...
base_reward -> get_base_reward
Co-Authored-By: djrtwo <dannyjryan@gmail.com>
2019-03-06 07:29:06 -07:00
776196e66d
Add tuple lengths
...
Adding tuple lengths in BeaconState objects (this changes merkleization/serialization as no length mixin required)
2019-03-06 14:46:52 +01:00
b36e70040b
fix call to union
2019-03-05 16:18:41 -07:00
b5f0509595
fix proposal slashing minor bugs
2019-03-05 11:29:40 -07:00
be1cb4a850
Merge pull request #718 from ethereum/empty-base-reward
...
handle get_base_reward when no previous balance
2019-03-05 09:24:12 -07:00
0eacabc273
fix minor typo
2019-03-05 08:51:34 -07:00
99da6fe141
fix advance_slot ordering issue
2019-03-05 08:50:51 -07:00
e2a0452108
fix previous root ( #716 )
2019-03-05 14:07:00 +01:00
ecb76420ec
`1e9` is float in Python, change it to `10**9`.
2019-03-05 17:30:42 +08:00
d2f7fa9a7e
fix call to get_current_epoch
2019-03-04 19:09:31 -07:00
bd936fa6ab
add missing return for justification/finalization reward deltas
2019-03-04 19:07:24 -07:00
02e8e89740
handle get_base_reward when no previous balance
2019-03-04 19:05:00 -07:00
0fdfbc473e
minor variable issues in helpers
2019-03-04 18:53:31 -07:00
0f274a906c
Merge branch 'vbuterin-patch-7' of github.com:ethereum/eth2.0-specs into vbuterin-patch-7
2019-03-04 18:02:46 -07:00
738acf0e05
fix calls for get_total_balance
2019-03-04 18:00:38 -07:00
47cca60148
handle when no attestations availble for crosslinking ( #717 )
2019-03-04 18:56:50 -06:00
66105b01e4
previous epoch uses -1 in all cases
2019-03-04 17:27:53 -07:00
d4a4c73599
fix calls to get_attesting_indices
2019-03-04 17:17:31 -07:00
8802f57790
add missing var to get_attesting_balance calls
2019-03-04 17:11:38 -07:00
f7397a5970
add xor def
2019-03-04 15:49:21 -07:00
a561656b68
add get_state_root helper
2019-03-04 11:45:41 -07:00
5ac30fdf77
Merge branch 'dev' into vbuterin-patch-7
2019-03-04 09:50:07 -07:00
c4c1903460
Merge pull request #709 from ethereum/vbuterin-patch-6
...
Unified deposit processing between genesis and transaction
2019-03-04 09:49:38 -07:00
831f04e3ea
separate our rewards/penalty deltas
2019-03-04 09:45:55 -07:00
908d7c42ad
pr feedback
2019-03-04 09:17:43 -07:00
e2ce0d9583
Update 0_beacon-chain.md
2019-03-04 06:45:55 -08:00
5282b289cf
exits -> voluntary_exits
2019-03-04 04:49:24 -06:00
044c87fe39
fix State -> BeaconState
2019-03-03 22:41:23 -06:00
1444687798
Update specs/core/0_beacon-chain.md
...
Co-Authored-By: vbuterin <v@buterin.com>
2019-03-03 20:14:03 -06:00
cc146475d9
Merge pull request #694 from ethereum/proposer-next-epoch
...
make get_beacon_proposer_index safe for next epoch
2019-03-03 17:01:20 -07:00
0444c2e05e
Merge branch 'dev' into vbuterin-patch-7
2019-03-03 16:58:54 -07:00
146aef313e
Merge pull request #699 from ethereum/start_shard_bug
...
fix committee assignment bugs
2019-03-03 16:53:57 -07:00
38e166d4a3
More python typos!
2019-03-03 06:01:03 -06:00
805ea5dad5
Transfer from -> sender
...
Needed to avoid triggering errors in python
2019-03-03 05:59:11 -06:00
68bc91bb3a
Fixed custody bit participants typo
2019-03-03 05:56:57 -06:00
73f9ad0512
Added missing colon
2019-03-03 05:54:58 -06:00
d0fc455a1f
Assimilated #649
2019-03-03 05:04:28 -06:00
dcb0205adc
Merge branch 'dev' into vbuterin-patch-7
2019-03-03 04:30:51 -06:00
46b1d4eef5
Assimilated #697
2019-03-03 04:28:13 -06:00
868359a674
Update specs/core/0_beacon-chain.md
...
Co-Authored-By: vbuterin <v@buterin.com>
2019-03-03 04:00:09 -06:00
cd7c7228c9
Update specs/core/0_beacon-chain.md
...
Co-Authored-By: vbuterin <v@buterin.com>
2019-03-03 03:59:12 -06:00
72c28bc59a
Refactor `process_slashings`
2019-03-03 17:58:45 +08:00
19924f3148
Update specs/core/0_beacon-chain.md
...
Co-Authored-By: vbuterin <v@buterin.com>
2019-03-03 03:58:18 -06:00
07599b3a45
Update specs/core/0_beacon-chain.md
...
Co-Authored-By: vbuterin <v@buterin.com>
2019-03-03 03:57:48 -06:00
1103fd1ee8
Update specs/core/0_beacon-chain.md
...
Co-Authored-By: vbuterin <v@buterin.com>
2019-03-03 03:57:27 -06:00
fa613b401f
Update specs/core/0_beacon-chain.md
...
Co-Authored-By: vbuterin <v@buterin.com>
2019-03-03 03:56:54 -06:00
2d6697eb62
Update specs/core/0_beacon-chain.md
...
Co-Authored-By: vbuterin <v@buterin.com>
2019-03-03 03:56:12 -06:00
c42cab87a7
Update specs/core/0_beacon-chain.md
...
Co-Authored-By: vbuterin <v@buterin.com>
2019-03-03 03:55:20 -06:00
c9a6215ab8
Merge pull request #713 from protolambda/protolambda-fix-randao-mixes
...
fix randao mixes type, bytes32 like in function and state spec
2019-03-03 13:50:34 +08:00
cefe9e995b
Proof of custody game, take 2 ( #682 )
...
* Proof of custody game, take 2
Unfortunately not simpler than before, but moves challenges outside of the validator records and so keeps validator records constant-size.
* Removed unneeded challenge codes
* Formatting fixes
2019-03-02 20:36:04 -06:00
fde66a7105
Update to make CC happy
2019-03-02 20:11:33 -06:00
f137f1ce90
fix randao mixes type, bytes32 like in function and state spec
2019-03-02 18:02:50 +01:00
ce5599db2f
Made crosslink processing a function
2019-03-02 00:42:20 -06:00
0134e56010
Fixed table of contents
2019-03-02 00:40:43 -06:00
fa327a18ea
Add docstring
2019-03-02 13:51:48 +08:00
00804da13e
Fix type hinting
2019-03-02 13:48:46 +08:00
4ad3529e4e
Finished epoch transition
2019-03-01 19:49:28 -06:00
2d4c8af489
Split up big function into two smaller functions
2019-03-01 19:34:26 -06:00
7c6232a602
Update 0_beacon-chain.md
2019-03-01 19:22:24 -06:00
4cc738dc53
Apply suggestions from code review
...
Co-Authored-By: vbuterin <v@buterin.com>
2019-03-01 19:17:07 -06:00
e0b8eea7d6
Update specs/core/0_beacon-chain.md
...
Co-Authored-By: vbuterin <v@buterin.com>
2019-03-01 19:12:31 -06:00
46269310ee
Update specs/core/0_beacon-chain.md
...
Co-Authored-By: vbuterin <v@buterin.com>
2019-03-01 19:12:21 -06:00
6c1abbc2fc
Update specs/core/0_beacon-chain.md
...
Co-Authored-By: vbuterin <v@buterin.com>
2019-03-01 19:12:11 -06:00
b8d1003c2c
Updates to make HW and Danny happy
2019-03-01 19:11:13 -06:00
ec20edb80e
Update specs/core/0_beacon-chain.md
...
Co-Authored-By: vbuterin <v@buterin.com>
2019-03-01 19:05:02 -06:00
3d8e0f1920
Update specs/core/0_beacon-chain.md
...
Co-Authored-By: vbuterin <v@buterin.com>
2019-03-01 19:04:55 -06:00
ff88d22f9a
Update specs/core/0_beacon-chain.md
...
Co-Authored-By: vbuterin <v@buterin.com>
2019-03-01 19:04:49 -06:00
26179ede5f
branch -> proof
2019-03-01 19:01:40 -06:00
0c24ca9bb0
Update specs/core/0_beacon-chain.md
...
Co-Authored-By: vbuterin <v@buterin.com>
2019-03-01 18:59:55 -06:00
5ceec70dd3
Pythonize epoch transitions (in progress)
2019-03-01 07:59:52 -06:00
236298a8e4
Hard assert that the Merkle branch is valid
2019-03-01 03:58:18 -06:00
19665e4ca5
Update specs/core/0_beacon-chain.md
...
Co-Authored-By: vbuterin <v@buterin.com>
2019-03-01 00:16:05 -06:00
0fb4cae2d6
Update specs/core/0_beacon-chain.md
...
Co-Authored-By: vbuterin <v@buterin.com>
2019-03-01 00:15:49 -06:00
5ed0f276f6
Update specs/core/0_beacon-chain.md
...
Co-Authored-By: vbuterin <v@buterin.com>
2019-03-01 00:13:59 -06:00
a9be1018d3
Update specs/core/0_beacon-chain.md
...
Co-Authored-By: vbuterin <v@buterin.com>
2019-03-01 00:13:32 -06:00
19c3189c1c
Update specs/core/0_beacon-chain.md
...
Co-Authored-By: vbuterin <v@buterin.com>
2019-03-01 00:13:22 -06:00
087576a7bb
Update specs/core/0_beacon-chain.md
...
Co-Authored-By: vbuterin <v@buterin.com>
2019-03-01 00:12:45 -06:00
80ac62606c
Unified deposit processing between genesis and transaction
2019-02-28 21:07:10 -06:00
d5900836aa
Convert transaction descriptions from English to python code
...
Only a change of presentation, does not make any substantive changes.
Does NOT handle Deposit transactions because that is a special case for which I recommend a deeper change (will do this in another PR soon).
2019-02-28 20:54:59 -06:00
8df7de150e
Merge pull request #703 from Nashatyrev/strict-active-validator
...
Make 'Any active validator' statements stricter.
2019-02-28 17:24:30 -07:00
bcb0b8bf87
Refactor `exit_validator`
2019-03-01 00:49:51 +08:00
bdd6868736
Fix ToC
2019-03-01 00:49:51 +08:00
b836b30bff
Fix "is_ready_to_exit" condition
2019-03-01 00:49:45 +08:00
f38dc048e4
Make 'Any active validator' statement more strict.
2019-02-28 17:17:00 +03:00
dbbfb93873
Order by `committees_per_epoch`, `seed`, `shuffling_epoch`, and
...
`shuffling_start_shard`
2019-02-28 19:07:37 +08:00
34091d70ec
Fix typo
2019-02-28 16:30:46 +08:00
bb44d25665
Merge pull request #688 from decanus/patch-21
...
Use `slashed` bool more Pythonicly
2019-02-27 15:02:33 -07:00
5692b3483d
Update 0_beacon-chain.md
2019-02-27 15:02:11 -07:00
769afa704e
Merge pull request #684 from ethereum/vbuterin-patch-5
...
Developer notice
2019-02-27 14:58:29 -07:00
c9ac8170f0
ensure that next committee assignemtns is stable when need to be
2019-02-27 11:37:54 -07:00
e2f4e32332
fix committee start shard bug
2019-02-27 11:27:23 -07:00
e9c3af5428
Update 1_shard-data-chains.md
2019-02-26 18:00:20 -06:00
b2c53045fc
make get_beacon_proposer_index safe for next epoch
2019-02-26 15:55:27 -07:00
e7d908f1f1
formatting nitpick
...
drop some parens in the spirit of consistency and parsimony
2019-02-26 14:45:25 -08:00
8b14a2bef5
Update 0_beacon-chain.md
2019-02-26 17:15:26 +01:00
05f6f68028
Made developer notice less committal
2019-02-25 16:45:57 -06:00
c9f1dfcbb3
Update 0_beacon-chain.md
2019-02-25 21:39:23 +01:00
b2a3ee4bbc
skip bad proof of possession deposits
2019-02-25 09:36:52 -07:00
fbb70e91eb
remove todo
2019-02-25 07:58:23 -07:00
b2ed80250a
Merge pull request #678 from ethereum/JustinDrake-patch-6
...
Allow transfers from non-activated validators
2019-02-25 07:54:57 -07:00
6a92407702
Developer notice
2019-02-25 04:16:18 -06:00
6b5769a861
Update 0_beacon-chain.md
2019-02-25 10:30:03 +01:00
da6b5466d5
Allow transfers from non-activated validators
...
See item 6 in https://github.com/ethereum/eth2.0-specs/issues/675 . This makes transfers more generic.
2019-02-23 20:25:55 +01:00
1d757aec74
Specify lexicographic ordering of crosslink_data_root
...
Fix #542 .
2019-02-22 21:02:03 +01:00
060e3c36c5
fix up previous epoch logic around genesis ( #672 )
2019-02-22 20:51:09 +01:00
06e6496bca
Merge pull request #662 from ethereum/vbuterin-patch-5
...
Rename shard_block_root -> crosslink_data_root
2019-02-22 08:51:01 -07:00
b89cd234f0
change shard_block_root to crosslink_data_root throughout
2019-02-22 08:50:03 -07:00
a683416537
Fix slot range for attestation inclusion ( #669 )
...
* Fix slot range for attestation inclusion
* Update specs/core/0_beacon-chain.md
Co-Authored-By: djrtwo <dannyjryan@gmail.com>
2019-02-22 23:36:36 +08:00
d27132cb0a
Merge pull request #658 from ethereum/vbuterin-patch-3
...
Turned slashed and initiated_exit into booleans
2019-02-22 08:34:17 -07:00
e1fc8a5765
Update 0_beacon-chain.md
2019-02-22 13:00:29 +01:00
a8c3c45faf
Update 0_beacon-chain.md
2019-02-22 12:58:59 +01:00
f77b9e2414
Changed name to crosslink data commitment
2019-02-22 00:21:56 -06:00
830ae3be9a
Merge pull request #655 from ethereum/JustinDrake-patch-4
...
Reduce GENESIS_SLOT to 2**32
2019-02-21 14:51:12 -07:00
5f59aad00d
Clarify use of `FAR_FUTURE_EPOCH` as a flag
2019-02-21 22:34:11 +01:00
26908d5579
Fix constant name `MIN_VALIDATOR_WITHDRAWABILITY_DELAY` -> `MIN_VALIDATOR_WITHDRAWABILITY_DELAY` ( #661 )
2019-02-20 15:58:25 +00:00
a79fa398f1
Minor fix: `messages` -> `message_hashes` ( #664 )
2019-02-20 11:42:53 +00:00
e25e87f003
Update 0_beacon-chain.md
2019-02-20 07:45:19 +00:00
9ac61e57c0
Update 0_beacon-chain.md
2019-02-20 07:18:12 +00:00
461cd8b599
Rename shard_block_root -> shard_data_commitment
2019-02-20 00:46:28 -06:00
09e8448763
Turned slashed and initiated_exit into booleans
...
Cuts validator record size from 120 to 106 bytes, and arguably is a simplification
2019-02-19 20:00:46 -06:00
8262ce1cc0
Fix typo from earlier renaming in #534 .
2019-02-19 15:09:11 -07:00
9b7b35bc9d
Reduce GENESIS_SLOT to 2**32
...
* Address the slot/epoch underflow problem, even for Java implementers! 🎉
* Squash a bug with `get_previous_epoch`
* Fix #642
* Address #626 (Vitalik, Danny, myself agree that avoiding signed integers is probably best)
2019-02-19 21:08:10 +00:00
a3d85c8405
Update 0_beacon-chain.md ( #654 )
2019-02-19 17:49:37 +00:00
2540f55c13
Updated phase 1: branch and early subkey reveal challenges ( #587 )
...
* Updated phase 1: branch challenges
* Removed unnecessary line
* Added early subkey reveal slashing
* Revealing during the active period is still revealing early
* Added....
* Machinery for publishing old subkeys
* Inability to withdraw until you published all subkeys
* After a validator exits the queue there's still a minimum 1-day delay before they can withdraw (in the future this delay will be used as an opportunity to start a PoC challenge game)
* Update 1_shard-data-chains.md
* formatting
* minor edits
* Added masking scheme for reveals
Secure under the aggregate extraction infeasibility assumption described on pages 11-12 of https://crypto.stanford.edu/~dabo/pubs/papers/aggreg.pdf
* Added rewards going to challengers
* Add ToC and reorg the constant tables
* Remove tags
* fix constant formatting
* normalize domain constants in phase 1
* Update 1_shard-data-chains.md
* Update 1_shard-data-chains.md
* Update 1_shard-data-chains.md
* Added transition logic
* Fix ToC
* Fix ToC
* Adjusted for #615
* Added more helpers
* epoch -> slot
* fix some type hints
* clean up `get_attestation_merkle_depth`
2019-02-19 05:26:35 -06:00
0bc3998c89
Merge pull request #641 from paulhauner/patch-11
...
Fix out-of-bounds in `get_shuffling`
2019-02-18 10:22:57 -07:00
75e649cc15
Merge pull request #634 from paulhauner/patch-10
...
Add explicit assert to get_permutated_index
2019-02-18 10:14:07 -07:00
9eb3be5471
Merge branch 'dev' into JustinDrake-patch-1
2019-02-17 21:16:45 -07:00
5fbbb4f181
Clarify merkle_root documentation ( #646 )
...
This function is used to get the merkle root of some block roots which are themselves hashes, so the leaves do not need to be rehashed.
Unfortunately, it's easy to assume that a merkle_root function would hash its leaves, so it should be clarified.
2019-02-18 12:11:01 +08:00
eea413bcc5
Fix typos ( #648 )
2019-02-17 22:53:59 +00:00
4baa13050e
Update 0_beacon-chain.md
2019-02-16 21:13:46 +00:00
1d95c1482c
Update 0_beacon-chain.md
2019-02-16 21:11:48 +00:00
f2e547e629
docs: fix typo in 0_beacon-chain.md
2019-02-16 23:12:00 +09:00
464947dbd4
docs: fix typo in 0_beacon-chain.md ( #640 )
2019-02-16 09:11:29 +00:00
b92cd9be03
Add fix to `get_shuffling`
...
Ensures it does not try to shuffle out of range of the `active_validator_indices` list.
2019-02-16 17:55:27 +11:00
2e6bf87bdf
Fix max list size for get_permutated_index
2019-02-16 17:27:47 +11:00
f932534763
Merge pull request #637 from ethereum/hwwhww-patch-2
...
Fix `slash_validator`
2019-02-15 09:40:24 -07:00
e074bc2c34
Update 0_beacon-chain.md ( #635 )
...
replace vote_data with slashable_attestation in verify_slashable_attestation()
2019-02-15 14:48:09 +00:00
984eb79f68
Fix unix time condition of an acceptable block ( #636 )
2019-02-15 13:46:47 +00:00
2207fd17f5
Update 0_beacon-chain.md
2019-02-15 13:37:36 +00:00
6f856ba009
Comparing in slot
2019-02-15 18:33:22 +08:00
e0c28a3cd0
Fix `slash_validator`
...
Define `validator` before using it.
2019-02-15 18:25:30 +08:00
2f327f36d8
Improve asset in get_permutated_index
2019-02-15 12:50:56 +11:00
267f840570
Add explicit assert to get_permutated_index
...
There is an implicit assert in `int_to_bytes4`, however I think it's rather hidden.
2019-02-15 11:57:23 +11:00
888b06ce4a
Update 0_beacon-chain.md
2019-02-15 00:24:46 +00:00
ab140c2f1c
Update 0_beacon-chain.md
2019-02-15 00:23:03 +00:00
375659dc6c
name changes in validator doc and phase 1 doc
2019-02-14 16:02:01 -07:00
241ae5ed49
Merge branch 'dev' into name-changes
2019-02-14 20:48:34 +00:00
677efe5840
fix off by one attestaton issue due to attesting to post state of block ( #627 )
2019-02-14 20:16:19 +00:00
d7fb7729e6
Add cautionary assert in shuffling function ( #622 )
2019-02-14 14:14:59 +00:00
6c49270664
Added minimum slashing penalty of ~1 ETH ( #624 )
2019-02-14 14:00:12 +00:00
e86fa58167
Merge branch 'dev' into name-changes
2019-02-14 10:27:17 +00:00
eadfa20b99
Bring forward changes to withdrawability from phase 1 ( #615 )
...
* Bring forward changes to withdrawability from phase 1
* The `WITHDRAWABLE` flag is removed; instead, a validator's withdrawability is determined through the `withdrawable_epoch` field (renamed and re-purposed from `withdrawal_epoch` which was not used)
* When a validator passes through the withdrawal queue, the `prepare_validator_for_withdrawal` function does not let them withdraw immediately; instead, they have to wait `MIN_VALIDATOR_WITHDRAWAL_EPOCHS`. This extra minimum delay serves no value in phase 0, but is crucial for phase 1 as the period between a validator passing through the queue and the validator being eligible to withdraw is where proof of custody challenges can come in; adding it in phase 0 is only half a line of code so easier to add it now.
* If a validator is penalized, they are no longer subject to the exit queue; instead, their `withdrawable_epoch` is set `LATEST_PENALIZED_EXIT_LENGTH` into the future and this is used to determine when the validator can withdraw
* Changes the eligibility condition for a transfer to use the `withdrawable_epoch`
2019-02-14 10:20:53 +00:00
f14af7ae67
Merge branch 'dev' into name-changes
2019-02-13 23:53:38 +00:00
83b67b6097
Merge pull request #617 from ethereum/hwwhww/fix_compute_commitment
...
Fix `compute_commitment`
2019-02-13 11:54:03 -07:00
fd5c3ee8b5
Update 0_beacon-chain.md
2019-02-13 08:38:03 -08:00
f7320ec25b
Fix `compute_commitment`
...
1. Use `+` to concatenate the merkle roots in `hash` function.
2. Fix `pad_to_power_of_2`: padding with `[b'\x00' * SHARD_BLOCK_SIZE]`,
not `[SHARD_BLOCK_SIZE]`.
2019-02-14 00:30:00 +08:00
3d5aa352be
Merge pull request #597 from ethereum/reward-clarifications
...
Reward clarifications/fix
2019-02-13 08:21:30 -07:00
a730295982
Update 0_beacon-chain.md ( #614 )
2019-02-13 01:40:24 +00:00
cf371c4973
Add support for transfers between withdrawn accounts ( #601 )
2019-02-12 22:41:38 +00:00
b6d27edd6e
Update 0_beacon-chain.md
2019-02-12 22:38:29 +00:00
8213ad64e2
add note about attestations on chain voting for justified
2019-02-12 13:08:17 -08:00
bd9baeca0c
Update 0_beacon-chain.md
2019-02-12 13:37:30 +00:00
d4f79c8878
Update 0_beacon-chain.md
2019-02-12 12:28:13 +00:00
de7263c838
Update 0_beacon-chain.md
2019-02-12 12:24:19 +00:00
8445d06b8f
Merge branch 'dev' into name-changes
2019-02-12 11:59:05 +00:00
f871b9a0d1
Use little endian bit order ( #575 )
...
Slightly more simple and common to find bit n at position `1 << n`
2019-02-12 11:52:07 +00:00
41e95cf9ea
Refactor `get_persistent_committee` ( #604 )
2019-02-12 11:11:45 +00:00
de90d4475e
Provide definition for undefined `index` ( #608 )
...
The `index` variable is not defined and, IMO, it's difficult to discern.
2019-02-12 11:09:27 +00:00
3ea0c27be0
Minor modification to reduce lines of code ( #607 )
2019-02-12 11:06:26 +00:00
98902d12e3
assert/unhandled exception note to state transition ( #606 )
2019-02-11 21:30:36 +00:00
2275587149
Add note on leap seconds
...
Clarify the local time is Unix time and add note on leap seconds.
2019-02-11 13:29:54 +00:00
1d77c57374
clarify active validator meaning for rewards/penalties
2019-02-10 18:43:56 -07:00
e8f9dce1d3
simply reward logic for justified slot from previous epoch
2019-02-10 18:38:42 -07:00
db4f99d899
Fixed end of code block
2019-02-10 15:47:26 -06:00
ab44cbe380
Update specs/core/1_shard-data-chains.md
...
Co-Authored-By: vbuterin <v@buterin.com>
2019-02-10 15:45:57 -06:00
9bba3362eb
Update specs/core/1_shard-data-chains.md
2019-02-10 15:45:47 -06:00
9e66b069b2
Update specs/core/1_shard-data-chains.md
2019-02-10 15:45:16 -06:00
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
Danny Ryan
Hsiao-Wei Wang
vbuterin
William M Peaster
Justin
Sören Steiger
NIC Lin
Alex Stokes
Dankrad Feist
Carl Beekhuizen
terence tsao
protolambda
Anton Nashatyrev
Dean Eigenmann
Cayman
d-yokoi
d-yokoi
Paul Hauner
Jonny Rhea
Jacek Sieka