Aleo menggunakan amortisasi bersarang untuk membuat bukti rekursif praktis. Alih-alih mengeksekusi ulang setiap transaksi di setiap node, validator memverifikasi bukti ringkas. Ini adalah pergeseran dari komputasi mainframe ke komputasi pribadi untuk blockchain.