GitHub repository: AleoHQ/snarkVM
Description: A Virtual Machine for Zero-Knowledge Executions