diff --git a/docs/zkweekly/2024/q3.md b/docs/zkweekly/2024/q3.md index abf4c8a..3984b86 100644 --- a/docs/zkweekly/2024/q3.md +++ b/docs/zkweekly/2024/q3.md @@ -6,6 +6,55 @@ outline: [2, 3] ## 九月 +### 2024.9.25 + +**【视频】** + +- Kothapalli(Protocol Labs)在a16z组织的活动中分享了《HyperNova: Toward practical zero-knowledge virtual machines》,介绍了设计细节。 + [视频](https://www.youtube.com/watch?v=TP1W-E2kuro) + +- Baldimtsi(Mysten Labs)在a16z组织的活动中分享了《A novel approach to proof-of-replication via polynomial evaluation》,基于多项式评估的新型Proof-of-Replication方案。 + [视频](https://www.youtube.com/watch?v=y_KYEBJLKhU) + +- Quang Dao(卡内基梅隆大学)在a16z的活动中分享了《Advanced security for SNARKs: A survey》,是关于零知识SNARKs高级安全性的最新研究。 + [视频](https://www.youtube.com/watch?v=2_4vachdehs) + +- Reclaim上传了一系列使用Reclaim框架创建的zkTLS类应用视频展示。 + [视频列表](https://www.youtube.com/@ReclaimProtocol/videos) + +- zkMonk发布了一系列的ZK入门课程,内容偏向理论。 + [视频列表](https://www.youtube.com/playlist?list=PLfrTTN65DWwkpiKMOlGW1tcB-X1SGqTxm) + +**【博客】** + +- 有人分享了对Nova方案的小幅改进,并命名为Ova,包括减少递归电路大小等方面的内容。 + [博客](https://hackmd.io/V4838nnlRKal9ZiTHiGYzw) + +- zkSecurity的Giorgio分享了他在MOCA CTF题目"2+2=5"的解法《A challenge on the Jolt zkVM》,涉及在Jolt zkVM上为RISC-V程序的无效执行创建证明。该挑战利用了Jolt库的修改版本。 + [博客](https://www.zksecurity.xyz/blog/posts/jolt-challenge/) + +- Argument发博客《RISC-V ZKVMs: the Good and the Bad》探讨了RISC-V ZKVMs的优势和不足。 + [博客](https://argument.xyz/blog/riscv-good-bad/) + +**【开源】** + +- Semaphore 团队发布了 V4 版本,包括 LeanIMT 和 EdDSA 身份等更新。重要特性是降低 gas 成本 30-80%,并提高消息签名和验证的效率。 + [代码](https://github.com/semaphore-protocol/semaphore) + +**【信息】** + +- Antalpha Labs发布9月22日的ZKP相关总结笔记。 + [链接](https://mp.weixin.qq.com/s/jG6raWK3jHA7dGbV9Mx9og) + +- 2024年9月18日,Aleo主网正式上线。 + [新闻](https://aleo.org/post/announcing-aleo-mainnet/) + +- STARKWARE和ZKM联合主办的House of ZK线上虚拟会议将在2024年10月15日21:30(UTC+8)举办。 + [链接](https://www.hozk.io/events) + +- ZKsync 团队发布了 Prover API,该 API 允许任何人生成证明并验证其正确性。 + [链接](https://zksync.mirror.xyz/1HzbsDVMQeE3P-DgysjKzagNnHehwCIrC1QA9XcNRnk) + ### 2024.9.18 **【论文】**