19 世纪中期,加州淘金热创造了一起又一起的造富神话,贩卖淘金工具和设备的 Sam Brannan 成了加州首位百万富翁。销售牛仔裤的李维斯已成百亿美元市值的百年老品牌。除此之外,在当地提供餐饮和金融等服务的公司也获利颇丰。
历史轮回,相同的场景在百年后又再次上演。加密挖矿的兴起同样创造了大量财富故事。加密挖矿为英伟达带来了数十亿美元营收贡献,主营矿机销售的比特大陆估值近 150 亿美元。
当然,加密挖矿的造富神话还未停止,大量的投资机构和企业都在寻找下一个风口。
2022 年,顶级风投 Paradigm 发文表示,ZK 加速的市场规模有望与 PoW 挖矿市场规模相当,达到百亿美元。
近期,以太坊创始人 Vitalik 在香港 Web3 嘉年华进行「Reaching the Limits of Protocol Design」主题演讲时提到,凭借 ASIC 芯片的高效哈希处理速度对 ZK 计算进行硬件加速,有助于将以太坊的效率和安全提升到全新的水平。
而 Cysic 正是 ZK 硬件加速赛道的龙头项目之一,并且其首款面向个人用户和商业用户的产品有望于 2025 年面世。同时,Cysic 将基于芯片算力+社区 GPU 算力,整合社区海量验证节点,最终构建 Cysic Network 为全行业提供可信的一体化算力+验证网络。
Cysic 是以太坊路线图中的第一个实时 ZK 证明生成和验证层。在提供顶尖硬件的基础上,Cysic 还将提供算力网络服务。Cysic 提供的硬件解决方案能够加速 DePIN 网络中的计算任务。同时,Cysic 算力网络服务将为 DePIN 生态系统中的项目方、算力提供商和社区验证者之间的协作提供了坚实的基础。
Cysic 的自研 FPGA、ASIC、CUDA SDK 等为 ZK 项目提供全网最强大,效率最高的硬件加速方案。在目前的路线图中,Cysic 将发布两款旗舰产品 ZK AIR 和 ZK PRO,或将在近期开启矿机预售。
ZK Air 将会是面向普通用户的产品,这是一款轻量级便携式 ZK DePIN 设备,体积接近笔记本电脑电源,提供大于顶级消费级显卡所能提供的算力,ZK Air 算力可媲美 10 张 RTX 4090。用户可将 ZK Air 接入电脑或移动设备,为 ZK Proof 提供加速服务。
ZK Pro 可最大程度的加速 ZK 证明生产,为用户实时计算 ZK 证明,设计类似传统的矿机。ZK Pro 更适合用于大型 ZK 项目,如 zkRollup、zkML 等场景。在性能上,ZK Pro 相较 Air 获得了巨大的提升,据 Cysic 官方披露,其算力可媲美 50 张英伟达 RTX 4090 显卡。
Cysic 不仅在硬件上取得突破,还致力于构建一个软件生态系统。Cysic Network 是 Cysic 后续将推出的社区网络,旨在整合和调度社区资源,连接 ZK 项目方、算力提供者和社区验证者。这个网络将融合 Cysic 自有的 GPU、ZK DePIN 设备算力以及第三方算力,打造一个完整、可靠、稳定的算力网络。第三方算力提供商在接入 Cysic Network 后,将能够享受到最优的算力收益分成。同时,ZK 项目方通过接入 Cysic Network,能够及时获得最可靠和稳健的算力支持。
Vitalik 在香港 Web3 嘉年华演讲时提到,此前,区块链带来了很多好处,提供开放性、全球可验证性,但却牺牲了隐私和安全。如今,几乎所有东西都开始建立在 ZK(零知识证明)上,开始多方计算和完全同态加密。
ZK 历史可追溯至 20 世纪 80 年代,是一种允许证明者向验证者证明某个陈述是真实的,而无需透露任何额外信息的技术。这表明,即使在需要共享证明的环境中,个人信息也可以得到保护。在加密世界,通过 ZK,用户可以在公开的区块链上进行交易,同时隐藏交易的具体细节,如金额、参与者身份等。
ZK 如今被大范围使用除了隐私方面的因素外,还在于其能够显著提高各种区块链平台上的 TPS。
尽管如此,ZK 依旧有其局限性。任何想要通过 ZKP 证明的计算,都需要从传统程序转换成 ZK 友好的格式。这个转换过程可能需要手动重写代码,以适应像 Arkworks 这样的低级库,或者使用特定领域的语言,如 Cairo 或 Circom,这些语言能够编译成生成证明所需的基本原语。这一步骤本身就是一项耗时的工程,因为它要求开发者深入理解 ZKP 的内部工作机制,并将其应用于实际的计算任务中。
同时,更昂贵和复杂的操作会导致证明生成时间的延长。有些操作并不是 ZK 友好的,例如在 SHA-3 中使用的按位操作,这些操作在传统计算机上可能是廉价的,但在 ZK 中却导致了长时间的证明生成。
于 ZK 而言,证明系统的不同,证明生成过程可能有所不同,但瓶颈通常存在于大型数字向量的乘法和数论变换 (NTT) 与逆数论变换。大型数字向量的乘法主要是两种特定类型的乘法,可变基数和固定基数多标量乘法 (MSM)。
在 ZK 证明生成的计算过程中,MSM 类型的计算任务通常占据 60-70% 的比例,其余部分则由 NTT 类型的计算构成。值得注意的是,MSM 和 NTT 都是可以并行化的操作,这意味着它们可以通过在多个线程上运行来实现加速。
Cysic 已经在基于赛灵思公版 FPGA 的 MSM 加速方案上取得了突破,并将其命名为 SolarMSM。在概念验证(POC)中,SolarMSM 能够将 2³⁰规模的 MSM 计算任务加速至仅需 195 毫秒。而对于 Scroll 级别的 MSM 计算,Cysic 的处理时间仅为 1 毫秒左右。这一成绩在业界所有公开数据中处于最强水平,比 ZPrize 竞赛的冠军性能高出 1-2 个数量级。
基于 SolarMSM 的成功,Cysic 还完成了 NTT 计算加速模块 SolarNTT 的设计。面对 Scroll 级别的 NTT 计算,Cysic 的方案同样只需 1 毫秒左右的计算时间。
SolarNTT 和 SolarMSM 将部署在同一台服务器上,基于同一套大规模 FPGA 互联系统进行加速计算。Cysic 将这一整体加速方案称为 SolarZKP,并计划通过 SaaS 模式提供 API 服务。
值得注意的是,在 ZK 领域,Partial Acceleration(部分加速)和 End to End Acceleration(端到端加速)是两种不同的硬件加速方法。部分加速指的是加速一些特定的计算模块,例如 NTT 和 MSM。端到端加速主要做的是加速所有计算过程以及减少各个模块之间的数据交互开销。部分加速因为存在加速模块和其他模块的数据通信问题,加速效果往往不如端到端加速。Cysic 的 FPGA MSM 解决方案已经从部分加速迭代至端到端加速。
在设计和发展策略上,Cysic 遵循经济性与技术性并重的原则,而非力大飞砖的方式。
Cysic 采取了类似于比特币矿机的发展路径,首先从 GPU 开始,等到 FPGA 在每单位美元性能和每单位能耗性能上超过 GPU 后,再推出 FPGA 产品。同时,考虑到不同项目可能采用不同的 ZK 证明系统,Cysic 也在进行 ASIC 设计,预计 2025 年推出矿机。
根据官方的说法,SolarMSM 的优势将一直保持到 ASIC 矿机的问世。这也意味着 Cysic 无疑是当前市场的领头羊。
正如 Paradigm 所指出的,ZK 加速市场的潜在价值将超过百亿美元。而目前市场正处于发展初期,从历史经验来看,现在是布局行业上下游、赋能行业同时扩展业务范围的最佳时机。
Cysic 的愿景不仅仅局限于提供硬件加速,它还着眼于构建一体化的算力与验证网络,将社区资源充分整合,为整个行业提供可信的服务。Cysic 积极拥抱社区的力量。Cysic Network 是 Cysic 推出类似矿池的社区网络。
Cysic Network 整合了各种可用于 ZK 加速的硬件算力,包括 Cysic 自有 GPU、Cysic ZK DePIN 设备算力以及第三方算力,构建了一个完备可靠稳定的算力网络。Cysic Network 将作为一个桥梁,连接了 ZK 项目方、算力提供商和社区验证者。
ZK 项目方通过接入 Cysic Network,可以及时获得最可靠稳健的算力。无论是交易验证还是智能合约执行,这些项目方都可以依赖 Cysic 提供的硬件加速服务。作为普通用户,不仅可以购买 Cysic 的 ZK Air 或 ZK Pro 来为 Cysic Network 提供算力支持,还可以成为社区验证者。社区验证者使用自己的电脑或手机,验证 ZKProof 生成的正确性。这种分散的验证方式不仅有助于社区的发展,还能获得验证者奖励。
作为最大、最分散的 ZK+DePIN 网络,Cysic Network 连接了 ZK 计算资源、验证者和 ZK 开发者。在超过 10,000 个 GPU 卡的支持下,Cysic 提供企业级 ZK 计算即服务,打造无需信任的未来。
Cysic 由 Leo 和 Bowen Huang 于 2022 年 8 月成立。
Leo 在 Cysic 负责系统架构和密码学研究。他毕业于四川大学,并在中国科学院获得计算机科学硕士学位后,前往康奈尔大学攻读计算机科学博士学位。在校期间,他还在 IC3,雅虎、贝尔实验室和 IBM 等机构担任研究员。毕业后,加入了 Algorand 负责密码学研究工作。目前,他同时在罗格斯大学计算机科学系的担任助理教授。
Bowen Huang 从耶鲁大学的博士 Quit 之后,获得了耶鲁大学的硕士学位。目前在 Cysic 主要负责芯片和供应链的管理。此前,他曾在中国科学院计算技术研究所担任研究工程师。
2023 年 2 月,Cysic 完成了 Polychain Capital 领投,Hashkey、ABCDE、SNZ Holding、Web3.com Venture、A&T、IDG、经纬、George Lambeth 参与的 600 万美元种子轮融资。其中 George Lambeth 还是 Arbitrum、Celestia 的投资人,分别获得了 348 倍和 1882 倍回报。
ZK 证明体系繁杂,Cysic 采用的证明系统则涵盖了 Halo2、RapidSnark、Plonky2x 等多种体系。目前,Cysic 已与 Scroll、Herodotus、Arch Network、Kakarot、Risc0、Talus、Kinetex、Holonym 等多家项目达成合作,覆盖 ZK Rollup、ZKML、应用层等多种类型项目。
估值高达 20 亿美元 的知名 ZK Layer2 解决方案 zkSync 曾宣称,ZK 技术是区块链技术的最终解决方案(ZK is the Endgame)。以太坊的发展蓝图已经清晰地表明,其未来将深度依赖于 ZK 技术。这预示着,从交易验证到智能合约的执行,ZK 技术将成为以太坊生态系统中不可或缺的核心部分。这种全面的「ZK 化」将极大提升以太坊的处理速度和效率,同时在保障隐私安全的基础上,拓展其应用至更多领域。
Vitalik 也在多个公开场合强调了 ZK 技术的重要性,并对 ZK 硬件加速的前景表示出了明确的看好。
自 Paradigm 发表相关文章以来,近两年的时间里,ZK 领域的市场规模已经达到了令人期待的百亿美元级别。在这个赛道中,多个龙头项目的估值已经超过了 10 亿美元。Cysic 的成长与其对 ZK 生态项目价值的捕获密不可分,ZK 项目的增多直接推动了 Cysic 的使用率上升。这也意味着,Cysic 的估值潜力将受到整个赛道规模的影响。
如今,ZK 硬件挖矿与 DePIN 正处于爆发前夜。此时此刻,恰如比特大陆成立后,比特币挖矿进入大爆发时期。错过了比特币挖矿的用户不妨试试 ZK 挖矿。
本文转载自[theblockbeats],著作权归属原作者[theblockbeats],如对转载有异议,请联系Gate Learn团队,团队会根据相关流程尽速处理。
免责声明:本文所表达的观点和意见仅代表作者个人观点,不构成任何投资建议。
文章其他语言版本由Gate Learn团队翻译, 在未提及Gate.io的情况下不得复制、传播或抄袭经翻译文章。
19 世纪中期,加州淘金热创造了一起又一起的造富神话,贩卖淘金工具和设备的 Sam Brannan 成了加州首位百万富翁。销售牛仔裤的李维斯已成百亿美元市值的百年老品牌。除此之外,在当地提供餐饮和金融等服务的公司也获利颇丰。
历史轮回,相同的场景在百年后又再次上演。加密挖矿的兴起同样创造了大量财富故事。加密挖矿为英伟达带来了数十亿美元营收贡献,主营矿机销售的比特大陆估值近 150 亿美元。
当然,加密挖矿的造富神话还未停止,大量的投资机构和企业都在寻找下一个风口。
2022 年,顶级风投 Paradigm 发文表示,ZK 加速的市场规模有望与 PoW 挖矿市场规模相当,达到百亿美元。
近期,以太坊创始人 Vitalik 在香港 Web3 嘉年华进行「Reaching the Limits of Protocol Design」主题演讲时提到,凭借 ASIC 芯片的高效哈希处理速度对 ZK 计算进行硬件加速,有助于将以太坊的效率和安全提升到全新的水平。
而 Cysic 正是 ZK 硬件加速赛道的龙头项目之一,并且其首款面向个人用户和商业用户的产品有望于 2025 年面世。同时,Cysic 将基于芯片算力+社区 GPU 算力,整合社区海量验证节点,最终构建 Cysic Network 为全行业提供可信的一体化算力+验证网络。
Cysic 是以太坊路线图中的第一个实时 ZK 证明生成和验证层。在提供顶尖硬件的基础上,Cysic 还将提供算力网络服务。Cysic 提供的硬件解决方案能够加速 DePIN 网络中的计算任务。同时,Cysic 算力网络服务将为 DePIN 生态系统中的项目方、算力提供商和社区验证者之间的协作提供了坚实的基础。
Cysic 的自研 FPGA、ASIC、CUDA SDK 等为 ZK 项目提供全网最强大,效率最高的硬件加速方案。在目前的路线图中,Cysic 将发布两款旗舰产品 ZK AIR 和 ZK PRO,或将在近期开启矿机预售。
ZK Air 将会是面向普通用户的产品,这是一款轻量级便携式 ZK DePIN 设备,体积接近笔记本电脑电源,提供大于顶级消费级显卡所能提供的算力,ZK Air 算力可媲美 10 张 RTX 4090。用户可将 ZK Air 接入电脑或移动设备,为 ZK Proof 提供加速服务。
ZK Pro 可最大程度的加速 ZK 证明生产,为用户实时计算 ZK 证明,设计类似传统的矿机。ZK Pro 更适合用于大型 ZK 项目,如 zkRollup、zkML 等场景。在性能上,ZK Pro 相较 Air 获得了巨大的提升,据 Cysic 官方披露,其算力可媲美 50 张英伟达 RTX 4090 显卡。
Cysic 不仅在硬件上取得突破,还致力于构建一个软件生态系统。Cysic Network 是 Cysic 后续将推出的社区网络,旨在整合和调度社区资源,连接 ZK 项目方、算力提供者和社区验证者。这个网络将融合 Cysic 自有的 GPU、ZK DePIN 设备算力以及第三方算力,打造一个完整、可靠、稳定的算力网络。第三方算力提供商在接入 Cysic Network 后,将能够享受到最优的算力收益分成。同时,ZK 项目方通过接入 Cysic Network,能够及时获得最可靠和稳健的算力支持。
Vitalik 在香港 Web3 嘉年华演讲时提到,此前,区块链带来了很多好处,提供开放性、全球可验证性,但却牺牲了隐私和安全。如今,几乎所有东西都开始建立在 ZK(零知识证明)上,开始多方计算和完全同态加密。
ZK 历史可追溯至 20 世纪 80 年代,是一种允许证明者向验证者证明某个陈述是真实的,而无需透露任何额外信息的技术。这表明,即使在需要共享证明的环境中,个人信息也可以得到保护。在加密世界,通过 ZK,用户可以在公开的区块链上进行交易,同时隐藏交易的具体细节,如金额、参与者身份等。
ZK 如今被大范围使用除了隐私方面的因素外,还在于其能够显著提高各种区块链平台上的 TPS。
尽管如此,ZK 依旧有其局限性。任何想要通过 ZKP 证明的计算,都需要从传统程序转换成 ZK 友好的格式。这个转换过程可能需要手动重写代码,以适应像 Arkworks 这样的低级库,或者使用特定领域的语言,如 Cairo 或 Circom,这些语言能够编译成生成证明所需的基本原语。这一步骤本身就是一项耗时的工程,因为它要求开发者深入理解 ZKP 的内部工作机制,并将其应用于实际的计算任务中。
同时,更昂贵和复杂的操作会导致证明生成时间的延长。有些操作并不是 ZK 友好的,例如在 SHA-3 中使用的按位操作,这些操作在传统计算机上可能是廉价的,但在 ZK 中却导致了长时间的证明生成。
于 ZK 而言,证明系统的不同,证明生成过程可能有所不同,但瓶颈通常存在于大型数字向量的乘法和数论变换 (NTT) 与逆数论变换。大型数字向量的乘法主要是两种特定类型的乘法,可变基数和固定基数多标量乘法 (MSM)。
在 ZK 证明生成的计算过程中,MSM 类型的计算任务通常占据 60-70% 的比例,其余部分则由 NTT 类型的计算构成。值得注意的是,MSM 和 NTT 都是可以并行化的操作,这意味着它们可以通过在多个线程上运行来实现加速。
Cysic 已经在基于赛灵思公版 FPGA 的 MSM 加速方案上取得了突破,并将其命名为 SolarMSM。在概念验证(POC)中,SolarMSM 能够将 2³⁰规模的 MSM 计算任务加速至仅需 195 毫秒。而对于 Scroll 级别的 MSM 计算,Cysic 的处理时间仅为 1 毫秒左右。这一成绩在业界所有公开数据中处于最强水平,比 ZPrize 竞赛的冠军性能高出 1-2 个数量级。
基于 SolarMSM 的成功,Cysic 还完成了 NTT 计算加速模块 SolarNTT 的设计。面对 Scroll 级别的 NTT 计算,Cysic 的方案同样只需 1 毫秒左右的计算时间。
SolarNTT 和 SolarMSM 将部署在同一台服务器上,基于同一套大规模 FPGA 互联系统进行加速计算。Cysic 将这一整体加速方案称为 SolarZKP,并计划通过 SaaS 模式提供 API 服务。
值得注意的是,在 ZK 领域,Partial Acceleration(部分加速)和 End to End Acceleration(端到端加速)是两种不同的硬件加速方法。部分加速指的是加速一些特定的计算模块,例如 NTT 和 MSM。端到端加速主要做的是加速所有计算过程以及减少各个模块之间的数据交互开销。部分加速因为存在加速模块和其他模块的数据通信问题,加速效果往往不如端到端加速。Cysic 的 FPGA MSM 解决方案已经从部分加速迭代至端到端加速。
在设计和发展策略上,Cysic 遵循经济性与技术性并重的原则,而非力大飞砖的方式。
Cysic 采取了类似于比特币矿机的发展路径,首先从 GPU 开始,等到 FPGA 在每单位美元性能和每单位能耗性能上超过 GPU 后,再推出 FPGA 产品。同时,考虑到不同项目可能采用不同的 ZK 证明系统,Cysic 也在进行 ASIC 设计,预计 2025 年推出矿机。
根据官方的说法,SolarMSM 的优势将一直保持到 ASIC 矿机的问世。这也意味着 Cysic 无疑是当前市场的领头羊。
正如 Paradigm 所指出的,ZK 加速市场的潜在价值将超过百亿美元。而目前市场正处于发展初期,从历史经验来看,现在是布局行业上下游、赋能行业同时扩展业务范围的最佳时机。
Cysic 的愿景不仅仅局限于提供硬件加速,它还着眼于构建一体化的算力与验证网络,将社区资源充分整合,为整个行业提供可信的服务。Cysic 积极拥抱社区的力量。Cysic Network 是 Cysic 推出类似矿池的社区网络。
Cysic Network 整合了各种可用于 ZK 加速的硬件算力,包括 Cysic 自有 GPU、Cysic ZK DePIN 设备算力以及第三方算力,构建了一个完备可靠稳定的算力网络。Cysic Network 将作为一个桥梁,连接了 ZK 项目方、算力提供商和社区验证者。
ZK 项目方通过接入 Cysic Network,可以及时获得最可靠稳健的算力。无论是交易验证还是智能合约执行,这些项目方都可以依赖 Cysic 提供的硬件加速服务。作为普通用户,不仅可以购买 Cysic 的 ZK Air 或 ZK Pro 来为 Cysic Network 提供算力支持,还可以成为社区验证者。社区验证者使用自己的电脑或手机,验证 ZKProof 生成的正确性。这种分散的验证方式不仅有助于社区的发展,还能获得验证者奖励。
作为最大、最分散的 ZK+DePIN 网络,Cysic Network 连接了 ZK 计算资源、验证者和 ZK 开发者。在超过 10,000 个 GPU 卡的支持下,Cysic 提供企业级 ZK 计算即服务,打造无需信任的未来。
Cysic 由 Leo 和 Bowen Huang 于 2022 年 8 月成立。
Leo 在 Cysic 负责系统架构和密码学研究。他毕业于四川大学,并在中国科学院获得计算机科学硕士学位后,前往康奈尔大学攻读计算机科学博士学位。在校期间,他还在 IC3,雅虎、贝尔实验室和 IBM 等机构担任研究员。毕业后,加入了 Algorand 负责密码学研究工作。目前,他同时在罗格斯大学计算机科学系的担任助理教授。
Bowen Huang 从耶鲁大学的博士 Quit 之后,获得了耶鲁大学的硕士学位。目前在 Cysic 主要负责芯片和供应链的管理。此前,他曾在中国科学院计算技术研究所担任研究工程师。
2023 年 2 月,Cysic 完成了 Polychain Capital 领投,Hashkey、ABCDE、SNZ Holding、Web3.com Venture、A&T、IDG、经纬、George Lambeth 参与的 600 万美元种子轮融资。其中 George Lambeth 还是 Arbitrum、Celestia 的投资人,分别获得了 348 倍和 1882 倍回报。
ZK 证明体系繁杂,Cysic 采用的证明系统则涵盖了 Halo2、RapidSnark、Plonky2x 等多种体系。目前,Cysic 已与 Scroll、Herodotus、Arch Network、Kakarot、Risc0、Talus、Kinetex、Holonym 等多家项目达成合作,覆盖 ZK Rollup、ZKML、应用层等多种类型项目。
估值高达 20 亿美元 的知名 ZK Layer2 解决方案 zkSync 曾宣称,ZK 技术是区块链技术的最终解决方案(ZK is the Endgame)。以太坊的发展蓝图已经清晰地表明,其未来将深度依赖于 ZK 技术。这预示着,从交易验证到智能合约的执行,ZK 技术将成为以太坊生态系统中不可或缺的核心部分。这种全面的「ZK 化」将极大提升以太坊的处理速度和效率,同时在保障隐私安全的基础上,拓展其应用至更多领域。
Vitalik 也在多个公开场合强调了 ZK 技术的重要性,并对 ZK 硬件加速的前景表示出了明确的看好。
自 Paradigm 发表相关文章以来,近两年的时间里,ZK 领域的市场规模已经达到了令人期待的百亿美元级别。在这个赛道中,多个龙头项目的估值已经超过了 10 亿美元。Cysic 的成长与其对 ZK 生态项目价值的捕获密不可分,ZK 项目的增多直接推动了 Cysic 的使用率上升。这也意味着,Cysic 的估值潜力将受到整个赛道规模的影响。
如今,ZK 硬件挖矿与 DePIN 正处于爆发前夜。此时此刻,恰如比特大陆成立后,比特币挖矿进入大爆发时期。错过了比特币挖矿的用户不妨试试 ZK 挖矿。
本文转载自[theblockbeats],著作权归属原作者[theblockbeats],如对转载有异议,请联系Gate Learn团队,团队会根据相关流程尽速处理。
免责声明:本文所表达的观点和意见仅代表作者个人观点,不构成任何投资建议。
文章其他语言版本由Gate Learn团队翻译, 在未提及Gate.io的情况下不得复制、传播或抄袭经翻译文章。