当前位置  >   首页  >   产品  >  正文

兰州市Aleo算力服务器销售,支持多种Dapp

价格:面议 2024-12-23 11:37:01 475次浏览

从算法的角度上来看,Aleo属于零知识证明(ZKP)赛道项目,复杂度是比大饼和以太坊算法都要复杂的。算法的核心计算我们之前也提过主要是MSM+NTT/FFT的计算,还会包含一些Hash运算。这些计算主要目的是为了生成零知识证明,而生成证明的速度直接会影响生态的体验。

软件层面,在语言层面上,ZK更友好的格式,也会带来加速生成的过程,比如Aleo的Leo语言。再就是算法本身的优化,虽然说有一定的优化空间,但是要想有大的突破需要非常多的时间,毕竟牵涉到很多数学问题。

综上来看,内存和带宽是限制证明生成的主要瓶颈。对于显卡来说,这里的内存指的是显存,并不是主板上的内存,主板上的内存主要是参与CPU的计算。当然目前有些芯片技术可以打通主板上的内存和显存,让内存为显存计算来用。

芯片的硬件指的是运行指令的物理平台,包括处理器、内存、存储设备等等。芯片数据中常出现的“晶体管数量”、“7nm制程”、“存储”等,往往指的就是硬件参数。

软件则包括固件、驱动程序、操作系统、应用程序、算子、编译器和开发工具、模型优化和部署工具、应用生态等等。这些软件指导硬件如何响应用户指令、处理数据和任务,同时通过特定的算法和策略优化硬件资源的使用。芯片数据中常出现的“x86指令集”、“深度学习算子”、“CUDA平台”等,往往指的就是芯片软件。

联系我们 一键拨号13922833160