nimbus-eth1/doc/Nimbus - An Ethereum 2.0 Sh...

21 KiB
Raw Permalink Blame History

Nimbus: an Ethereum 2.0 Sharding Client

Overview

Nimbus aims to be a sharding client implementation for the Ethereum Blockchain Application Platform. Because the largest deployment of Ethereum will potentially be on embedded systems, Nimbus will be designed to perform well on IoT and personal mobile devices, including older smartphones with resource-restricted hardware. The extensible, configurable, and modular design of Nimbus will make it production ready for Web 3.0 and will ensure that it can be supported and maintained across all goals of Ethereum 2.0.

Goals

  1. Create an Ethereum implementation suitable for resource-restricted devices.

  2. Create an implementation team for the Applied Research Objectives of Ethereum Research (aka Ethereum Asia Pacific Limited), with focus on the following:

    a. Proof of Stake (PoS)

    b. Sharding

    c. Stateless Clients

    d. LES2

    e. eWASM

  3. Close the gap between research modeling and production.

  4. Pledge to participate in, help implement, and conform to the Ethereum Improvement Proposal.

  5. Implement permissive licensing.

  6. Focus on production-ready Web 3.0 Stack (Whisper, PSS, and Swarm) and its ongoing research and development.

  7. Focus on marketing and promotion to address community concerns on scalability and to bolster Ethereums dominant mindshare.

Requirements

Nim

Nim is an efficient, general-purpose systems programming language with a Python-like syntax that compiles to C. Nim will allow us to implement Ethereum rapidly and to take advantage of the mature C-language tooling: in compilation of machine code, and in the analysis of static code.

With Ethereum research currently modeled in Python, the end result of implementing in Nim should be code that

  1. Enables us to easily bring research into production
  2. Has a high degree of reasonability for researchers
  3. Is performant in production

The core contributors and Nim community have been very supportive and enthusiastic for the project.

Development on Embedded Systems

We believe that the largest successful deployment of Ethereum will reside on embedded systems: IoT devices and mobile personal devices, such as smartphones. Although Nimbus will support archival nodes, its first implementation will be as a light client, with focus on Proof of Stake and sharding.

Existing implementations of Ethereum have focused on desktop computers and servers. These implementations have played a major role in the initial success of Ethereum, and they are suitable for full and archival nodes. However, their deployment onto embedded systems has been an afterthought.

In addition, throughout the development of Status, we have found that the dominant Ethereum implementations, Geth and Parity, are unsuitable for our target platform unless they are profiled and optimised (in progress).

During the deployment of Status among 40,000 alpha testers, we found that a significant portion (23.6%) of users were still running old mobile devices. In addition, recently discovered Spectre vulnerabilities have led to an increase in the demand for open processors. For these reasons, we propose a self-imposed constraint and a requirement that Status perform well on the following:

  1. 2014 SoC architectures, such as the Cortex-A53 (Samsung Note 4 & Raspberry Pi 3) and the Apple A8 (iPhone 6)

  2. MIPS-based architectures, such as the Onion Omega2

  3. Open-source processors, such as RISC-V

When the 2020 scalability goal is fully realised, this constraint will help ensure that Ethereum runs performantly on resource-restricted hardware that is at least 6 years old.

Extensible, Configurable, and Modular Design

The application architecture should have modular abstractions for the following:

  1. Networking layer

  2. Sub-protocols

  3. Consensus

  4. Privacy

  5. Database

  6. Virtual Machine

In addition, the implementation must pass the common tests for all Ethereum implementations.

Commitment to Ethereum Improvement Proposals (EIP)

Nimbus is committed to open standards and to maintaining consensus with other Ethereum-compliant implementations. The development of Nimbus and the changes in its protocols will follow the EIP process.

User Experience

Access to shards and mainchain state should be fast and responsive, the application binary should be lightweight in terms of the resources used, and the client should be dependable and robust against crashes.

Licensing: MIT, Apache v2.0, or Both

We propose that Nimbus be licensed under Apache 2.0 and MIT. A permissive licensing structure with patent protection would

  1. Ensure the compatibility with GPL 2.0 and LGPL 2.0
  2. Extend the reach of the Ethereum platform
  3. Foster the highest degree of adoption by governments and enterprise

One unsolved hurdle faced by Status is the LGPLv3 license, whose requirement for runtime linking is incompatible with major mobile app distribution channels, such as the App Store of Apple Inc.

Numerous requests for a static-linking exception have gone unanswered. This has blocked the deployment of any legally sound, full Ethereum client on popular channels for distribution of mobile devices. LGPL also prevents the adoption of Ethereum on closed hardware platforms, such as XBox. Still, we remain optimistic this issue will be rectified.

Biweekly Development Reports, Technical Writing, and Promotion

In addition to the implementation, Nimbus will have a biweekly process for reporting development-related updates. A technical writer will document implementation efforts and translate ongoing research discussions into articles easily understood by the community.

Within the community at large, we will promote Ethereum as the leader of scalable public blockchains.

Bounty-Based Development

To entice the community to accelerate the development, we will attach bounties to and publish the tasks that can be self-contained and defined clearly.

Milestones

Timelines are approximate and affected by research, implementation considerations, and revisions made while the team produces a detailed implementation timeline.

Formation of the Team, and Detailed Project Implementation Timeline

January - February 2018

Completed:

  1. Form the initial team

  2. Define the projects scope, architecture, and implementation timelines

Goals:

  1. Hire core contributors:

    a. Five (5) full-time core contributors

    b. Up to five (5) part-time core contributors

    c. One (1) Technical Program Manager

    d. One (1) Technical Writer

    e. Up to ten (10) full-time core contributors by 2019 atom

  2. Create a detailed timeline for implementing the project as a deliverable

Compatibility with Ethereum 1.0

January - November 2018

As an initial goal, we will focus on implementing all components required for interoperability with the Ethereum ecosystem. We will publish these components as independently reusable modules and libraries.

However, before starting the implementation in Nim, we will develop an understanding of the existing implementations of Ethereum: Go Ethereum, Pyethereum, Py-EVM, and Parity.

The code will consist of independently reusable libraries that have the same permissive license as that of Nimbus itself:

  1. RLP encoding and decoding

  2. Handling of the state database and users key files

  3. Connecting to the Ethereum network

  4. Ethereum Patricia Trees

  5. RLPx sub-protocols

  6. Ethereum Ethash function

  7. Implementation of EVM

Goals:

  1. Nimbus is able to

    a. Sync with the latest blockchain, from scratch

    b. Accurately execute the entire transaction history

  2. The team is familiar with all codebases used to implement Ethereum.

  3. The team understands the main themes from ethresear.ch and actively participates in EIPs.

Sharding Phase 1

July - November 2018

While implementing compatibility with Ethereum 1.0, we will gain early experience with the complete setup of sharding. As a result:

  1. The client will implement the core features necessary for sharding phase 1.
  2. The team will actively participate in sharding-related EIPs.

Goal:

The architecture of Nimbus supports sharding nodes.

Auditing of Beta and Security

November 2018 - March 2019

An independent security partner will continuously perform a security audit on the Nimbus codebase. We will also adopt frequent reviews of code, testing with automated fuzzing frameworks, and other practices that enhance security. In addition, we will develop a Nim-optimized fuzzing framework and will release it for use by the community at large.

Goal:

Deliver a security-audited, production-ready client.

Implementation of Whisper and PSS

July - November 2018

We will set and advertise the bounties as soon as the P2P layer gets implemented. The core team will start working on this in July, unless already completed.

Goals:

  1. Make Nimbus the leading platform for conducting research into the scalability aspects of Whisper and PSS. We consider this a key requirement for implementing a fully decentralised Status messaging platform within the Ethereum network.
  2. Deliver easy-to-use APIs for conducting large-scale and small-scale experiments within the network.

Support for LES

July - November 2018

We will optimize the architecture of Nimbus for implementing the LES protocol. We will also optimize all internal state-handling operations such that they work efficiently and asynchronously. This will enable on-demand fetching of data from the network. This will also ensure that Nimbus runs with a high degree of concurrency and that the client UI is responsive.

Goals:

  1. Enable a Light Mode switch in Nimbus.
  2. Successfully operate Nimbus in a mobile environment, without relying on a proxy service.

Sharding Phase 2

November 2018 - July 2019

We will focus on achieving compatibility with all other clients. In addition, we will implement an eWASM runtime and will add Nim as one of the languages that can target the new VM.

Goals:

Implement the following in Nim:

  1. CLI tools and APIs for running Phase 2 nodes and for interacting with the Validator Manager Contract (VMC)
  2. The development tools that will target the eWASM runtime environment

Implementation of Casper

December 2018 - February 2019

The team will closely follow the development of Casper and will try to achieve and maintain compatibility with the existing Casper deployments.

Implementation of Swarm

January - July 2019

We will set and advertise the bounties as soon as the P2P layer gets implemented. The core team will start working on this in January, unless already completed.

Goals:

Implement the following:

  1. Ability to embed Nimbus into applications that deliver the complete Web 3.0 experience

  2. Support for the Ethereum Name Service

  3. Support for a virtual file-system interface for accessing web content published on SwarmSupport for a virtual file-system interface for accessing web content published on Swarm

  4. Reusable APIs for publishing and obtaining content from Swarm

Release of Sharding Phase 3

March - August 2019

We will leverage our LES-optimized architecture to deliver a fully stateless client optimized for mobile devices.

Goals:

Implement support for the following:

  1. Always-on operations on mobile devices, without disrupting the battery life or inducing significant bandwidth charges

  2. Running stateless executor nodes in deployments of headless servers

Ongoing Improvements in Sharding

August - December 2019

Goals:

  1. Become one of the leading production-ready sharding implementations in the Ethereum ecosystem.

  2. Take active part in the effort to specify the new programming models required for cross-shard interactions.

  3. Provide an ongoing research into the applicability and performance characteristics of all super-quadratic sharding designs in a mobile environment.

Etymology

A reference to:

  • A different kind of "dark cloud" computing
  • Spiritual symbolism of sanctity and holiness
  • Nim, the language it will be written in
  • A Bus in computing architecture

Ideas Considered for Implementation

  1. Create devp2p and an abstraction to allow for libp2p, Node Discovery, RLP encoding, Modified Patricia Merkle Tree, bigints, keccak256, and secp256k1.

  2. Create an abstraction that would allow sub-protocols: ETH, SHH, PSS, Swarm, LES, Stateless Clients, Sharding, Plasma, State Channels. For now, we can ignore all but LES and Sharding.

  3. DB: Most implementations of Ethereum use LevelDB. Parity has a DB abstraction and uses HashDB and RocksDB.

    RocksDB is an interesting choice, because it solves the issues that have troubled leveldb. Rocksdb also has a light version for mobile usage; it's in C++, which would be an issue only if we go for pure C.

  4. EVM: basic VM, eWASM (Hera is also in C++)

  5. IPC/RPC abstraction, external API methods that can be consumed by application bindings: react-native module, IPC, RPC HTTP server, or web sockets

  6. Encryption library is a little unclear. Libgcrypt has everything we need but might be problematic from the standpoint of LGPL licensing. If we have an abstraction for Libgcrypt, we could use it now and swap it out later for something more permissive.

    Alternatively, we could roll out our own library. However, implementing our own encryption would not be a great idea, and our version would have to be audited and tested. Suggestions are welcome.

  7. Monitor ethereum/py-evm. Connect with Chang-Wu Chen, Hsiao-Wei Wang, and anyone else working on sharding.

Resources

  1. Awesome Ethereum Virtual Machine

  2. Detailed introduction to the sharding proposal

  3. Sharding FAQ

  4. Ethereum 2.0: A presentation by Vitalik Buterin at BeyondBlock Taipei 2017

  5. The Stateless Client Concept

  6. A Modest Proposal for Ethereum 2.0: A presentation by Vitalik Buterin at devcon three

  7. Python Implementation of the EVM

  8. Discussion about sharding

  9. Discussion on Casper, scalability, abstraction and other low-level protocol research topics

  10. ethereum/py-evm

  11. Ethereum Sharding: Overview and Finality

  12. Sharding - Mind Map

  13. On Settlement Finality

  14. Casper contract and full POS

  15. Ethereum Casper 101

  16. ethersphere/swarm, Light mode of operation