From 1d180b194455f30a31006cb32d4134f2cdf0092d Mon Sep 17 00:00:00 2001 From: Shuang Liang Date: Wed, 6 Nov 2024 21:59:53 +0800 Subject: [PATCH] updated --- docs/zkweekly/2024/q4.md | 166 +++++++++++++++++++++++++++++++++++++++ 1 file changed, 166 insertions(+) diff --git a/docs/zkweekly/2024/q4.md b/docs/zkweekly/2024/q4.md index 19b7a67..7678fef 100644 --- a/docs/zkweekly/2024/q4.md +++ b/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