零知识证明

摘要 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技术的大规模应用。

随着数据隐私问题日益突出，AI与区块链技术正推动隐私保护创新。文章探讨了零知识证明（ZKP）、zkTLS、可信执行环境（TEE）和全同态加密（FHE）等技术在数据可验证性和隐私保护中的应用，如Grass网络利用ZKP验证数据完整性，zkMe实现隐私KYC流程，以及Mind Network的FHE再质押层。同时指出AI在隐私保护（如联邦学习）和深度伪造检测中的双重作用，强调技术融合对解决数据安全挑战的重要性。

zkSync是基于零知识rollup技术的以太坊第二层扩容方案，通过链下计算和加密证明实现低成本、高吞吐量交易，同时保持以太坊主网安全性。其EVM兼容性和账户抽象功能简化了开发流程，吸引Uniswap等主流dApp迁移。zkSync Era的推出进一步优化交易效率，并可能通过空投激励用户参与生态。作为ZK-Rollup代表方案，zkSync在性能、费用和提款速度上优于Optimistic Rollup，成为开发者扩展以太坊应用的热门选择。