零知识证明

加密货币与人工智能的交叉应用日益增多，但并非所有方向都同样可行。文章将区块链与AI的结合分为四大类：1. AI作为游戏玩家（如套利机器人、预测市场AI参与者），这是最成熟且低风险的领域；2. AI作为用户界面助手（如防诈骗工具），需警惕对抗性攻击；3. AI作为规则制定者（如链上仲裁），需依赖密码学解决模型透明性与安全性矛盾，但风险极高；4. AI作为构建目标（如去中心化AI训练），长期潜力大但技术挑战严峻。矩阵乘法优化和多方计算可能降低加密开销，而对抗性机器学习仍是核心难题。总体而言，微观机制中AI作为参与者的应用最易落地，而依赖”单例”AI的高价值场景需极度谨慎。

简介 Taiko是以太坊兼容的ZK-EVM区块链项目，通过零知识证明技术提升交易隐私与效率，同时保持去中心化和安全性。其基于Rollup的创新架构（含BCR/BBR）支持无缝迁移以太坊生态应用，2024年6月完成去中心化主网上线。TAIKO代币驱动网络治理与验证激励，生态已集成API3预言机、MoveLabs等开发者工具及NFT项目，致力于构建可扩展的Web3基础设施。

摘要 STARKs作为基于哈希的SNARKs，其效率受限于Reed-Solomon编码导致的冗余值问题。Binius通过二进制域技术实现第4代STARKs，采用多变量多项式、超立方体评估和块级Reed-Solomon编码优化计算效率。结合HyperPlonk PIOP与Brakedown PCS，Binius引入五项关键技术：二进制域塔算术、改进的乘积置换检查、多线性移位论证、Lasso查找优化及小域PCS方案。通过GKR乘法、ZeroCheck权衡、小域Sumcheck优化及FRI-Binius压缩证明，Binius显著降低承诺开销，提升硬件友好性，成为Polygon zkVM等项目的底层方案，推动二进制域证明系统发展。

加密挖矿热潮再现历史淘金热造富模式，ZK硬件加速赛道崛起百亿美元市场。Cysic作为ZK DePIN硬件加速龙头，推出SolarMSM/NTT突破性FPGA方案，处理速度达业界顶尖水平。其产品矩阵包含便携式ZK Air（算力=10张RTX4090）与专业级ZK Pro（算力=50张RTX4090），并构建整合社区资源的Cysic Network算力验证网络。获Polychain领投600万美元的明星团队，已与Scroll等头部ZK项目达成合作。随着以太坊全面”ZK化”趋势，Vitalik看好的硬件加速赛道或复刻比特大陆式爆发。

本文探讨以太坊网络未来发展的三种关键节点类型：无状态节点、有状态节点和全节点/归档节点。无状态节点通过零知识证明实现轻量级验证，适合普通用户；有状态节点提供快速访问当前状态的能力，支持网络运行；全节点/归档节点存储完整链历史，确保数据完整性。通过优化节点结构（如Verkle树）和状态管理机制，以太坊将在去中心化、安全性和可扩展性之间实现平衡，推动生态系统发展。

暗池作为替代交易系统，通过隐藏交易细节减少市场影响，但面临信息泄露和监管审查问题。 链上暗池利用区块链技术提供匿名性，消除中心化中介依赖，解决传统暗池信任问题。 采用零知识证明（ZKP）和多方计算（MPC）等技术，链上暗池实现私密交易，减少MEV攻击风险。 链上暗池市场增长迅速，私人交易需求增加，但需平衡透明性与隐私，并解决监管框架问题。

Web3Caff创始人Gootor提出以太坊正通过ZK技术实现扩容与隐私保护，但生成零知识证明(ZKP)需硬件加速，可能催生新型ZK挖矿模式。这或将使以太坊经济模型演变为PoS与PoW并存的混合共识机制，质押者可通过提供ZK算力获得额外奖励。ZK硬件赛道已涌现Cysic等专注ASIC/FPGA加速的头部项目，同时ZK算力可能与AI算力形成共享市场。该趋势可能为以太坊引入硬件生产等正外部性，并反向重塑其经济架构。

摘要 Verkle树是以太坊2023路线图的关键技术，结合向量承诺与Merkle树特性，能大幅缩小证明规模（较传统Merkle证明缩小20-30倍）。其核心优势在于：1）采用多项式承诺替代哈希函数，使证明仅需路径节点承诺而非全部兄弟节点；2）通过KZG等方案实现固定大小证明（约150字节），支持无状态客户端；3）优化后验证速度达毫秒级，适用于十亿级数据场景。该技术预计2024-2025年通过硬分叉部署，为以太坊扩展性提供重要支撑。

Succinct 是什么？ Succinct 正在建立让所有开发者可以简单使用 ZK 证明技术（zero-knowledge proofs）的基础设施。目前 Succinct 已经推出了一个开源、模组化的 zkVM SP1，现在正在开发一个去中心化的证明者网路Succinct Prover Network，未来该网路上将可以运行ZK 证明Rollup、协处理器（Coprocessors）及其他基础设施，是更顶层的「为ZK 基础设施服务的基础设施」。 为什么 ZK 证明技术很重要？ ZK 证明能在完成证明的同时有效地保护隐私。假设有个人希望向一个公司提供证明自己健康的体检报告，但他不想要这些医疗敏感数据被传播和留存。通过生成一个 ZK 证明，用户可以证明他的健康状况符合公司的规定，同时不需要提供实际的医疗数据报告，避免了隐私泄露的风险。 在区块链得到大规模采用的路线图中，ZK 证明被认为是一个关键技术，对区块链的未来至关重要，它允许区块链开发者不可逆地证明任何陈述，例如区块链的状态转换函数或共识证明。 同时，ZK 证明也是无需许可的，不依赖外部资本或运营商的安全性，可以证明任何陈述的有效性；ZK 证明也是高效的，只需一方生成就可以由任何人验证。 团队发展历程和融资情形 Succinct 于 2022 年创办，团队规模精简，办公室位于旧金山。创始人之前曾撰写并发表过各种有关ZK 桥接、互通性和共享排序的研究，团队还有多年在模型训练平台/数据平台/AI 领域的工作经历。 uccinct 于 2022 年创办，团队规模精简，办公室位于旧金山。创始人之前曾撰写并发表过各种有关ZK 桥接、互通性和共享排序的研究，团队还有多年在模型训练平台/数据平台/AI 领域的工作经历。 Succinct 的许多客户都是行业中的顶级团队。目前 Wormhole、Lido、Near、Celestia Blobstream X、Avail (Vector bridge)和 Gnosis (native bridge) 已经在使用开发中的 Prover Network 的早期版本，打造符合 Succinct 协议标准的 ZK 证明 dapp。 2024年3月22日，Succinct 宣布获得由 Paradigm 领投的 A 轮融资 $ 43 M。目前团队的融资总额（种子轮和A 轮）共$ 55 M，参与方包括Robot Ventures、Bankless Ventures、Geometry、ZK Validator，以及天使投资人包括Eigenlayer 的创办人Sreeram Kannan、Polygon 的共同创办人Sandeep Nailwal 、Polygon Zero 的共同创办人Daniel Lubarov 以及Bitwise 的共同创办人Elad Gil。