GitHub repository: lambdaclass/miden-vm
Description: STARK-based virtual machine - For Lambdaworks Prover