转载:ZKTo完成Aleo专用ZPU芯片FPGA与PooL联调测试

文摘   2024-10-25 09:44  

https://en.foresightnews.pro/zkto-has-completed-the-fpga-and-mining-pool-joint-testing-of-aleos-dedicated-zpu-chip/


ZKTo(简称ZKT,https://zkto.xyz/)近日宣布,基于Aleo最新PoSW谜题指令集算法的专用ZPU(Zero-knowledge Processor Units,零知识处理器单元)芯片成功完成FPGA与PooL联调测试,这是芯片流片前的重要里程碑,预计2025年第一季度实现量产。 

该芯片采用12nm工艺,并非固定硬件功能的ASIC版本(如BTC和ETH等),为的是适应未来Aleo的PoSW谜题算法指令集的调整,规避算力突然为零的风险。同时也可以通过调整指令集,适应其他具有类似指令集算法的PoW项目。 

ZPU(Zero-knowledge Processor Units,零知识处理器单元)建立在可编程指令集架构(ISA)上,类似于CPU,可以理解为ZK专用的“CPU”,使其能够适应快速发展的加密算法。 

近年来,零知识加密技术发展迅速,目前已用于区块链可扩展性和隐私保护。研究突破使得生成证明的成本更低、速度更快,业界也在积极研究解决方案,以获得高速、高性价比的零知识硬件加速解决方案。 

ZKT团队是零知识证明技术的精英团队,团队对密码学和ZK算法有着深刻的理解和多年的应用经验,精通CPU、GPU和NPU设计,有20多年的芯片设计经验,10多年的矿机芯片设计经验,先后研发并量产了BTC、LTC、XMR、RVN、ETH等多款矿机芯片,是全球首个采用3D堆叠技术成功研发并量产以太坊芯片的团队,所用工艺包括:40nm、28nm、12nm、6nm。 

从2023年起,ZKT团队便开始基于Aleo上一代PoSW谜题算法MSM+NTT进行专用芯片的研发和设计,并于2024年年初完成后端研发,与GPU相比,同等算力下算力功耗比可达惊人的三十分之一

2024年4月的ZK全球峰会上,ZKT团队向以太坊基金会资深研究员Justin提供了Aleo上一代PoSW谜题算法专用芯片的大量数据。

2024年6月底,Aleo官方团队公布了最新的PoSW谜题算法,相较于上一代,最新的PoSW谜题算法进行了彻底的改变。ZKT团队持续投入大量人力、物力和财力进行芯片的研发设计,并于近期成功完成FPGA与PooL的联调测试,这是芯片流片前的重要里程碑,预计将于2025年第一季度开始量产。 

从2023年到2024年10月,用了近两年的时间,相当于完成了两代Aleo专用芯片的研发。从上一代的MSM+NTT算法到最新一代的指令集算法,ZKT团队是目前全球为数不多具备研发zkVM底层硬件端到端(end-to-end)加速的芯片团队之一。 

为了满足 zkVM 底层硬件端到端加速,不仅要具备可编程的特性,还要满足计算密集度、带宽密集度的要求。这些都是ZKT团队过去多年积累的研发经验,可以保证芯片非常有数据竞争力,也有信心和经验做到6nm及以下工艺水平。 



MX解读:

根据我们对Aleo项目的长期跟进以及对ZK赛道的深入研究,Aleo的PoSW(PoW)谜题算法日后无论如何调整和变化,其本质脱离不开底层zkVM,一切都是围绕zkVM,而zkVM底层的核心流程和部件在我们之前的文章也多次讲解和介绍过:

zkVM设计性能分析

重磅!Aleo的PoSW谜题算法将迎来重大调整!

Aleo的zkVM成为真正有资格的zkVM之一!

Aleo主网后的PoW谜题算法还会调整?

上图我们在文章中多次提到过,核心组成部件就三个:

  • Witness Generation(见证人生成即Synthesis,主要是算术电路和R1CS)

  • 零知识证明系统(生成Proof)

  • 验证系统(验证Proof)


验证相对于Synthesis和证明生成要快的多,因为Aleo所采用的是ZK-SNARK算法。所以,要想能完全适配Aleo的PoSW谜题算法,无论日后如何调整,其本质就是要适配底层的zkVM,PoSW谜题算法加速的最终目的就是加速底层的zkVM。从这次最新的Arc43提案能看出来,最终还是需要将PoSW谜题算法计算结果变成一个Proof。

什么是SNARK?什么是Varuna SNARK?与ZK-SNARK有什么区别?

参照上文,也就是说把前端和后端整合成一个最终的Proof,目前的PoSW算法属于前端,而Arc43提案是要把后端再加入进来,指令集也要调整和扩充,最终形成一个完整的SNARK。

综上所述,只有ZPU(Zero-knowledge Processor Units,零知识处理器单元)最优解,并不是固定硬件功能版本的ASIC(违背了官方的初衷),因为算法一旦调整,算力直接归零。

https://github.com/AleoNet/ARCs/discussions/78

Arc44提案也是对目前指令集的调整,一旦指令集调整,固定硬件功能版本的ASIC同样也会算力归零。

当然,对于ZPU也并不是简单的ARM或者RISC-V架构,这样没有任何优势,也无法起到硬件加速的作用,同时正如文章所说还要兼顾计算和带宽密集,某些厂商随便拼凑出来的产品也敢对外瞎忽悠,擦亮眼睛即可!

计算密集型(MSM)这个比较容易满足,之前的ZPrize大赛和上一代PoSW算法的优化已经到了很高的水平,但是带宽密集型(NTT)这个虽然说计算占比不如MSM,但是也会影响最终的算力数据及综合数据水平。

所以,只有ZPU既能满足可编程性,又能兼顾计算密集型和带宽密集型,是Aleo项目PoSW谜题算法最适配的专用芯片以及硬件加速解决方案!



ZKT Aleo ZPU 芯片机 ,现正式开启第一批头矿预售!

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

感兴趣请扫码联系,ZKT ASIC 仅对大客户和大渠道

  




Aleo主网后十年区块产出奖励模型推演!

什么是SNARK?什么是Varuna SNARK?与ZK-SNARK有什么区别?

重磅!Aleo的PoSW谜题算法将迎来重大调整!

Aleo已成为仅次于BTC的全球第二大WK项目!

Aleo的zkVM成为真正有资格的zkVM之一!

Aleo 的记录模型,远超以太坊的 UTXO 模型!

Aleo已正式对外更新流通量 Circulating Supply!

Aleo 2024~2033年价格预测!

显卡机还能挖吗?产出回本数据分析以及芯片机的优势!

从0到1,Aleo全面深度分析!

Aleo主网后的PoW谜题算法还会调整?

Aleo 主网:你需要知道的一切

浅析Aleo主网后的出块奖励规则!

Aleo主网后如何计算及预测每天产出?

Aleo主网倒计时 | 了解激励计划的申领流程

zkVM设计性能分析

重点解析Aleo基金会执行董事Alex在“ZK硬件加速的未来”中的发言!

Aleo最新十年区块产出奖励模型推演(Testnet Beta)

Aleo官方首次主推生态应用汇总(24/07/24)

zkVM专辑 | 什么是 zkVM?

zkVM专辑 | 揭秘zkVM的设计

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

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

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

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

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

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

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

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

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

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

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

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