Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass - View it on GitHub