diff --git a/docs/zkweekly/2024/q4.md b/docs/zkweekly/2024/q4.md index 7678fef..0c466cb 100644 --- a/docs/zkweekly/2024/q4.md +++ b/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 **【论文】**