What is Algorand going to use for its execution environment? I understand from this previous topic that smart contracts are maybe not developed quite yet but on the roadmap… will they be compiled down to WASM and executed in a stack-based VM? Will they use the LLVM and leverage parallelization? Is there any documentation or are there any proposals out there I could read?
