AleoVM language.
We provide a formalization of the AleoVM language. This formalization is work in progress.