Aleo使用嵌套摊销使递归证明变得实用。 验证者验证简洁的证明，而不是在每个节点上重新执行每笔交易。 这是区块链从大型计算机计算转向个人计算的转变。