📢 #Gate广场征文活动第二期# 正式启动!
分享你对 $ERA 项目的独特观点,推广ERA上线活动, 700 $ERA 等你来赢!
💰 奖励:
一等奖(1名): 100枚 $ERA
二等奖(5名): 每人 60 枚 $ERA
三等奖(10名): 每人 30 枚 $ERA
👉 参与方式:
1.在 Gate广场发布你对 ERA 项目的独到见解贴文
2.在贴文中添加标签: #Gate广场征文活动第二期# ,贴文字数不低于300字
3.将你的文章或观点同步到X,加上标签:Gate Square 和 ERA
4.征文内容涵盖但不限于以下创作方向:
ERA 项目亮点:作为区块链基础设施公司,ERA 拥有哪些核心优势?
ERA 代币经济模型:如何保障代币的长期价值及生态可持续发展?
参与并推广 Gate x Caldera (ERA) 生态周活动。点击查看活动详情:https://www.gate.com/announcements/article/46169。
欢迎围绕上述主题,或从其他独特视角提出您的见解与建议。
⚠️ 活动要求:
原创内容,至少 300 字, 重复或抄袭内容将被淘汰。
不得使用 #Gate广场征文活动第二期# 和 #ERA# 以外的任何标签。
每篇文章必须获得 至少3个互动,否则无法获得奖励
鼓励图文并茂、深度分析,观点独到。
⏰ 活动时间:2025年7月20日 17
深度解析零知识证明:从发展历程到实际应用
零知识证明的发展、应用与原理
一、零知识证明的历史沿革
零知识证明体系最早源于1985年Goldwasser、Micali和Rackoff合作的论文。该论文探讨了在交互系统中,通过多轮交互来证明一个陈述正确性所需交换的知识量。如果可以实现零知识交换,则被称为零知识证明。早期的零知识证明系统在效率和可用性方面存在不足,主要停留在理论层面。
近十年来,随着密码学在加密货币领域的兴起,零知识证明逐渐成为关键研究方向。其中,开发通用、非交互式、证明体积有限的零知识证明协议是最重要的探索方向之一。零知识证明的核心是在证明速度、验证速度和证明体积大小之间寻求平衡。
2010年,Groth发表的论文为ZKP领域最重要的zk-SNARK奠定了理论基础。2015年,Zcash使用的零知识证明系统实现了交易隐私保护,开启了ZKP的广泛应用。
其他一些重要的学术成果包括:
此外,PLONK、Halo2等也是ZKP发展中的重要进展。
二、零知识证明的主要应用
零知识证明最广泛的两个应用是隐私保护和扩容。
隐私保护
早期隐私交易项目如Zcash和Monero一度备受关注,但由于实际需求未如预期,目前已逐渐退居二线。
以Zcash为例,其基于zk-SNARKs的交易流程包括:系统设置、密钥生成、铸币、倾倒、验证和接收等步骤。但Zcash也存在局限性,如基于UTXO模型、难以扩展等。实际使用隐私交易的比例不到10%。
Tornado Cash采用单一大混币池设计,基于以太坊网络,使用zk-SNARK实现隐私保护。其主要特性包括:只能提取存入的币、币不能被重复提取、证明过程与废止通知绑定等。
扩容
ZK在扩容方面的应用主要是ZK Rollup。ZK Rollup包括Sequencer和Aggregator两类角色。Sequencer负责打包交易,Aggregator将大量交易合并生成rollup并创建零知识证明,用于更新Layer 1状态。
ZK Rollup的优点包括:费用低、快速最终性、可保护隐私等。缺点包括:计算量大、安全性问题、可能改变交易顺序等。
目前主流的ZK Rollup项目有:StarkNet、zkSync、Aztec Connect、Polygon Hermez/Miden、Loopring、Scroll等。这些项目在技术路线上主要在SNARK(及改进版)和STARK之间选择,以及是否支持EVM。
EVM兼容性是ZK系统面临的一大挑战。目前主要有两种方案:完全兼容Solidity操作码,或设计新的ZK友好虚拟机并兼容Solidity。EVM兼容性的提升将影响ZK的开发生态和竞争格局。
三、ZK-SNARK的基本原理
ZK-SNARK代表"零知识简洁非交互式知识论证"。其核心特性包括:
Groth16的ZK-SNARK证明过程主要包括:
ZK-SNARK的原理、应用及其与ZK-STARK的关系等内容将在后续报告中详细探讨。