IMDEA Software

IMDEA initiative

Home > Events > Invited Talks > 2019 > Blockchain Superoptimizer

Maria Schett

Wednesday, April 10, 2019

10:45am Meeting room 302 (Mountain View), level 3

Maria Schett, PhD Student, University College London, United Kingdom

Blockchain Superoptimizer


Etherum smart contracts written in higher level programming languages like Solidity or Viper are compiled to bytecode, which is executed by the Ethereum Virtual Machine (EVM). Any instruction executed on the EVM has a monetary cost.

In this talk, I present our tool that automatically optimizes EVM bytecode. Our EVM Bytecode SuperOptimizer “<ahref=“">ebso” implements (unbounded) superoptimization, which relies on an SMT solver to guarantee correctness of the transformation. We then perform a large scale evaluation of ebso on contracts deployed on the Etherum Blockchain.

This is joint work by Julian Nagele and <ahref=“">Maria A Schett.