evm-asm

This is an evm assembler written in a dialect of Lisp called Scheme (Racket). I have chosen this language for it's s-exp parsing and MASSIVE pattern matching.

The original code comes from Harsh Vakharia.

The manOP.rkt code took me about 30 minutes to optimize .

This does not account for the time I spent reading the Ethereum yellow paper nor me asking people around.

The syntax is LLL-like, yet not really at the same time. You can either call this the 'evm assebmler' or just 'Ting' (my name).

I have always wanted to name a program with my name, it just feels funny.

Porting the assembly output of lllc to Ting is a bijective mapping.

See example.rkt and ETHSwap.lll.asm

Info

• manOP1.rkt is optimization with (selfdestruct)
• example1.rkt is a 1-to-1 mapping of LLL contract with (selfdestruct)
• example.rkt is a 1-to-1 mapping of the original LLL contract
• manOP.rkt is optimization of the original LLL contract

TO-DO

• Make a full-fledged assembler instead of providing a function.
• Rename evm-assemble to something more sensible.
• Make it actually return something other than (void).
• Add benchmark for expire.

Install

Install the latest version of drracket from your package manager or here (this text here is to make the link longer).

Run

To run the example file, do

racket example.rkt

How good is it?

• Solidity (reference):
  • Bytesize: 796
  • Gas cost used to deploy: 301615
  • Gas cost used to call claim: 32145
• LLL:
  • Bytesize: 226 (3.52x reduction)
  • Gas cost used to deploy: 182311 (119304 less; 1.65x reduction)
  • Gas cost used to call claim: 32152 (7 more)
• My thingy:
  • Bytesize: 151 (5.27x reduction)
  • Gas cost used to deploy: 165205 (135393 less; 1.81x reduction)
  • Gas cost used to call claim: 31856 (289 less)