9c4e034bed
Merge branch 'dev' into vbuterin-patch-13
2019-03-29 13:36:00 +08:00
f5c5c166af
Replace custody challenge game with JABS ( #812 )
...
See also #818 .
===
* Replace custody challenge game with JABS
Replace the existing proof of custody game with a new game ("Justin's Awesome Bit Sum" or JABS) that works as follows:
* The data `D` is split up into 512-byte chunks `D[0] .... D[n-1]`, and use a mix function `mix(subkey, data) -> {0,1}` (currently the first bit of the hash of `subkey+data`). We calculate `M[i] = (mix(D[0]) + ... + mix(D[i-1])) % 2`, and set the custody bit to `M[n-1]`
* Anyone can challenge by providing the full `M` where `M[n-1]` is not equal to the custody bit
* Anyone can respond to a challenge by providing a specific position in `M` along with a branch of the data where `M[i-1] ^ mix(D[i]) != M[i]`
The maximum size of data is now `2**6` epochs * `2**6` blocks * `2**14` bytes = `2**26` bytes, so assuming 512-byte mix chunks the maximum mix size is `2**17` bits or `2**14` bytes. The average mix size is `2**8` bytes.
2019-03-28 22:56:43 +00:00
1082c68fef
Separate document for phase 1 custody game ( #818 )
...
The 1-round custody game has been implemented. Many bugs squashed, and a bunch of polishing done. Miscellaneous known issues (~8 of them) to be resolved in separate, smaller, PRs.
2019-03-28 22:54:39 +00:00
bad03ba554
Merge pull request #848 from wmpea/patch-1
...
Minor copyedits to 0_beacon-chain.md
2019-03-28 13:16:01 -06:00
66d5026ffe
minor copy edit
2019-03-28 13:15:38 -06:00
901478e148
Merge branch 'dev' into JustinDrake-patch-11
2019-03-28 12:14:13 -06:00
30e29324e9
Merge pull request #831 from ethereum/vbuterin-patch-3
...
Merge attestation verification logic
2019-03-28 11:33:34 -06:00
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
Hsiao-Wei Wang
vbuterin
Justin
Danny Ryan
William M Peaster
Sören Steiger
NIC Lin