/evm2wasm

Transcompiles EVM code to eWASM

Primary LanguageWebAssemblyMozilla Public License 2.0MPL-2.0

SYNOPSIS

NPM Package Build Status

js-standard-style

EVM (Ethereum VM 1.0) to eWASM transcompiler. Here is a online frontend.

INSTALL

npm install evm2wasm

DEVELOP

  • After any changes to .wast file, npm run build need to be run to compile the files into a .json file
  • To rebuild the documetion run npm run build:docs
  • To lint run npm run lint
  • And make sure you test with npm test and npm run vmTests which runs the offical Ethereum test suite

API

./docs/

TECHINCAL NOTES

EVM is stack based and offers access to memory, storage and state via special instructions.
Here we replicate the stack layout in WebAssembly and implement each operation working on this stack.

OPCODES

Every opcode (bar some special instructions) receives the current stack pointer ($sp) as i32 and must return the adjusted stack pointer.

STACK LAYOUT

The stack grows from memory location 0, where 256 bit values are stored linearly in LSB byteorder.
The $sp points to the starting position of the top stack entry (and not the next free stack position). If the stack is empty, it is set to -32.

MEMORY LAYOUT

The eWASM contract memory layout is currently as follows:

.---------------------------------------------------
| eWASM memory starts here
+---------------------------------------------------
| Reserved space for the stack (32768 bytes)
| - each stack entry is 256 bit
| - the stack is limited to 1024 entries
+---------------------------------------------------
| Word count (4 bytes)
| (Number of 256 bit words stored in memory)
+---------------------------------------------------
| Previous memory cost in word count (4 bytes)
| (The cost charged for the last memory allocation)
+---------------------------------------------------
| Scratch space (32 bytes)
+---------------------------------------------------
| Reserved space for the SHA3 context (1024 bytes)
+---------------------------------------------------
| Contract memory starts here ("unlimited" in size)
`---------------------------------------------------

METERING

The generated eWASM contract contains gas metering. It is assumed evm2wasm will become a deployed trusted contract, which returns eWASM code that does not need to be run through the gas injector contract.

LICENSE

MPL-2.0