📢 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-SNARKs 在 Filecoin 网络中的应用
撰文:大有 IPFS 研究院
zk-SNARKs(零知识简洁非交互式知识论证),为一方提供了向另一方证明他们知道秘密而不泄露秘密本身的能力。zk-SNARKs 允许与区块链中未知和不受信任的各方进行安全、私密的交互。
**Filecoin 网络目前每天生成 600 - 700 万个 zk-SNARK 证明,每个证明包含超过 1 亿个算术约束。**为了实现这一目标,我们—— 协议实验室改进并大量优化了现有的 snark 生成工具,使其能够扩展以满足我们前所未有的需求。
Filecoin 是迄今为止最大的 zk-SNARK 网络。
几个方面:
所有这些都有助于 Filecoin 证明生产中更多信息的能力。
Tau 的力量与建立信任
为了支持 Filecoin 所需的限制数量,我们运行了一个新的 Tau 权力仪式,在 Zcash 运行的仪式上增加了 64 倍的支持数量。这使我们能够生成超过 1 亿个约束的证明,仅受分布的参数大小的限制。
为了支持我们的大型电路的第二阶段 ( 特定电路 ) 可信设置,我们实现了一些技术,以显着减少 RAM 使用,允许并行性,并减少 I/O 开销 - 以便允许使用实用硬件的各方在仪式举行的 7 周内参与。
使用基于 GPU 的证明程序
zk- snark 的生成很快成为瓶颈,因此昂贵的部分是使用 OpenCL 和 CUDA 在 GPU 上实现的。由于支持证明生成的核心操作具有高度并行性,因此我们利用现代通用 GPU 计算将其从 CPU 中卸载。
**这允许更高的吞吐量,同时也创造了经济效率。**通过将可并行工作转移到相对便宜的并行处理器上,我们可以为用于创建数据挖掘者的高顺序和内存密集型工作保持主内存和 CPU 空闲。
低电平域算法是生成和验证 zk- snark 时执行的大多数操作的基础。**blst 库在汇编和 C 语言中实现了关键部分,以从 CPU 中获得最后的性能。**为了确保这些优化不会损害安全性,该代码 ( 甚至汇编语言!) 正在由 Galois 进行正式验证。
更强大的批量验证
为了提高多个 zk- snark 的验证速度,实现了批量验证。这是 Zcash 规范附录 B2 中描述的一种技术,但尚未使用。这允许减少需要执行的 Miller 循环 ( 验证过程中最昂贵的操作 ) 的数量,从而在一次查看多个验证时大大减少。
尽管批处理验证有帮助,但我们需要更快的验证,所以我们实现了 SnarkPack。这允许我们将许多 zk- snark 聚合到一个组合证明中。这种优化不仅在规模上将验证时间减少了 10 倍以上,而且还通过减少必须提交给链的每个证明的平均字节数来减少链带宽。
为了实现这一点,我们在内部产品论证的基础上进行了研究,并与作者合作扩展了它,以支持我们的需求,而不需要新的可信设置。我们通过使用两个现有的 power of Tau 可信设置来调整技术以安全地应用,从而实现了这一点。这是一个很好的例子,说明我们在历史上必须克服障碍,以实现突破性的规模。
大有 IPFS 研究院将持续关注围绕 Filecoin 项目的最新消息。
无论您是新手还是资深从业者,大有 IPFS 研究院将为您提供创新的观点和深入的分析。我们秉承开放、包容的精神,欢迎您的加入,共同学习和成长。