Aleo 使用嵌套攤銷來使遞歸證明變得實用。 驗證者不是在每個節點上重新執行每一筆交易，而是驗證簡潔的證明。 這是區塊鏈從大型主機計算轉向個人計算的轉變。