Aleo utiliza a amortização aninhada para tornar as provas recursivas práticas. Em vez de reexecutar cada transação em cada nó, os validadores verificam provas sucintas. Esta é a mudança da computação em mainframe para a computação pessoal nas blockchains.