Aleo主网倒计时 | Aleo最新Puzzle谜题算法深度解析!

文摘   2024-06-28 12:26   新加坡  

2024年6月25日在Aleo官方的Github上更新了最新的谜题算法,截止到目前也是众说纷纭,我们从几个维度来深度解析一下最新的谜题算法:

1. 最新的puzzle谜题算法是什么?

很多人都说是CPU算法,确实也是,但是这个谜题算法其实本质上是“Aleo上程序部署流程的一部分”拿来当做新的puzzle谜题算法,一直以来SnarkVM跑程序的底层几乎一样的,与之前的以MSM和NTT为主的谜题算法有本质的区别。

2. 最新的puzzle谜题算法能否用GPU来执行?

我们相信应该可以,但是需要时间移植、适配和优化,难度确实有,就和当时测试网3-2正式激励之前一样,一直都是CPU算法在测试,直到正式激励附近才把GPU算法放出来,最后优化出来纯GPU的算法。

那么这次是否依然可以有纯GPU算法?现在还不能下定论,需要时间,从执行效率上来说肯定是GPU更优。

3. 为什么这次最新的puzzle谜题算法没有GPU算法?

其实所谓的“GPU算法”,就是之前优化过的MSM算法,主要是在最新的谜题算法中并没有把之前的MSM加进来,为什么没加进来?我们猜测大概率是因为之前已经优化过了,而且已经达到一个相对目前比较良好的水平。

4. 后续在谜题算法中是否会把MSM和NTT算法加进来?

我们猜测应该是要的,因为MSM和NTT是Aleo底层零知识证明算法的2个核心计算因子,如果没有的话零知识证明无法生成,而且之前已经优化过了,集成进来是非常快的。

5. 最新的puzzle谜题算法为什么是CPU算法?

从官方的这段解释中可以看到,这次的puzzle谜题算法更换是个必然,因为原来的MSM算法已经优化到目前良好的水平。而且在前面我们也说过了最新的puzzle谜题算法其实是“Aleo上程序部署流程的一部分”,也就是说最新的puzzle谜题算法其实和vm有关联。

说到这里如果懂的人应该能明白官方的意图了,官方目前的重点是优化vm,也就是官方的zkvm。

其实在之前的官方Blog中有详细说明zkvm:

https://aleo.org/post/the-aleo-advantage-evolving-from-zkevms-to-the-zkvm-blockchain/

6. puzzle谜题算法主网以后还会不会再变?

从目前发布的最新设计上来看,puzzle谜题已经变成模块化设计,其实从Alex最新的推特解释上也能看到对于模块化的态度。

什么意思?就是说日后puzzle其实是可以灵活替换的,可能当目前的puzzle谜题算法优化达到了一个良好的水平,无法满足现在的需求了,官方又会更换其他的puzzle谜题算法来进一步调动第三方服务商的积极性来再进一步优化。但上主网后大改的可能性非常低,代价太大。

7. 官方为什么要这样设计谜题算法或者说puzzle谜题算法为什么要模块化?

从我们了解到的消息我们猜测,在Aleo上或者在整个ZK项目上,截止目前需要优化的无非就2个方面,一个是零知识证明生成的速度,另一个就是zkvm。

当有一方出现瓶颈无法满足的时候,puzzle谜题算法就会变成和这一方有关联的算法来进一步优化,也就是说是此起彼伏的。

零知识证明生成速度优化->zkvm优化->零知识证明生成速度优化->zkvm优化。。。。以此类推。

当然这中间如果有其他的组件或者环节需要优化,那么puzzle谜题算法也可能会换成其他的算法来优化。

毕竟puzzle谜题算法或者说PoSW与共识无关,非常灵活,比较自由。

8. 官方这样设计谜题算法的真正意图是什么?

其实在之前的社区会议中,Alex有提到过谜题设计的目标之一就是:

——它应该推动ZK算法和现实世界应用程序的发展

所以说谜题算法必然要有更大的作用发挥出来,而不仅仅是无意义的“PoW”,而且零知识证明的生成和zkvm息息相关。

本质上Aleo想做的还不仅仅是条链,或者说Howard想做的是ZK领域的底层基础设施,毕竟他们已经分开了。在这样的大的背景下,我们感觉未来ZPU(Zero Knowledge Proof Processing Unit)将成为可能!



ZKT 纯GPU锄头,第一梯队,仅限大算力合作!

ZKT Aleo-ASIC芯片机整机预售中,台积电代工!

2024年全球ZK峰会 Aleo-ASIC 最有竞争力品牌!

感兴趣的小伙伴扫码联系,仅限大客户和渠道

  

全网最全Aleo中文WiKi





专访 Aleo 基金会执行董事:ZK 证明耗时已大幅下降,「实时证明」进一步逼近

Aleo主网倒计时 | 官方详细解释四个测试环境

Aleo主网倒计时 | 测试网Beta发布,距离主网还有多远?

重磅分析!以太坊真的会开倒车转回“PoW”么?还是会效仿Aleo模式?

为什么Aleo官方说目标是使用ASIC?深度解析!

Aleo主网倒计时| 宣布成立 Aleo 基金会!

Aleo主网倒计时 | Aleo 完成 snarkOS 和 snarkVM 的代码安全审计

Aleo主网倒计时 | Aleo Systems 公司 CEO Alex Pruden 卸任感言

Aleo测试网三全部验证者资料汇总(一)

Aleo测试网三全部验证者资料汇总(二)

重磅!Aleo初始经济模型重大更新!主网上线时间是否有变化?

Aleo测试网三的POS质押测试已开始!1月主网还远吗?

ALEO 问答集锦 | 关于质押者、证明者和验证者官方最新解答

ALEO 问答集锦 | Aleo积分到底有什么用?区块奖励重大变化?

重磅分析!为什么说FPGA或者ZK通用服务器在Aleo项目上机会是零?

隐私区块链概述和 Aleo 深入研究,目前为止分析最深入和全面的

Aleo:你能保守秘密吗?深入探讨零知识证明和互联网的未来

重磅!Aleo主网后规模预测、成本、收益与回本周期评估分析

Aleo是否能够成为下个牛市的百倍项目?

提前埋伏融资近3亿美金项目Aleo生态上的毛

提前埋伏融资近3亿美金项目Aleo生态上的毛(二)

Max说说
Web3创业者 分享Aleo等ZK赛道和隐私计算相关知识
 最新文章