Aleo wykorzystuje zagnieżdżoną amortyzację, aby uczynić dowody rekurencyjne praktycznymi. Zamiast ponownie wykonywać każdą transakcję na każdym węźle, walidatorzy weryfikują zwięzłe dowody. To jest zmiana od obliczeń mainframe do obliczeń osobistych w przypadku blockchainów.