零知识证明

摘要 本文探讨了通过加密内存池（Encrypted Mempools）技术保护用户交易隐私、降低MEV风险的解决方案。核心机制包括：1）利用密码学加密交易内容，确保交易在被收入区块前不可见；2）采用五种解密保障机制（纯信任/可信硬件/门限加密/延迟加密/见证加密）；3）结合零知识证明验证加密交易的有效性；4）通过同态加密实现区块构建。该方案能有效防止MEV提取和交易审查，但需配合PBS等机制增强抗审查能力。文章还分析了交易元数据保护、区块构建优化等关键技术挑战。

概述 Reddio是以太坊兼容的高性能Layer 2解决方案，采用并行EVM架构和GPU加速技术，结合零知识证明与AI推理能力，显著提升交易吞吐量并降低Gas费用。其模块化排序器支持多虚拟机集成，开发者友好的云API降低了Web2开发者进入门槛。目前处于测试网阶段，由Paradigm领投，目标成为支持高频交易场景和AI应用的下一代扩容方案。

zkLink 是一个基于 zk-SNARKs 技术的多链交易框架，通过 ZK-Rollup 中间件连接多个 L1 和 L2 网络，实现资产和流动性的无缝聚合。其核心产品 zkLink Nova 作为通用 Layer 3 网络，整合以太坊及 Layer 2 流动性，提供低 Gas 费用和高安全性；而 zkLink X 则是面向高性能 DApp 的定制化扩展引擎。平台支持原生资产跨链交易、流动性统一及订单簿 DEX 等功能，并采用 ZKL 代币进行治理、质押和支付。zkLink 已完成超 2310 万美元融资，主网 TVL 达 3 亿美元，致力于解决多链生态碎片化问题，提升 DeFi 的可访问性与效率。

区块链面临可扩展性、安全性和去中心化的”三难困境”，催生了零知识证明（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倍的性能突破，未来有望进一步优化。