零知识证明

摘要 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。

了解Nillion—安全数据处理的未来 Nillion是一个去中心化网络，通过多方计算（MPC）、全同态加密（FHE）和零知识证明（ZKP）等尖端技术增强数据处理的安全性和隐私性。与传统区块链不同，Nillion采用双层架构（协调层NilChain和协同层Petnet），在不依赖区块链的情况下实现高效、可扩展的安全计算。其应用涵盖个性化AI、去中心化交易、医疗分析等领域，已获2000万美元融资。Nillion代币$NIL（总量10亿枚）用于网络治理、资源管理和节点激励。

Grass是基于Solana的去中心化Layer 2网络，用户可通过共享闲置带宽获取被动收入，同时为AI训练提供数据。项目由Wynd Labs于2023年6月推出，已完成350万美元种子轮融资，覆盖190个国家超200万用户。核心功能包括桌面节点、控制面板及多级推荐系统，采用零知识证明（ZKP）保障隐私，并通过GRASS代币实现治理。项目面临地区收益差异和去中心化治理等挑战，但凭借合规数据收集模式在AI数据领域占据优势。

本文探讨了加密货币市场周期中探索与利用两个关键阶段。2023年市场情绪从恐慌转向乐观，资本重新流入加密领域，但风险投资者仍面临资源短缺。当前牛市由机构资金推动，主要叙事围绕AI、再质押、Layer2等技术展开。作者指出市场已结束探索阶段进入利用阶段，投资者正加倍押注现有叙事以弥补损失。随着ETF获批和机构资金涌入，本轮周期可能因机构过度曝光而终结，创新不足使得这更像是上一轮牛市的延续而非全新周期。

摘要 ZK协处理器是区块链领域的创新技术，通过零知识证明将链下计算与链上验证结合，解决智能合约处理历史数据和高计算量任务时的成本与效率问题。类比电脑中CPU与显卡的分工，ZK协处理器让智能合约专注核心逻辑，将复杂计算外包给专用模块，同时确保数据隐私和验证可靠性。当前Axiom、Risc Zero等项目已实现多链数据抓取、机器学习支持等应用场景，显著提升DeFi、社交、游戏等领域的可扩展性。该技术有望成为打破数据孤岛、实现链上AI代理的基础设施，推动区块链向更高效、隐私安全的下一代演进。

背景知识 零知识证明（ZKP）是一种密码学技术，最早由S.Goldwasser等人在20世纪80年代提出，能在不透露证据的情况下验证数学陈述。随着区块链技术的发展，ZKP被广泛应用于隐私保护和扩容方案中，如以太坊Layer2的zk-SNARKs技术。 ZKP的定义与原理 ZKP允许证明者向验证者证明某个陈述的正确性，而无需透露任何额外信息。其核心特性包括完备性、健壮性和零知识性。ZKP通过复杂的数学构造实现隐私保护，如多项式方程和椭圆曲线等。 为什么需要ZKP？ ZKP在隐私保护、安全性增强、减少欺诈、效率和合规性等方面具有显著优势。它为用户提供了在不泄露敏感信息的前提下进行验证的能力，适用于Web2和Web3的多种场景。 ZKP的种类 ZKP有多种实现方式，包括zk-SNARKs、zk-STARKs、PLONK和Bulletproofs等。它们在证明大小、验证时间、通用性和可信设置等方面各有优缺点。 Web3中对ZKP的应用案例 ZKP在区块链扩容（如zk-Rollups）和数据隐私（如交易所储备金证明）等领域有广泛应用。这些应用展示了ZKP在提升隐私保护和系统效率方面的潜力。 结语 ZKP技术正在成为构建安全、高效Web3基础设施的关键。尽管存在性能和安全性的挑战，但其在数字世界中的作用将日益增强。

zkPass是一种基于零知识证明（ZKP）的隐私保护技术，允许用户在不泄露敏感信息的情况下验证身份、财务记录等数据。它结合3P-TLS协议和多方计算（MPC），确保数据安全性和可验证性，兼容所有HTTPS网站。应用场景包括去中心化身份认证、DeFi借贷、医疗数据共享等，已获红杉中国等机构250万美元种子轮融资。zkPass通过加密证明和去中心化验证机制，实现隐私与安全的平衡，推动Web3生态的可信数据交互。