🔵 #BTC能否冲上11万?#
比特币突破107,000美元,目前报价105,000美元,距离历史高点109,580万美元仅一步之遥。你觉得比特币能否刷新历史新高,冲击11万美元?请分享你的分析和预测!
🔵 #AI 代理板块市值回升#
据CoinGecko数据,AI代理板块总市值回升至68.62亿美元,过去24小时涨幅1.2%。其中,VIRTUAL大涨18.5%,AI16Z上涨7.1%。你看好哪些AI代币?如何布局你的持仓策略?来聊聊你的看法!
使用以上推荐话题发帖,发布你的观点与交易策略,每日发帖即可赚取社区成长值!
📌 每日发帖可获得 100 成长值,解锁专属福利:评论高亮、动态装饰、月度成长值抽奖等多重权益!
🎁 月度抽奖奖品包括 MacBook Air、精美周边、热门代币等超值好礼!
立即发帖 👉 https://www.gate.io/post
更多成长值任务,请更新 App 至最新版,并在【动态】头像旁点击成长值图标查看。
详解 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 研究院将为您提供创新的观点和深入的分析。我们秉承开放、包容的精神,欢迎您的加入,共同学习和成长。