Aleo använder kapslad amortering för att göra rekursiva bevis praktiska. I stället för att utföra varje transaktion på varje nod på nytt, verifierar validerare kortfattade bevis. Detta är övergången från stordatorer till persondatorer för blockkedjor.