GitHub repository: lambdaclass/aleo_lambda_vm
Primary language: Rust
Description: Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass