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底层的核心流程和部件在我们之前的文章也多次讲解和介绍过:
上图我们在文章中多次提到过,核心组成部件就三个:
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 仅对大客户和大渠道!
什么是SNARK?什么是Varuna SNARK?与ZK-SNARK有什么区别?
Aleo已正式对外更新流通量 Circulating Supply!
重点解析Aleo基金会执行董事Alex在“ZK硬件加速的未来”中的发言!
Aleo最新十年区块产出奖励模型推演(Testnet Beta)
Aleo主网倒计时 | Aleo最新Puzzle谜题算法深度解析!
重磅分析!以太坊真的会开倒车转回“PoW”么?还是会效仿Aleo模式?
Aleo主网倒计时 | Aleo Systems 公司 CEO Alex Pruden 卸任感言
重磅!Aleo初始经济模型重大更新!主网上线时间是否有变化?
ALEO 问答集锦 | 关于质押者、证明者和验证者官方最新解答
ALEO 问答集锦 | Aleo积分到底有什么用?区块奖励重大变化?