🔔 是时候进行 #ZKMeshMini 了,加入我们,一起回顾过去一周在 zk 领域的重大进展。 👾 @QuangVDao、@SuccinctJT、@Ingo_zk 共同撰写了一篇加速 Sum-Check 的论文。 👾 @CiaraNightingal 发布了一门关于在 @NoirLang 中开发的课程。 👾 @hexensio 撰写了一篇关于 ZK 中常见子群陷阱的文章。 👾 @RiscZero 发布了一份安全披露。 👾 @zksecurityXYZ 解释了 Greyhound 基于格的 SNARK。 🧵👇
@QuangVDao @SuccinctJT @Ingo_zk @CiaraNightingal @NoirLang @hexensio @QuangVDao、@SuccinctJT和@Ingo_zk的Suyash&Yuval共同撰写了一篇关于加速Sum-Check的激动人心的新论文,该论文使这个核心ZK构建块的改进提高了2-3倍。
Quang Dao
Quang Dao2025年6月17日
我关于优化 sum-check 协议的最新论文已经发表! 与@SuccinctJT和Ingonyama(Suyash和Yuval)联合工作。 这结合并扩展了之前两篇论文的结果,从而在 Jolt 中将 Spartan 的加速提高了 2-3 倍! 快速线程...🧵 1/
在她的7小时课程中,@CiaraNightingal 解释了从新手到部署用 @NoirLang 编写的 ZK-app 所需的一切,以及探索 Merkle 树、Poseidon 等更多内容!
Cyfrin Updraft 🟩
Cyfrin Updraft 🟩2025年6月12日
通过 @NoirLang 编程和 Updraft 上的 ZK 电路,快速启动您的 ZK 开发 🌟🚀 @CiaraNightingal 教您如何开发保护隐私的应用程序并提升您的技能。 学习构建: - ZK 电路 - 从零开始的 ZK 协议 并在链上验证证明! 👇
@QuangVDao @SuccinctJT @Ingo_zk @CiaraNightingal @NoirLang @hexensio @RiscZero 透露了一个缺失约束的漏洞,影响最近的 risc0-zkvm 版本中的所有 3 寄存器 RISC-V。所有合作伙伴已迁移到修补更新。
RISC Zero
RISC Zero2025年6月19日
RISC Zero 安全披露 最近在 rv32im 电路中发现了一个缺失的约束。此问题影响到 risc0-zkvm 2.0.0、2.0.1 和 2.0.2 中的任何 3 寄存器 RISC-V 指令(包括 remu 和 divu)。 此漏洞由 Christoph Hochrainer 通过我们的 @HackenProof 漏洞赏金计划报告。我们已将此漏洞的严重性评估为“严重”,并支付了 50,000 美元的赏金。 该问题已被修复,所有合作伙伴已迁移至 2.1.0 版本。 RISC Zero 始终致力于提供最高水平的透明度、主动安全和完整性。
@QuangVDao @SuccinctJT @Ingo_zk @CiaraNightingal @NoirLang @hexensio @RiscZero @zksecurityXYZ 对 Greyhound 进行了很好的解释,这是一种后量子基于格的多项承诺方案,其性能优于当前的 ECC SNARK,同时在量子安全性方面也具有合理的保障。
ZKV
ZKV2025年6月18日
后量子SNARK变得透明。 @zksecurityXYZ的Greyhound展示了如何 👇
@QuangVDao @SuccinctJT @Ingo_zk @CiaraNightingal @NoirLang @hexensio @RiscZero @zksecurityXYZ 如果你正在寻找下一个ZK领域的职位,或者想要进入这个领域,请查看ZK招聘板,了解这些优秀公司最新的招聘信息:
@QuangVDao @SuccinctJT @Ingo_zk @CiaraNightingal @NoirLang @hexensio @RiscZero @zksecurityXYZ 希望你们喜欢本周的 #ZKMeshMini! 订阅我们的新闻通讯,获取完整的 #ZKMesh,涵盖所有研究、文章、公告、活动……并跟踪 zk 领域的众多发展!
93