IMDEA Software

Iniciativa IMDEA

Inicio > Eventos > Charlas Invitadas > 2019 > Blockchain Superoptimizer
Esta página aún no ha sido traducida. A continuación se muestra la página en inglés.

Maria Schett

miércoles 10 de abril de 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.