a lot of the brand new tasks are for a successor to Elle called Gazelle (nevertheless at a really early phase) that is designed to build a far more flexible system, benefiting from the classes learned from building Elle.
Objectives of Gazelle are the after (in approximate purchase of concern, even though this is at the mercy of modification):
- Including support that is new higher-level languages with larger user bases when compared with LLL, such as for example Vyper.
- More thorough proofs of correctness regarding the frontends supporting these languages that are high-level.
- Integration aided by the K Semantics Framework and its own concept of EVM.
- Supporting switch instruction machines that are sets/virtual such as for instance eWASM.
In addition to these objectives for the compiler it self, you want to build system logics together with it. They are tools that leverage Elle/Gazelle’s formal semantics make it possible for (more) convenient reasoning for doing proofs at the source-code degree. (المزيد…)