Mana-Ethereum

Mana-Ethereum is an open-source Ethereum blockchain client built using Elixir. Elixir runs on the Erlang Virtual Machine, which is used for distributed systems and offers massive scalability and high visibility. These properties make Elixir a perfect candidate for blockchain network development.

In the current Ethereum ecosystem, a majority of active nodes on the network are Geth or Parity nodes. Mana-Ethereum provides an additional open-source alternative. Our aim is to create an open, well-documented implementation that closely matches the protocols described in the Ethereum yellow paper.

Mana-Ethereum is currently in development. See the Project Status and Project FAQs for more information.

Dependencies

Elixir ~> 1.7.4

Installation

Clone repo with submodules (to access the Ethereum common tests)

git clone --recurse-submodules https://github.com/mana-ethereum/mana.git

Go to the mana subdirectory cd mana
Run bin/setup

Running a node

Peer-to-peer communication is currently in development. A command-line interface is available for chain syncing.

Sync From RPC Client

To sync a chain from an RPC Client (e.g. Infura) or a local client, run the following command:

mix sync --chain ropsten

You can sign up for an Infura API key here. This will ensure your requests are not throttled.

mix sync --chain ropsten --provider-url https://ropsten.infura.io/v3/<api_key>

Alternatively, you can sync via IPC to a local node (like Parity or Geth running locally):

mix sync --chain ropsten --provider-url ipc://~/Library/Application\ Support/io.parity.ethereum/jsonrpc.ipc

Once syncing begins you will see a timestamp and a running list of verified blocks.

Releases

To build a release, run: mix release, which will build a release in _build/dev/rel/mana/bin/mana.

Then you can run:

_build/dev/rel/mana/bin/mana run --no-discovery --bootnodes enode://...

which will start a DevP2P sync with a local peer.

Known Sync Issues

Updated Nov-21-2018

We've restarted mainnet syncing, previous sync reached block 2469002 before we paused to investigate slow BALANCE calls #610.
Ropsten sync is in progress, current block is ~ 3_670_000 - Jul-19-2018

Helpful debugging tools

When debugging block verification failures, we have found etherscan tools extrememly helpful. Take block 177610 for example:

We can look at the block information, and dive into the transaction information. From that page, the "Tools & Utilities" dropdown provides useful debugging tools. Two of the most valuable are Geth DebugTrace and Remix Debugger.

Geth DebugTrace allows us to compare each operation and its gas consumption against our implementation.
Remix Debugger allows us to compare the stack against our implementation's stack for each cycle of the virtual machine.

NOTE: for the Remix Debugger, you may want to add the block number at the top before pressing the play button.

To log the operation, gas consumption, and stack in our application, please see the EVM README example setup.

Testing

Run:

mix test --exclude network

Tests tagged with network integrate with other nodes and cannot run unless another node is running in parallel. Use the --exclude network flag to exclude these tests.

If you want to only run Ethereum common tests, we currently have:

# Ethereum Virtual Machine tests
cd apps/evm && mix test test/evm_test.exs

# Ethereum Blockchain tests
cd apps/blockchain && mix test test/blockchain_test.exs

# Ethereum General State tests
cd apps/blockchain && mix test test/blockchain/state_test.exs

# Ethereum Transaction tests
cd apps/blockchain && mix test test/blockchain/transaction_test.exs

Test Status

Ethereum common tests are created for all clients to test against. See the common test documentation for more information.

VMTests = 100% passing

Hardfork	BlockchainTests passing	GeneralStateTests passing	Complete?
Frontier	100% (1328/1328)	100% (1041/1041)	✓
Homestead	100% (2211/2211)	100% (2069/2069)	✓
HomesteadToDaoAt5	100% (4/4)	N/A	✓
TangerineWhistle	100% (1270/1270)	100% (1120/1120)	✓
SpuriousDragon	100% (1201/1201)	100% (1180/1180)	✓
Byzantium	100% (4954/4954)	100% (4800/4800)	✓
Constantinople	100% (10594/10594)	100% (10559/10559)	✓

View the community Constantinople Project Tracker.

Updating Common Tests

The Ethereum common tests are in a submodule. To update:

% cd ethereum_common_tests
% git checkout develop
% git pull

Project Status

Functionality	Status
Encoding and Hashing	The RLP encoding protocol and the Merkle Patricia Tree data structure are fully implemented.
Ethereum Virtual Machine	Our EVM currently passes 100% of the common VM tests. We are refining our implementation to address subtle differences between our EVM and other implementations.
Peer to Peer Networking	Currently we can connect to one of the Ethereum bootnodes, get a list of peers, and add them to a list of known peers. We have fully implemented the modified kademlia DHT. We can also successfully perform the encrypted handshake with peer nodes and derive secrets to frame the rest of the messages. We are currently configuring ExWire to work against a local Geth/Parity node.
DEVp2p Protocol and Ethereum Wire Protocol	We are in the process of addressing networking layer issues. Progress is being tracked in Issue #407.

Documentation

To view module and reference documentation:

Generate documentation. mix docs
View the generated docs. open doc/index.html

License

Licensed under either of:

Apache License, Version 2.0, (LICENSE_APACHE or http://www.apache.org/licenses/LICENSE-2.0)
MIT license (LICENSE_MIT or http://opensource.org/licenses/MIT)

at your option.

Contributing

See the CONTRIBUTING document for contribution, testing and pull request protocol.

Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions.

References

Ethereum yellow paper: Ethereum: A Secure Decentralised Generalised Transaction Ledger Byzantium Version
Message Calls in Ethereum

andogro/mana