Aleo开发者不能错过的三件事

Aleo已于2022年8月1日启动激励性测试网三，预计主网2022年12月份上线。

根据官方发布的规划，Testnet 3 分为 3 个阶段开展，每个阶段持续1-2个月。8 月 1 日开始的第一阶段主要是供开发者开发，部署，执行应用程序。第二阶段矿工（provers）可以入场，第三阶段验证者可以入场。

本文将从开发者的角度来看，简要介绍关于Aleo程序开发的三个核心概念，以帮助开发者社区更好地掌握Aleo。

01）Leo：零知识证明的编程语言

Leo及其编译的Aleo指令都是Aleo智能合约的一部分，Solidity和其他几十种链式编程语言也是如此，它们是链上交易和dApp开发的工具。

但是，Aleo的不同之处在于它的编程语言是基于zksnark的，这是一个零知识证明的解决方案。通过将“智能合约执行”封装成一个同态加密多项式，可以验证这个多项式的结果来判断交易是否可信，从而实现真正的隐私计算和隐私交易。下图描述了确切的操作方法。

另一个缺点是离线证明生成需要更高的设备性能，因此智能手机等低性能设备在生成证明时可能会非常慢。当然，Aleo有一个解决方案——低性能设备可以通过委托证明者来生成证明，但这是有代价的——为了方便会牺牲你的一些隐私。使用completion关键字，可以在链上部分执行应用程序。

Aleo的模型与以太坊和比特币的区别在于，以太坊采用基于账户的方式，而比特币采用UTXO(未使用交易输出)模型。Aleo的ZEXE交易方法论在某些方面类似于比特币。在ZEXE模型中，有一个重要的概念叫做记录，它存储着智能合约数据。在ZEXE范式中，每个事务对应至少一个记录。

1. 主记录的所有者，即用户的公钥地址。
2. 盖茨，记录持有的Aleo数量。
3. 数据，存在于记录中，属于程序的可定制地图存储数据。开发人员可以在这个值中存储他们自己定义的数据类型。
4. 现在，随机性，这是防止重复消费记录的标识符。

下面是Aleo指令如何定义记录：

最近Aleo指令也推出了新的关键字drawing。这个关键字目前专门用于链上执行，也就是说，它只能用于前面描述的用finalize关键字声明的函数中。

我们大多数人可能都听说过虚拟机(VM)分为两类，基于堆栈的VM和基于寄存器的VM。众所周知的JVM和EVM是基于栈的VM，而lua是基于寄存器的VM。Aleo的snarkVM目前的实现也是基于栈的虚拟机。

像DFS树结构一样，根节点处的堆栈是我们的初始程序，而沿着树向下延伸的分支是外部引用的程序堆栈。