基于零知识证明的隐私公链

创始人为Howard Wu，网上查到的资料他在加州伯克利大学（$ROSE的主要团队也出自伯克利大学），应该是有很强的学术背景

看看他的github主页，可以看出他一直在积极地贡献代码

2021年4月20日，2800w美金，投资机构包括a16z，coinbase venture，ploychain capital等，阵容豪华

之前项目主要发力在技术开发上面，目前的成果主要是：

专为零知识证明设计的函数式编程语言leo（粗看上去跟JavaScript好像有点像，如果如此学习成本应该不高）

专为aleo设计的IDE：AleoStudio（，且已经上线了在线版，可以在线使用

测试网上线

由此可见至少看上去开发生态已经成熟了

隐私公链赛道，有rose，nym，secret等，其中aleo与目前的龙头rose创始人均出自伯克利

aleo与他们的技术路线不太一样，aleo基于零知识证明，rose和secret基于可信执行环境（TEE）

同样基于零知识证明的隐私链有Aztec，但目前看来aleo的技术与开发生态都要比后者强很多

经济模型是持续通胀的，具体如下：

代币分配如下：

代币经济学详情：Aleo Blog | Aleo Token Economics | Where Applications Become Private

从2021年12月初开始启动第二轮测试网100天直到2022年2月16日，参与测试网挖矿可以获得积分，积分在主网上线之后可以获得代币

用积分换代币需要kyc，每个kyc（而不是每个地址或节点）的奖励按照以下公式计算：

miner_reward := 500 + 10 * floor(sqrt(number_of_blocks))，其中number_of_blocks是挖出的区块数量

挖矿是工作量证明机制，所以需要跟其它节点竞争算力，就目前的算力情况普通服务器已经没有可能能够挖出矿了，只能多台服务器组成矿池一起挖才有可能出块

挖矿奖励为初始代币总量的1.5%，即15m枚，分成两份，其中10m枚分给所有挖出块的人，5m枚按照一定规则分给挖出块数量前100的人

挖出快的基础积分是500，之后由于是平方根增长，所以积分增长速度随着挖出块的数量增多而变小，这种经济模型是项目方用来鼓励算力的更去中心化

所以理论上最优的挖矿方式是尽可能多地收集kyc，然后把所有算力集中到一起直到出一个块，之后放弃原地址，用新地址重新挖，最后每个地址用做一个kyc。但是这种方式如果被发现有可能会被项目方判为作弊而取消兑换代币的资格

稳当的方式是参与一个矿池，与矿池的其它算力共享收益。此方式收益可能会偏低。其中一个可参与的矿池为：https://github.com/HarukaMa/aleo-testnet2-pool

挖矿的其它风险是，最后有可能kyc过不了。虽然目前并没有明确说明不能用中国kyc，而且项目创始人也是华人，不能用中国kyc的可能性应该不高

测试网挖矿的详情链接：Aleo Blog | Incentivized Testnet Announcement | Where Applications Become Private

我们用同为a16z投资的goldfinch作为市值参照物，上币时市值大概是100m美元，那么预估aleo初始价格大概为100m / 1b = 0.1美金

按照现在测试网挖矿排行榜的数据，榜上总共1308人，其中挖出块数大于3块的只有248人，第100名挖出块数为25个，前五名分别为56754、20723、13698、12475、6355个，非常粗略地估计一下到结束测试挖矿时总积分可能为60w

挖到一个块时为510分，那么估算下来收益为差不多1000美金左右。如果参与矿池的话收益可能还会更低。这个收益相对于服务器成本可能并没有太大的利润。如果估计的误差比较大，比如在实际收益在1w美金以上，这收益还算不错。

按照项目现阶段开发出来的产品来看，将来aleo有可能成为一个零知识证明的通用平台，这个目标非常具有想象空间

创始人技术实力非常强，投资阵营非常豪华

零知识证明这个技术路线本身还有一些问题等待将来去解决，如果不能解决将会限制其本身的性能和效率

面临着其他隐私公链的竞争

a16z对于aleo的报告：Investing in Aleo | Andreessen Horowitz (a16z.com)