O Aleo usa amortização aninhada para tornar as provas recursivas práticas. Em vez de executar novamente todas as transações em cada nó, os validadores verificam provas sucintas. Esta é a mudança da computação de mainframe para a computação pessoal para blockchains.