Gate 广场「创作者认证激励计划」开启:入驻广场,瓜分每月 $10,000 创作奖励! 
无论你是广场内容达人,还是来自其他平台的优质创作者,只要积极创作,就有机会赢取豪华代币奖池、Gate 精美周边、流量曝光等超 $10,000+ 丰厚奖励! 
参与资格: 
满足以下任一条件即可报名👇 
1️⃣ 其他平台已认证创作者 
2️⃣ 单一平台粉丝 ≥ 1000(不可多平台叠加) 
3️⃣ Gate 广场内符合粉丝与互动条件的认证创作者 
立即填写表单报名 👉 https://www.gate.com/questionnaire/7159 
✍️ 丰厚创作奖励等你拿: 
🎁 奖励一:新入驻创作者专属 $5,000 奖池 
成功入驻即可获认证徽章。 
首月发首帖(≥ 50 字或图文帖)即可得 $50 仓位体验券(限前100名)。 
🎁 奖励二:专属创作者月度奖池 $1,500 USDT 
每月发 ≥ 30 篇原创优质内容,根据发帖量、活跃天数、互动量、内容质量综合评分瓜分奖励。 
🎁 奖励三:连续活跃创作福利 
连续 3 个月活跃(每月 ≥ 30 篇内容)可获 Gate 精美周边礼包! 
🎁 奖励四:专属推广名额 
认证创作者每月可优先获得 1 次官方项目合作推广机会。 
🎁 奖励五:Gate 广场四千万级流量曝光 
【推荐关注】资源位、“优质认证创作者榜”展示、每周精选内容推荐及额外精选帖激励,多重曝光助你轻
详解 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 研究院将为您提供创新的观点和深入的分析。我们秉承开放、包容的精神,欢迎您的加入,共同学习和成长。