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