Skip to content

Latest commit

 

History

History
38 lines (25 loc) · 1.48 KB

File metadata and controls

38 lines (25 loc) · 1.48 KB

formal verification


tl; dr


yul


  • yul (previously also called julia) is an intermediate statically-typed language that can be compiled to bytecode for different backends.
  • it's a good target for high-level optimisation stages, as it provides flexibility, speed, and interoperates easily with high-level solidity.
  • programs written in yul are readable even if the code is generated by a compiler from solidity.
  • because yul needs to be compiled to bytecode, it requires additional time to complete the entire compilation process, making it time-consuming during development.



external resources