updated

docs/zkweekly/2024/q4.md

@@ -4,6 +4,172 @@ outline: [2, 3]
 
 # 2024Q4 ZKP新闻
 
+## 十一月
+
+### 2024.11.6
+
+**【论文】**
+
+- Lie等人在《Push-Button Verification for BitVM Implementations》论文中提出了一种针对BitVM实现的正式验证工具，设计了基于寄存器的DSL，简化了复杂堆栈操作，并通过CEGIS过程提升了验证效率，成功验证了94%的基准测试案例。
+  [论文](https://eprint.iacr.org/2024/1768)
+
+- Tiancheng Xie发布技术报告《Advances in Zero-Knowledge Proofs: Bridging the Gap between Theory and Practice》，详细阐述了一系列零知识证明协议------Libra、deVirgo、Orion和Pianist。
+  [论文](https://www2.eecs.berkeley.edu/Pubs/TechRpts/2024/EECS-2024-35.pdf)
+
+- Seungwoo Kim等人在《zkMarket : Privacy-preserving Digital Data Trade System via Blockchain》论文中提出了一种基于区块链的隐私保护数据交易系统zkMarket。该系统可确保交易隐私和公平性，并利用CP-SNARK和MatPRG提高了数据注册和交易的效率。
+  [论文](https://eprint.iacr.org/2024/1775)
+
+- 张宗洋等人在《零知识证明递归与复合技术研究综述》论文中系统研究了零知识证明的递归与复合技术，分析了其在代数、非代数和复合断言中的应用，为提升协议性能和功能拓展提供了全面视角。
+  [论文](http://cjc.ict.ac.cn/online/onlinepaper/zzy-2024928120157.pdf)
+
+**【视频】**
+
+- Antalpha Lab组织了一系列的白板课程，涵盖ZKP相关的多个方面。
+  [视频列表](https://www.youtube.com/playlist?list=PLbQFt1T_44DyNziR5WEwIM6T1ZCjnZnDH)
+
+- PSE组织了一系列的课程，涵盖FLIP、Pairing和椭圆曲线的相关方面内容。
+  [视频列表](https://www.youtube.com/@privacyscalingexplorations-1/videos)
+
+**【博客】**
+
+- Succinct分享了EVM对象格式（EOF）升级（EIP-7692）对增强ZKP性能等方面的影响。
+  [𝕏](https://x.com/cairoeth/status/1853521032826745032)，
+  [博客](https://blog.succinct.xyz/eofbenefits/)，
+  [EOF](https://evmobjectformat.org/)
+
+- Mina讨论了Mina协议上的zkML，包括其在去中心化AI中的应用、计算验证和数据隐私保护等方面的内容。
+  [博客](https://minaprotocol.com/blog/zero-knowledge-machine-learning-on-the-mina-protocol)
+
+- ZEROBASE发布了开源的zkLogin框架，该框架旨在帮助Web3开发者扩展访问和功能。
+  [𝕏](https://x.com/zerobasezk/status/1850955259327250588)，
+  [博客](https://ethresear.ch/t/zklogin-framework-based-on-4337-contract-wallet/20855)
+
+- Polyhedra 团队分享了在 GPU 加速 ZKP 方面的突破，包括 Sumcheck 协议的显著优化、提升轻客户端安全性和状态验证效率等内容。
+  [𝕏](https://x.com/zhenfei_zhang/status/1850960154490978569)，
+  [博客](https://github.com/PolyhedraZK/blogs/blob/main/blogs/sumcheck_cuda.md)
+
+- TACEO团队在博客中探讨了诚实多数多方计算（MPC）在协同SNARKs（coSNARKs）中的效率，包括其安全模型和性能优势等方面的内容。
+  [博客](https://blog.taceo.io/honest-majority-mpc-for-cosnarks/)
+
+**【开源】**
+
+- Circle 和 Inco 发布了新的白皮书和开源代码库，实现Confidential ERC-20，通过全同态加密（FHE）保护用户隐私，同时保持合规控制。
+  [𝕏](https://x.com/BuildOnCircle/status/1850917702497714561)，
+  [博客](https://circle.com/blog/confidential-erc-20-framework-for-compliant-on-chain-privacy)，
+  [代码](https://github.com/Inco-fhevm/confidential-erc20-framework)
+
+- Crema Labs 开源了利用SP1实现的 zkSXG 。
+  [𝕏](https://x.com/CremaLabs/status/1847182768306053583)，
+  [代码](https://github.com/crema-labs/sxg-sp1)，
+  [了解zkSXG](https://vivs.wiki/blog/SXG)
+
+**【信息】**
+
+- Antalpha Labs发布11月3日的ZKP相关总结笔记。
+  [链接](https://mp.weixin.qq.com/s/IrlWA_Cc0j35JziXtmx3CQ)
+
+- Argument宣布他们的Lurk（ZKP DSL）将在2025支持Lisp以外的语言，如OCaml和JavaScript，同时也将支持除Nova和Plonky3之外的Binius后端。
+  [𝕏](https://x.com/argumentxyz/status/1853890091980308820)
+
+- ICICLE 3.1发布，支持更多向量操作、支持更多Hash等功能。
+  [𝕏](https://x.com/Ingo_zk/status/1853822116271169767)，
+  [新闻](https://medium.com/@ingonyama/icicle-v3-1-more-passion-more-energy-more-zk-performance-95c3aff4b295)
+
+- Valida提供了在线实验环境。
+  [𝕏](https://x.com/0xLita/status/1853835715622338724)，
+  [链接](https://valida.dev/)
+
+- Fabric 和 RISC Zero 达成合作，以加速 VPU 上的 Boundless。
+  [𝕏](https://x.com/dlubarov/status/1845862467315920940)
+
+- Scroll 发布了 Scroll SDK 和 Gadgets，包括生产就绪的基础设施和定制模块。
+  [𝕏](https://x.com/Scroll_ZKP/status/1851977209122296021)，
+  [新闻](https://scroll.io/blog/scroll-sdk-and-gadgets-building-the-foundation-for-ethereums-multichain-future)
+
+- =nil; Foundation发布了Testnet v1。
+  [𝕏](https://x.com/nil_foundation/status/1852408011115114528)
+
+- BitVM生态参与者Citrea宣布14M的融资。
+  [𝕏](https://x.com/citrea_xyz/status/1851994301514825902)
+
+- Snarkify团队在ZPrize竞赛中再次获胜，专注于基于BLS12-381使用Plonk证明系统加速Merkle树证明，实现了单个商用GPU上比CPU基准快900倍的突破。
+  [𝕏](https://x.com/Snarkify_ZKP/status/1852114219652526282)
+
+- RISC Zero团队发布了zkVM的v0.15版本，引入了continuations功能，能够更好的支持并行，并运行任意长度的指令。
+  [链接](https://risczero.com/blog/continuations)
+
+- Chainlink发布了隐私保护套件，包括CCIP隐私交易、区块链隐私管理器和DECO沙盒，重要特性是利用ZKP确保跨链交易的数据保密性和合规性。
+  [链接](https://blog.chain.link/ccip-private-transactions-blockchain-privacy-manager/)
+
+- Lagrange发布了DARA，这是一种专为ZK证明网络设计的新型双拍卖资源分配机制，实现证明网络的高效资源分配。
+  [链接](https://www.lagrange.dev/blog/dara-a-new-design)
+
+- Space and Time发布了SXT Chain Testnet，其提供ZK-proven数据处理能力，使智能合约能够访问更多数据源。
+  [链接](https://www.spaceandtime.io/blog/introducing-sxt-chain)
+
+- powdr labs 发布了 powdrVM 0.1，包括支持多种后端（Plonky3、Halo2、PIL STARK、Eigen\'s Starky）、标准 Rust 兼容性和模块化架构，重要特性是未来适应性和高性能。
+  [𝕏](https://x.com/powdr_labs/status/1851682014505669002)，
+  [链接](https://www.powdr.org/blog/powdrvm)
+
+**【工具】**
+
+- 有人发布了ZK统计数据，包括以太坊主网ZK项目的证明量及费用支出。
+  [链接](https://zkstats.io/)
+
+**【活动】**（曼谷专场ZKP活动精选）
+
+- 11月8日～10日 白天，《MEME.ZKWASM() Bangkok Hackathon》，主办：Delphinus Lab。
+  [链接](https://lu.ma/v9z0y1cz)
+
+- 11月9日 白天，《House ZeR0 Day: Fenbushi Research House》，主办：RISC0。
+  [链接](https://lu.ma/x5ucfroh)
+
+- 11月10日～11日 白天，《ZK Hub Bangkok》，主办：ZK Hub。
+  [链接](https://blocklive.io/zkhub_bkk)
+
+- 11月10日 下午，《Proof Summit @ Devcon》，主办：Lagrange。
+  [链接](https://lu.ma/proofsummit?tk=MORlzo)
+
+- 11月10日 晚上，《PROVABLE Bangkok》，主办：RISC0，Celestia。
+  [链接](https://lu.ma/voipa6gk)
+
+- 11月10日～11日 白天，《Aggregation Summit》，主办：Polygon。
+  [链接](https://www.agglayer.dev/)
+
+- 11月11日 白天，《ZK Accelerate》，主办：Ingonyama。
+  [链接](https://lu.ma/zkathailand)
+
+- 11月11日 白天，《Aztec NoirCon 0》，主办：Aztec。
+  [链接](https://lu.ma/99uvs30z)
+
+- 11月11日 下午，《ZK Connect》，主办：Brevis。
+  [链接](https://lu.ma/hz2596v7)
+
+- 11月11日 晚上，《ZK Hack Meetup in Bangkok》，主办：ZK Hack。
+  [链接](https://lu.ma/x2w0t0s2)
+
+- 11月11日 晚上，《ZK Night @ Devcon》，主办：ETH Belgrade。
+  [链接](https://lu.ma/75jsm5pm)
+
+- 11月13日 白天，《FHECon: The Frontier of Digital Sovereignty》，主办：zkBankai。
+  [链接](https://lu.ma/q12gxsir)
+
+- 11月13日 下午，《zkBankai PlonkCafÈ》，主办：zkBankai。
+  [链接](https://lu.ma/8pvtp6al)
+
+- 11月14日 下午，《Encryption Day: ZK, FHE, & MPC》，主办：Fhenix。
+  [链接](https://lu.ma/4xglzrk8)
+
+- 11月14日 晚上，《zkSecurity + Lita Meetup》，主办：zkSecurity。
+  [链接](https://lu.ma/xw3ceayi)
+
+- 11月16日 白天，《zkTLS for Founders》，主办：Madhavan。
+  [链接](https://lu.ma/enp169rq)
+
+- 其他相关活动参见活动列表。
+  [活动列表1](https://devcon.0xsmit.com/events)，
+  [活动列表2](https://lu.ma/devcon)
+
 ## 十月
 
 ### 2024.10.23