STARK-based virtual machine - For Lambdaworks Prover - View it on GitHub