Manu is presenting the amazing findings we got with AMO-Lean to Ethereum people. We will be showing them in a new paper and blog post.