Veja as notas da reunião / apresentação do Berlinterop sobre lean @ethereum aqui: