📢 Gate广场 #MBG任务挑战# 发帖赢大奖活动火热开启!
想要瓜分1,000枚MBG?现在就来参与,展示你的洞察与实操,成为MBG推广达人!
💰️ 本期将评选出20位优质发帖用户,每人可轻松获得50枚MBG!
如何参与:
1️⃣ 调研MBG项目
对MBG的基本面、社区治理、发展目标、代币经济模型等方面进行研究,分享你对项目的深度研究。
2️⃣ 参与并分享真实体验
参与MBG相关活动(包括CandyDrop、Launchpool或现货交易),并晒出你的参与截图、收益图或实用教程。可以是收益展示、简明易懂的新手攻略、小窍门,也可以是现货行情点位分析,内容详实优先。
3️⃣ 鼓励带新互动
如果你的帖子吸引到他人参与活动,或者有好友评论“已参与/已交易”,将大幅提升你的获奖概率!
MBG热门活动(帖文需附下列活动链接):
Gate第287期Launchpool:MBG — 质押ETH、MBG即可免费瓜分112,500 MBG,每小时领取奖励!参与攻略见公告:https://www.gate.com/announcements/article/46230
Gate CandyDrop第55期:CandyDrop x MBG — 通过首次交易、交易MBG、邀请好友注册交易即可分187,500 MBG!参与攻略见公告:https://www.gate.com/announcements
零知识证明发展史:从理论到ZK Rollup应用
零知识证明的发展与应用
一、零知识证明的历史沿革
零知识证明体系的现代概念源于1985年Goldwasser、Micali和Rackoff合著的论文。该论文探讨了在交互系统中,通过有限轮次的交互来证明一个陈述的正确性所需交换的知识量。如果可以实现零知识交换,即被称为零知识证明。
早期的零知识证明系统在实用性方面存在不足,主要停留在理论层面。近十年来,随着密码学在加密货币领域的兴起,零知识证明逐渐成为一个重要方向。其中,开发通用、非交互式且证明体积有限的零知识证明协议是关键探索方向之一。
零知识证明的重大突破是Groth在2010年发表的论文,为zk-SNARK奠定了理论基础。在应用层面,2015年Zcash采用的零知识证明系统实现了交易隐私保护,开启了零知识证明更广泛的应用场景。
此后,一系列重要的学术成果不断涌现:
此外,PLONK、Halo2等进展也对zk-SNARK做出了改进。
二、零知识证明的主要应用
零知识证明最广泛的两个应用是隐私保护和扩容。
在隐私保护方面,代表性项目包括Zcash、Monero等。以Zcash为例,其使用zk-SNARKs实现隐私交易的步骤包括:系统设置、密钥生成、铸币、转账、验证和接收等环节。然而,Zcash仍有一些局限性,如基于UTXO模型、难以扩展等。
在扩容方面,ZK Rollup是一个重要应用。ZK Rollup包含Sequencer和Aggregator两类角色:Sequencer负责打包交易,Aggregator负责将大量交易合并并生成证明。ZK Rollup的优势在于低费用、快速最终性等,但也存在计算量大、潜在安全问题等缺点。
目前市场上主要的ZK Rollup项目包括StarkNet、zkSync、Aztec Connect、Polygon Hermez等。这些项目在技术路线上主要在SNARK和STARK之间选择,以及对EVM的支持程度。
三、ZK-SNARK的基本原理
ZK-SNARK (零知识简洁非交互式知识论证)具有以下特性:
以Groth16为例,ZK-SNARK的证明原理包括:
ZK-SNARK为零知识证明的广泛应用奠定了基础,但仍存在一些局限性。未来还需要进一步优化和改进,以适应更多应用场景的需求。