update

docs/zkweekly/2024/q4.md

@@ -6,6 +6,102 @@ outline: [2, 3]
 
 ## 十一月
 
+### 2024.11.27
+
+**【论文】**
+
+- Ingonyama在他们最新的notes《New Bears at the Bear Market: Introducing Polar Bear and Teddy Bear Prime Fields》中介绍了两个新域：Polar Bear $p_{PB} = 2^{40} - 2^{32} + 1$和Teddy Bear $p_{TB} = 2^{32} - 2^{30} + 1$及其性质。
+  [论文](https://github.com/ingonyama-zk/papers/blob/main/polar_bear_teddy_bear_prime_fields.pdf)
+
+- Wang等人在《Cirrus: Performant and Accountable Distributed SNARK》论文中提出了首个具有线性计算复杂度的可问责分布式SNARK证明生成协议，支持通用可信设置，并实现了高效的水平扩展和低通信成本。
+  [论文](https://eprint.iacr.org/2024/1873)
+
+- zkSecurity分享了零知识证明的发展历程，重点回顾了10篇具有里程碑意义的论文。
+  [博客](https://www.zksecurity.xyz/blog/posts/ten-zk-papers/)
+
+- Yang等人在《Siniel: Distributed Privacy-Preserving zkSNARK》论文中提出了一种zkSNARK隐私委托框架Siniel，基于PIOP和PCS构建，允许计算能力有限的证明者将证明生成任务委托给多个工作者，同时不泄露私有见证信息。
+  [论文](https://eprint.iacr.org/2024/1803)
+
+**【视频】**
+
+- Devcon7的视频都已经发布了，不过视频太多，推荐先从日程列表挑选，捡自己感兴趣的看。
+  [视频列表](https://www.youtube.com/@EthereumFoundation/videos)，
+  [日程列表](https://app.devcon.org/schedule)
+
+- Ingonyama发布视频《10x Faster Sumcheck over Binary Tower Fields》针对《The Sum-Check Protocol over Fields of Small Characteristic》论文进行讲解。
+  [视频](https://www.youtube.com/watch?v=9lldbNTqbYQ)
+
+- Ingonyama发布动画短视频《Sum-Check 101》形象化的介绍Sumcheck协议。
+  [视频](https://www.youtube.com/watch?v=vRaoCbkx_co)
+
+- Giacomo Fenzi发布视频《STARKs & Friends》介绍STARK及其相关证明算法。
+  [视频](https://www.youtube.com/watch?v=SRuMNuczum0)
+
+- ZK Hack组织社区系列视频共同阅读和学习《SNARGs Book》，由该书作者Chiesa教授主讲，正在连载。
+  [视频列表](https://www.youtube.com/playlist?list=PLzdJdAunCamkCulBWMHgwoXuJm7CypPUu)
+
+**【博客】**
+
+- Anon Aadhaar团队分享了在Devcon上关于ZKP、可编程加密（ProgCrypto）等隐私安全方向的思考。
+  [博客](https://hackmd.io/@wFJY6cGcRfmvPHiQ5VYP6w/S1fIC-DM1x)
+
+- zkSecurity在博客《Improving the Security of the Jolt zkVM》中披露了Jolt中的一个bug--将执行轨迹截断也能产生正确的proof，并进一步在博客《zkVM Security: What Could Go Wrong?》中探讨了zkVM的安全性问题。
+  [博客1](https://www.zksecurity.xyz/blog/posts/jolt-findings/)，
+  [博客2](https://www.zksecurity.xyz/blog/posts/zkvm-security/)
+
+- 在Devcon上被重点提出的"圣杯"概念--iO（Indistinguishability Obfuscation），也有博客在讨论。
+  [博客](https://www.leku.blog/io/)，
+  [中文翻译](https://mp.weixin.qq.com/s/8tUBVkdoR-NVBN3VKKz72Q)
+
+- Brevis提出了SpaZK，一种专注于ZKML协议，包括通过模型简化技术和专门设计的ZK证明协议实现近100倍的效率提升。
+  [博客](https://blog.brevis.network/2024/11/08/spazk-100x-faster-verifiable-ai-powered-by-cross-stack-zkml-optimization/)，
+  [𝕏](https://x.com/brevis_zk/status/1854705403759935740)
+
+- zkSecurity发布博客《ZNARKs: SNARKs for The Integers》，对利用整数域而非有限域的SNARK（出自论文《Fully-Succinct Arguments over the Integers from First Principles》）进行了介绍和解释。
+  [博客](https://www.zksecurity.xyz/blog/posts/znarks/)，
+  [对应论文](https://eprint.iacr.org/2024/1548)
+
+- Formal Land分享了针对Noir程序的正式验证工具coq-of-noir的详细内容，包括语义规则、内存处理和循环定义等方面的内容。
+  [博客](https://formal.land/blog/2024/11/15/tool-for-noir-2)
+
+**【开源】**
+
+- Polyhedra Network团队开源了Expander，宣称是迄今为止最快的ZK证明系统，其通过GKR协议与多项式承诺方案结合。
+  [代码](https://github.com/PolyhedraZK/Expander)
+
+- Scroll团队开源新的证明系统Ceno，基于GKR协议用于加速zkVM。
+  [代码](https://github.com/scroll-tech/ceno)，
+  [论文](https://eprint.iacr.org/2024/387)
+
+- RISC0发布了开源 Kailua，这是一个用于将OP升级为混合 ZK Rollup的方案。其引入的欺诈证明游戏，可以减少抵押要求和最终性延迟。
+  [代码](https://github.com/risc0/kailua)，
+  [链接](https://risczero.com/blog/introducing-kailua)，
+  [原理介绍](https://risczero.com/blog/kailua-how-it-works)
+
+- zkSecurity与Zircuit团队合作推出了Halo2开发的开源课程，旨在教授Rust开发者从零开始构建Halo2电路。
+  [代码](https://github.com/zksecurity/halo2-course)，
+  [课程主页](https://halo2.zksecurity.xyz/)
+
+- 有人发布了ZKP编程语言使用情况比较，并将比较代码进行了开源。一个有趣的数据：Circom电路代码仓库约600个，zkVM电路代码仓库约1200个。
+  [代码](https://github.com/ArmanKolozyan/ZKP-Languages)
+
+- 有人发布了zkVM的开发模版项目，一个脚本完成多个zkVM的设置，包括Jolt、SP1、RISC0。
+  [代码](https://github.com/MatteoMer/any-zkvm)
+
+- 有人利用SP1存储证明实现以太坊上的存储证明。
+  [代码](https://github.com/zkzoomer/sp1-storage-proof)
+
+**【信息】**
+
+- Antalpha Labs发布11月24日的ZKP相关总结笔记。
+  [链接](https://mp.weixin.qq.com/s/HkGq1aQ1aY7KYr9jcMLauw)
+
+- SP1/Jolt最近的一个工作重点是实现自动形式化证明（使用Lean），以提高代码实现的正确性。
+  [链接](https://a16zcrypto.com/posts/article/getting-bugs-out-of-snarks/)
+
+- zkSecurity团队发布了noname 3.0，包括原生提示、标准库和编译器可视化工具等。
+  [链接](https://www.zksecurity.xyz/blog/posts/noname-stdlib/)
+
 ### 2024.11.6
 
 **【论文】**