Aleo utiliza la amortización anidada para hacer que las pruebas recursivas sean prácticas. En lugar de volver a ejecutar cada transacción en cada nodo, los validadores verifican pruebas sucintas. Este es el cambio de la computación central a la computación personal para blockchains.