2024年10月1日,在 Aleo 的官方 Blog 中发表了最新的文章——Aleo 的记录模型:构建更安全、更高效的区块链。
完整的中文翻译如下:
Aleo 基金会执行董事 Alex 对此展开详细评论,汇总如下:
在我看来,"记录模型 "是 @AleoHQ 的关键创新之一,也是 Aleo 能够提供安全保密的智能合约交互而其他智能合约区块链无法提供的核心原因。简短介绍
1. 以太坊等区块链使用与账户相关联的余额,类似于银行分类账,状态变化(交易)直接修改账户余额和合约状态。
2. 这是对隐私的挑战,因为发送或接收资金必然要求披露发送/接收账户和余额变化。 这是必要的,否则节点如何验证状态转换逻辑是否正确?
3. 另一方面,记录模型将状态的原子单位视为单个独立的条目。将所有这些条目汇总起来,用户就可以随时确定自己的 "余额"。
4. 区别很微妙,但很重要。记录模型增加了一些复杂性,因为对地址进行一次查询就不足以确定其余额。不过,这意味着可以取消发送方、接收方和金额之间的联系。
5. 零知识证明用于确保总的价值供给得到保护,状态转换规则得到遵守,同时隐藏有关交易和互动方的信息。
6. 在每个事务中,记录既被创建也被消耗。这一设计实际上来自 @zcash 。Zexe 论文(Aleo 基于此论文)扩展了这一模型,允许*任意*状态转换;换句话说,记录(和价值)是创建和消费的逻辑。
7. 因此,简而言之,记录模型增加了一些复杂性,但却是 Aleo 网络上交易隐私的基本促成因素。事实上,这是目前已知的唯一一种使用 zk 的隐私保护区块链结构。但是,这其中也有取舍......
8. 其中一个折衷方案是,程序或智能合约通常具有公共状态,使任何任意一方都能更容易地与之互动。这种开放性允许更大的灵活性和更广泛的参与。
9. 这就是为什么 Aleo 和 Leo *actually* 支持两种运行模式:公共和私有。公共状态由映射形式的程序管理,其工作方式类似于以太坊中的账户(例如,用户将意图作为 tx 提交,验证器处理由此产生的状态转换)。
10. 这种模式很好,因为它最大限度地提高了开发人员的灵活性。想创建一个用户数据保密的身份验证流程?或者想创建一个由粘合曲线定义价格、可由任何一方任意更新的 DEX?有了 Aleo,两者都能实现。
基于Aleo最新的PoSW指令集算法的Aleo芯片机
现正式开启第一批头矿预售,仅对大客户和大渠道!
2024年全球ZK峰会 Aleo-ASIC 最有竞争力品牌!
感兴趣的小伙伴扫码联系,仅对大客户和大渠道!
Aleo已正式对外更新流通量 Circulating Supply!
重点解析Aleo基金会执行董事Alex在“ZK硬件加速的未来”中的发言!
Aleo最新十年区块产出奖励模型推演(Testnet Beta)
Aleo主网倒计时 | Aleo最新Puzzle谜题算法深度解析!
重磅分析!以太坊真的会开倒车转回“PoW”么?还是会效仿Aleo模式?
Aleo主网倒计时 | Aleo Systems 公司 CEO Alex Pruden 卸任感言
重磅!Aleo初始经济模型重大更新!主网上线时间是否有变化?
ALEO 问答集锦 | 关于质押者、证明者和验证者官方最新解答
ALEO 问答集锦 | Aleo积分到底有什么用?区块奖励重大变化?