Aleo项目分析

[复制链接]
4762 |0
发表于 2022-11-17 15:01:06 | 显示全部楼层 |阅读模式
Aleo是什么
Aleo 是第一个完全私有化的应用程序的隐私公链平台。Aleo 使用区块链和零知识密码学来提供一种新的网络体验。使用 Aleo,开发人员即使不是区块链或密码学专家也可以编写私有应用程序。
区块链协议的一个持续性挑战在于:权衡隐私和可编程性。大多数区块链项目要么是以隐私为代价选择可编程性优先(以太坊),要么是牺牲可编程性来满足隐私要求(匿名币)。迄今为止,没有任何项目可兼顾可编程性和隐私性。兼顾可编程性和隐私性是Aleo最大的创新。
以eth为代表的公链具有去中心化和公开透明等特点,但公开透明、数据可验证,那在交互的过程中,就极有可能被追踪到真实身份。自己的财产以及信息隐私很有可能泄露。而以XMR、Zcash为代表的匿名币,只针对的是身份信息,无法扩展应用到智能合约上,不能解决智能合约的隐私问题。Aleo的技术解决了扩展使用零知识技术构建的应用程序的关键问题,使任何开发人员或组织都能够构建和扩展真正私有的应用程序。
Aleo目前研发成果
Aleo为编写零知识应用程序提供了业界领先的基础设施和工具。
编程语言:Leo,基于Aleo直观简单的编写隐私应用程序,提供的编程语言称为Leo。Leo看起来、用起来就像传统的编程语言。而在Leo的底层,比传统编程语言要复杂。Leo对底层的密码学概念进行了low-level抽象,使得其更易于与隐私应用程序集成。同时,Leo提供了high-level语法,使得更易于编写和直观表达零知识的相关逻辑。Leo语言受传统编程语言如JavaScript、Scala和Rust的启发,同时具有更强的可读性和可用性。

Aleo Studio IDE集成开发环境:为了加快开发周期,提供了Aleo Studio——第一个用于编写零知识应用程序的IDE。Aleo Studio是一个交互式开发环境,用于在Leo中编写零知识应用程序。类似golang语言的IDE goland。

607e59c0ea63486341207c3a_Leo Playground.png Aleo Package Manager:为了简化打包和分享工作,为Leo构建了一个包管理器。Aleo包管理器是第一个zero knowledge circuits的包管理器。Aleo包管理器与Aleo Studio集成,使得导入和发布新包变得很容易,而不必离开编辑器。
snarkOS :一个用于私有应用程序的去中心化操作系统,也是Aleo的挖矿程序。它构成了Aleo的支柱,并使应用程序能够以可公开验证的方式验证和存储状态。snarkOS 的多台机器/实例可以协调挖矿,只需在多台机器(不是同一台机器)上启动多个 snarkOS 实例并输入相同的矿工地址。目前,Aleo 未与任何其他矿池协议(如层)集成 。如有想实施,可以申请补助。
高安全性:Aleo的方案并不会牺牲安全性,零知识证明以密码学的方式保证程序的正确执行。与其他区块链和许多Layer 2 解决方案的”只提供了正确发生状态转换的加密经济保证不同的是,在Aleo中,一个proof表面程序要么运行正确,要么根本就没有运行,从而消除了用户或智能合约开发人员对额外信任假设的需要。通过将执行与状态分离,并通过shielded transactions只向区块链提交proofs,zkCloud帮助Aleo实现隐私、可编程、高性能网络的目标。
共识机制
Aleo采用PoSW(简洁⼯作证明)共识机制,它⽣成系统有效性证明,作为执⾏⼯作证明的有⽤副过程。验证将包含在给定块更新中的交易,同时确保底层证明计算仍然是一个时间锁定难题。PoSW 是比特币基于 SHA 难度调整算法的变体,主要区别在于底层计算不是任意的哈希函数,而是知识证明。这使得 PoSW 解决方案不仅可以充当 PoW 以确保系统共识,还可以验证给定区块中包含的交易。并假设存在诚实的大多数矿工(或证明者)。

代币经济模型
关于代币经济模型,官方团队回复细节尚未最终确定,但会尽快展示公开细节。
目前已知:
  • 初始供应量 10亿
2、其中 0.15亿(1.5%)用于激励矿工在测试网挖矿奖励
测试网testnet2 挖矿奖励细节分配规则
为了激励矿工参与测试网的挖矿测试,Aleo 将分配 15000000 Aleo 积分(代币),占初始供应量的 1.5%,以奖励 testnet2 上的矿工。
分配细节:
所有矿工分配:10000000 Aleo 积分(代币)
前 100 名矿工 5000000 Aleo 积分(代币)
激励测试网将运行十 (10) 周,从 2021 年 11 月 30 日开始,到 2022 年 2 月 8 日结束。在此期间结束时,矿工开采的区块数量对应的 Aleo 积分奖励将映射到主网上。
计算规则二次方挖矿奖励 (10000000 Aleo)
为了确保将 Aleo 积分公平分配给 testnet2 中的所有矿工,我们使用二次方公式来确定每个矿工对网络的贡献所获得的奖励。


不同数量区块的预期挖矿奖励挖出的区块数前100名矿工奖励(5000000 Aleo)
除了二次方挖矿,还奖励那些主动开发新硬件和软件在 testnet2 上挖矿的矿工。这包括那些开发矿池、专用硬件以及客户端和挖矿节点的新软件实现的人,这些实现超出了 Aleo 团队所做工作的性能和安全性。这些贡献不仅对 Aleo 网络的长期安全至关重要,而且这种参与形式也创造了一个现实的主网环境。因此,为了激励这些参与者,为在 testnet2 上挖出最多区块的前 100 名矿工提供特别奖品,并为顶级矿工提供 1,000,000 个 Aleo 积分的奖励。
具体分配如下:


前100名矿工奖励矿工奖励领取方式
激励测试网中的所有参与者必须证明其拥有矿工地址对应的帐户私钥的所有权,并在 10 周后完成KYC 合规流程,以便在主网上获得奖励。
领取挖矿奖励的流程:
1、证明声称的矿工地址的帐户私钥的所有权
2、完成 KYC合规流程
3、[对于美国和加拿大公民] 需证明作为合格投资者的身份
作为其中的一部分,我们强调对 Sybil 攻击网络的尝试不会导致额外的奖励或奖金支出。奖励是根据通过 KYC 的每一方而不是每个节点支付的。最终,作为法律和合规要求的一部分,Aleo 团队保留在奖励个人方面保持自由裁量权的权利。
美国和加拿大公民的披露:为了遵守美国和加拿大的法律法规,作为美国或加拿大方运营的矿工将被要求在从 testnet2 获得任何奖励之前证明其作为合格投资者的身份。尽管如此,请注意,Aleo 积分不应被视为“投资”——它们是在 Aleo 网络上进行交易的积分。
请记住:您必须同时保存您的 Aleo 帐户私钥和帐户查看密钥,以便在激励测试网中获得奖励。请将两者保存在安全的地方。
团队
Aleo的创始团队目前公开信息较少,可从Linkedin上得到相关资料,总体来讲创始团队相对年轻,除了学历背景相对不错,工作经历比较一般,称不上所谓的明星团队。
Howard Wu:
Michael Beller:
Collin Chin:
Raymond Chu:
挖矿
目前相对内卷,截至到发帖已经出块406439,每个区块奖励都是100积分,不同的区块高度抽查,奖励都是一样的。
投资机构
Aleo 在去年 4 月份完成 2800 万美元融资,由a16z 领投,其他投资方为 Placeholder VC、Galaxy Digital、Variant Fund、Coinbase Ventures、Polychain Capital、Slow Ventures、Dekrypt Capital、Scalar Capital、a_capital、zkValidator、Balaji Srinivasan 和 Ethereal Ventures 。机构阵容算不错,有a16z、Polychain、Coinbase几个大机构加持。
总结
Aleo 主打隐私安全 + 可编程(智能合约)概念,是行业的痛点和创新点所在。目前也有一些研发成果,虽然并不是非常完善。投资机构阵容还是不错,融资金额也令人满意。其中不确定性较强的是它的共识机制,PoSW还有待考察,它的多数诚实假设有些隐忧。团队并不是所谓的明星团队。

回复

使用道具 举报

您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

热门版块
快速回复 返回顶部 返回列表