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主网倒计时 | 测试网Beta发布,距离主网还有多远?
重磅分析!以太坊真的会开倒车转回“PoW”么?还是会效仿Aleo模式?
Aleo主网倒计时 | Aleo 完成 snarkOS 和 snarkVM 的代码安全审计
Aleo主网倒计时 | Aleo Systems 公司 CEO Alex Pruden 卸任感言
重磅!Aleo初始经济模型重大更新!主网上线时间是否有变化?
ALEO 问答集锦 | 关于质押者、证明者和验证者官方最新解答
ALEO 问答集锦 | Aleo积分到底有什么用?区块奖励重大变化?
重磅分析!为什么说FPGA或者ZK通用服务器在Aleo项目上机会是零?