在本文中，我将深入概述Aleo的工作原理，也就是说，我将详细介绍我们创建的独特的存储模式(称为“记录模式”)，它的相关优缺点，以及它为真正强大的扩展让路的独特方式。
存储模型-快速比较
为了让新模型更容易理解，我们先把它和当今最流行的两种存储模型做个比较，这两种模型分别是UTXOs(比特币)和账户模型(以太坊)。因为记录模型是这两者的混合体，所以在深入研究它们之前，重温一下这两者可能会有所帮助。
比特币(UTXO)
UTXO模型是表达比特币所有权的原始存储范式。从一个非常高的角度来看，它是如何工作的，BTC数量本质上就像一捆磁铁。当你接收到一定量的BTC时，它作为一个单一的物体来到你面前；假设你从某人那里收到2 BTC，这2 BTC作为2 BTC的单个块存储在你的钱包中，如果你想汇任何金额的钱给任何人，你可以使用这个2 BTC块作为交易的输入。
在一个事务中，这个块然后被“分割”成它的所有输出。比如说，你想给一个朋友寄0.5块BTC——这2块BTC然后被分成0.5块BTC和1.5块BTC(当然减去一小笔费用)。0.5块BTC寄给你朋友，1.5块BTC会寄给你。现在你们每个人的钱包里都有一个BTC，但是数量不同。
自然，当你开始接受更多的交易时，你会在你的钱包中建立多个区块。假设你收到了1.2、0.6和0.8 BTC的交易，你正试图交易2.6 BTC(全部金额)。然后，事务将这3个块作为输入，并将它们放在一起(就像磁铁一样！)为您的收件人创建输出。
在这种模式下，币的归属非常清晰，资源非常有形。通过参与交易，你只是交换了你日积月累获得的点点滴滴。很容易看出钱是从哪里来的，以及它是如何随时间变化的。
以太坊(账户模型)
区块链存储模型的第二大创新是帐户模型消除了UTXO模型中的碎片。相反，任何类型的特定帐户数据都存储在一个单一的存储结构中。在区块链本地货币的情况下，这有一个很好的效果，即任何数量的货币总是占用相同数量的存储空间，因为一条信息只是随着时间的推移而增加或减少，而不是移动单独的数据比特。
该帐户存储包含用户持有的ETH的数量，以及一个特殊的数字，该数字随着每次发送的交易而递增。这用于避免双重消费攻击(也称为“nonce”)。然而，它可以包含更多的内容。以太坊账户可以容纳任意数量的字节码和存储，这对智能合约功能至关重要——这就是以太坊网络如何促进执行，以及它如何创新了世界上第一个链上执行模型。
地址可以保存描述智能协定功能的任意数量的代码，并包含与该智能协定相关联的存储blob。重要的区别是所有的契约字节码和数据都保存在同一个地址。无论有多少人与它互动，所有的分数都保存在这个智能合同地址上。所有数据都是这个合同地址的中心，这与比特币存储模式非常不同，在比特币存储模式中，信息在不同账户之间流动时会被分割并重新组合在一起。
Aleo(记录模型)
然后是Record模式，它旨在结合两个世界的优点。它由Aleo首创，通过允许以太坊的可编程性和利用比特币中的状态碎片，带来了一些新的东西。
对于Aleo中的智能合约，合约字节码实际上是整体存储的——这是有道理的，因为您不能将一段代码分割。然而，它与以太坊的区别在于，属于与它交互的账户的状态比特实际上存储在账户本身中。因此，用户对特定智能合约的数据拥有有效的所有权。
这些数据就是我们所说的“记录”，可以包含任意数量的数据。有点像我们在比特币中看到的utxo！然而，这些记录中的数据可以被突变、增加、减少等来反映状态的变化，就像以太坊中的状态变化一样。
一个很好的思考方式是将以太坊的可编程性与比特币中的utxo的有形资源概念完美结合。此外，在Aleo中，这些记录可以被加密，因此可以保存私人信息，通过协议级支持处理加密数据，使用户和开发人员更容易使用、推理和表达。
这里要做的另一个重要区别是，记录实际上不像utxo那样传递。这就是为什么我们认为它是utxo和Account模型之间的混合模型。特定于帐户的状态以碎片的方式存储，但会相应地发生突变，并且从不传递。
这对我们意味着什么?
实际上，相当多!这种独特的存储模式乍一看可能有点不直观——既然已经有一个完全可行的模型，但没有它，我们为什么还要这样分割数据呢?这个范式的一个很好的特性是，单个状态不再以以太坊模型中相同的方式相互关联，相反，所有状态都打包在一起，突变需要逐步发生，否则可能会出现竞争条件。
这导致的结果是，现在可以并发地访问状态，只要块内没有冲突的读/写访问尝试。因此，由于状态不再是单一的，所以可以并行执行，证明者可以根据上下文推断哪些事务是不冲突的。这为Aleo网络的吞吐量带来了奇迹。随着连续的、冗余的执行不再存在；我们现在可以充分利用(专门的)硬件，通过委托链下执行和并行执行，来缓解吞吐量瓶颈。
但是等等，还有更多！向无限用户扩展…
认真来说，通过在Aleo区块链中利用存储记录模型，我们已经可以在伸缩方面完成相当多的工作。只要不产生状态访问冲突，执行就可以并行化。此外，不需要重复执行，因为“证明者”将在链下运行程序，并简单地在链上上传状态差异和有效性证明，这使得运行昂贵的dApps更加经济。
但我们可以更进一步，这将开始让人想起以太坊目前用于伸缩的模型——汇总。应用程序可以选择对用户的事务进行排序，并在一定时间内收集它们。之后，可以将它们组合并捆绑到单个事务中。和解将周期性地发生，几乎不需要花费(因为突变被捆绑在一起)，并且只产生单个状态差异和有效性证明。有趣的是，Aleo允许特定于应用程序的集合，而不需要启动额外的区块链或照顾任何多余的基础设施，如桥接。从本质上说，它获得了所有的扩展收益，而没有与汇总相关的固有风险。
