AquaVM interprets AIR – a π-calculus-derived set of instructions that the Aqua language compiles to - View it on GitHub