Skip to content
This repository has been archived by the owner on Jun 2, 2024. It is now read-only.

Latest commit

History

History

Folders and files

NameName
Last commit message
Last commit date

parent directory

..

yul and formal verification


tl; dr


  • 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.




formal verification




external resources