Formally Verified EVM Block-Optimizations | Publicación