零知识证明

区块链面临可扩展性、安全性和去中心化的”三难困境”，催生了零知识证明（ZK Proofs）技术。ZK Rollups作为以太坊二层解决方案，通过链下聚合交易并生成有效性证明，显著提升吞吐量并降低成本，但存在计算复杂性和中心化风险。Solana的ZK Compression则通过压缩账户状态降低链上存储成本，保持一层安全性，适用于DeFi、微支付等场景。两者虽均基于ZK技术，但分别针对以太坊和Solana的架构痛点，前者侧重交易批处理，后者专注数据压缩。最终选择取决于项目需求，ZK Rollups适合高安全要求的以太坊生态，ZK Compression则更匹配Solana对速度和成本敏感的应用。

全同态加密（FHE）被誉为「密码学的圣杯」，但当前面临性能、开发体验和安全性的限制。为实现真正保密的共享状态系统，需将FHE与零知识证明（ZKPs）和多方计算（MPC）结合。FHE发展迅速，得益于新编译器、库、硬件及Web2公司的研发。未来「可验证的FHE」或成标准，DApps/rollups可能外包计算给FHE协处理器。链上FHE的核心挑战在于解密密钥管理，阈值解密和MPC提供了解决方案。FHE与ZKPs结合可验证用户输入和计算正确性，而优化的数据可用性层和专用硬件将推动FHE的广泛应用。FHE将重塑数据保护方式，开启隐私新时代。

Fermah作为通用证明生成平台，通过去中心化架构解决零知识证明(ZKP)生成的高成本与资源瓶颈问题。其核心组件Seekers、Matchmaker和Operators构建高效市场模型，支持zkVM/zkEVM/Groth16等多种证明系统，提供可定制化定价与性能平衡。平台已获520万美元种子轮融资，测试网Devnet正式上线，旨在降低开发者使用门槛并推动ZKP技术在隐私保护、区块链验证等领域的规模化应用。

摘要 Mina协议是轻量级区块链解决方案，通过zk-SNARKs技术将网络大小恒定维持在22KB，实现低能耗节点运行和去中心化验证。其原生代币$MINA用于支付交易费用和参与网络治理，采用通胀模型激励质押。作为首个ZK可编程L1平台，Mina支持隐私保护型zkApps开发，并构建包含DeFi、NFT等多元应用的生态系统。该协议由Mina基金会管理，通过Ouroboros Samasika共识机制确保安全高效运行，为Web3提供了可扩展且用户友好的基础设施。

Brevis 概述 简介 Brevis 是一个零知识 (ZK) 全链数据证明平台，旨在让智能合约能够无信任地访问和处理多条区块链的完整历史链上数据。通过提供定制化计算功能，Brevis 支持去中心化金融（DeFi）、跨链身份验证、流动性管理等创新应用，帮助开发者构建更智能、信任最小化的区块链应用。 融资 Brevis 于 2024 年 11 月 12 日宣布完成 750 万美元种子轮融资，由 Polychain Capital 和 Binance Labs 共同领投。 愿景 Brevis 的愿景是成为一个ZK全链数据计算和验证平台，使dApp能够以完全去信任的方式访问、计算和利用跨多个区块链的任意数据。 Brevis 的特点与架构 特点 高性能（Performant at Scale） 多功能性（Versatile） 全链（Omni-Chain） 架构 Brevis 的核心架构由 zkFabric、zkQueryNet、zkAggregatorRollup 三个主要组件组成。 Brevis 的用例 数据驱动的DeFi（去中心化金融） zkBridges（零知识桥接） zkDID（零知识身份） 结语 Brevis 通过其强大的零知识证明技术解决了信任问题，推动了 Web3 生态系统的发展。

什么是Dmail网络? Dmail网络是一个由人工智能驱动的分散式通信基础设施，旨在为用户、开发者和营销人员提供加密电子邮件、统一通知和针对性营销服务，涵盖多个链和dApp。Dmail网络允许用户像电子邮件网络一样发送和接收消息。然而，它的分散特性和跨不同区块链平台的能力将其与常规电子邮件平台区分开来。 Web3的演变可能带来许多变革。以前，电子邮件地址和电话号码是开发者与其他互联网用户之间的主要通信渠道。随着Web3的出现，可能会从使用电子邮件地址和电话号码转向使用钱包地址。尽管这种转变为Web3用户带来了许多好处，但也存在问题。钱包地址并不是本质上良好的通信渠道。这是因为钱包地址最初并不是为了作为Web3用户之间的通信手段而设计的。为了解决这个问题，开发了Dmail网络。 Dmail网络与钱包地址和其他分散式身份（DID）配合良好。分散式身份是一种数字身份，允许用户完全控制他们的个人信息。因此，通过Dmail网络，Web3用户可以使用他们的钱包地址和其他分散式身份进行互相沟通。

4月10日，a16z Crypto发布zkEVM解决方案Jolt，集成SNARK零知识证明技术，为EVM兼容Rollups提供高效框架。相比现有zkVM，Jolt速度提升2倍，通过优化多项式转换和sumcheck协议显著降低证明生成成本。该方案结合Lasso查找参数技术，可加速Web3开发周期，推动zkSNARK在隐私保护和可扩展性领域的应用落地。目前Jolt已实现比RISC Zero快6倍、比SP1快2倍的性能突破，未来有望进一步优化。

摘要 零知识证明（ZK）技术为DeFi隐私保护提供了创新解决方案。通过隐藏交易细节并确保合法性，ZK技术有效抵御三明治攻击和流动性操纵，如DEXs中的抢跑交易和预言机价格操控。在借贷领域，基于ZK的信誉代币能在保护用户隐私的同时评估信用等级。ZK技术的应用还涵盖流动性质押、衍生品协议等场景，推动DeFi安全性和效率的提升。随着ZK技术的深入发展，其将在DeFi及更广泛的区块链领域发挥关键作用。

转发原文标题《[ZK series – 1] ZK Rollups: Elephant In the Room》 概括 当前ZK Rollup主要利用零知识证明（ZKP）的简洁性而非零知识属性，交易数据和账户信息未完全隐私化。 ZK Rollup并非适用于所有DApp场景，如快速终局需求高的Web3游戏可能受ZKP生成速度限制，而状态差异发布方式可能影响DeFi协议的数据可用性。 主流ZK Rollup的隐私实现存在局限性，排序器、证明者等环节仍可能泄露信息，与”完全隐私”的普遍认知存在差距。

Vitalik在香港区块链峰会演讲中强调ZK-SNARKs在以太坊Danksharding中的潜力，并看好ASIC芯片对ZK加速的作用。ZK技术在Web3和传统领域应用广泛，但大规模采用仍面临效率和经济成本挑战。Cysic作为ZK硬件加速领域的领先项目，通过GPU、FPGA和ASIC方案优化ZK证明生成，并计划推出ZK矿池和SaaS平台。其测试网即将上线，有望推动ZK技术的大规模应用。