Consulta las notas de la reunión / presentación de Berlinterop sobre lean @ethereum aquí: