Thesis Writing Tips
a lot of the brand new tasks are on a successor to Elle called Gazelle (nevertheless at a really very very early phase) that is designed to create an even more flexible system, using the lessons learned from building Elle.
Objectives of Gazelle range from the after (in approximate order of concern, even though this is at the mercy of change):
- Incorporating support that is new higher-level languages with bigger individual bases in comparison 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. Read the rest of this entry »