Ethereum 2.0 Specifications
Go to file
Justin 67d2585ec0
Fix #1173
The bug is that it's possible to include a participating validator which has custody bit one *without* specifying that validator in `attestation.aggregation_bitfield`. In other words, we want to check that every bit in `custody_bitfield` is zero whenever the corresponding bit in `aggregation_bitfield` is zero. Well spotted @protolambda
2019-06-13 21:01:10 +01:00
.circleci fix 2019-06-07 23:01:10 -04:00
configs BLS withdrawal byte is formatted as int now, but still one byte. Justin changed spec, now fix tests + configs 2019-06-11 17:27:34 +02:00
deposit_contract Bypass Vyper compiler bug 2019-06-11 19:03:26 +01:00
scripts Apply suggestions from @djrtwo's code review 2019-06-05 21:49:30 +02:00
specs Fix #1173 2019-06-13 21:01:10 +01:00
test_generators fix shuffling generator 2019-06-11 18:34:49 +02:00
test_libs Merge pull request #1165 from ethereum/phase-generators 2019-06-11 16:48:18 -06:00
.gitignore Implements parameterised phase1 tests 2019-05-16 12:10:08 +02:00
LICENSE CC0 1.0 Universal for repo 2019-03-12 11:59:08 +00:00
Makefile improve makefile: declare new targets as non-file 2019-06-08 13:30:47 +02:00
README.md Merge pull request #1069 from sigp/bn-vc-api-rfc 2019-05-28 16:07:51 -06:00

README.md

Ethereum 2.0 Specifications

Join the chat at https://gitter.im/ethereum/sharding

To learn more about sharding and Ethereum 2.0 (Serenity), see the sharding FAQ and the research compendium.

This repository hosts the current Eth 2.0 specifications. Discussions about design rationale and proposed changes can be brought up and discussed as issues. Solidified, agreed-upon changes to the spec can be made through pull requests.

Specs

Core specifications for Eth 2.0 client validation can be found in specs/core. These are divided into phases. Each subsequent phase depends upon the prior. The current phases specified are:

Phase 0

Phase 1

Accompanying documents can be found in specs and include:

Design goals

The following are the broad design goals for Ethereum 2.0:

  • to minimize complexity, even at the cost of some losses in efficiency
  • to remain live through major network partitions and when very large portions of nodes go offline
  • to select all components such that they are either quantum secure or can be easily swapped out for quantum secure counterparts when available
  • to utilize crypto and design techniques that allow for a large participation of validators in total and per unit time
  • to allow for a typical consumer laptop with O(C) resources to process/validate O(1) shards (including any system level validation such as the beacon chain)

For spec contributors

Documentation on the different components used during spec writing can be found here: