ZKP News - 2024-11

Note: The following content was translated into English by AI.

2024.11.27

[Papers]

• Ingonyama’s note “New Bears at the Bear Market: Introducing Polar Bear and Teddy Bear Prime Fields” introduces two new fields: Polar Bear $p_{PB} = 2^{40} - 2^{32} + 1$ and Teddy Bear $p_{TB} = 2^{32} - 2^{30} + 1$. Paper

• Wang et al. publish “Cirrus: Performant and Accountable Distributed SNARK,” the first accountable distributed SNARK generation protocol with linear compute complexity, universal trusted setup, horizontal scalability, and low communication costs. Paper

• zkSecurity highlighted ten milestone papers chronicling the evolution of zero-knowledge proofs. Blog

• Yang et al. propose “Siniel: Distributed Privacy-Preserving zkSNARK,” a PIOP/PCS-based framework letting constrained provers delegate proving to multiple workers without leaking witnesses. Paper

[Videos]

• Devcon 7 recordings are out; start with the schedule to find sessions of interest. Videos | Schedule

• Ingonyama released “10x Faster Sumcheck over Binary Tower Fields,” explaining optimizations from “The Sum-Check Protocol over Fields of Small Characteristic.” Video

• Ingonyama also published “Sum-Check 101,” an animated primer on the protocol. Video

• Giacomo Fenzi’s “STARKs & Friends” surveys STARKs and related proof systems. Video

• ZK Hack is hosting a community video series reading the SNARGs Book with Professor Chiesa. Playlist

[Blogs]

• The Anon Aadhaar team reflected on ZKP and ProgCrypto themes from Devcon. Blog

• zkSecurity disclosed a Jolt bug in “Improving the Security of the Jolt zkVM” (truncating execution traces still produces a valid proof) and examined zkVM security risks in “zkVM Security: What Could Go Wrong?” Blog 1 | Blog 2

• Indistinguishability Obfuscation (iO) resurfaced at Devcon; this blog digs into the “holy grail.” Blog | Chinese translation

• Brevis introduced SpaZK, a ZKML-focused protocol claiming ~100× efficiency via model simplification and specialized proofs. Blog | 𝕏

• zkSecurity’s “ZNARKs: SNARKs for The Integers” reviews integer-based SNARKs from “Fully-Succinct Arguments over the Integers from First Principles.” Blog | Paper

• Formal Land detailed coq-of-noir, a formal verification toolkit for Noir programs covering semantics, memory, and loops. Blog

[Open Source]

• Polyhedra Network open-sourced Expander, which pairs GKR with polynomial commitments. Code

• Scroll released Ceno, a GKR-based prover to accelerate zkVMs. Code | Paper

• RISC Zero launched Kailua, upgrading OP chains into hybrid ZK rollups via a fraud-proof game that lowers collateral and finality delays. Code | Announcement | How it works

• zkSecurity and Zircuit released a Halo2 course for Rust developers. Code | Course site

• A language-usage comparison of ZKP DSLs—~600 Circom repos vs. ~1,200 zkVM repos—was published with source code. Code

• A new zkVM starter template script sets up Jolt, SP1, and RISC0. Code

• SP1-based storage proofs for Ethereum are now open source. Code

[Info]

• Antalpha Labs posted a November 24 zk roundup. Link

• SP1/Jolt teams are focusing on Lean-based formal proofs to tighten correctness. Link

• zkSecurity released noname 3.0 with native hints, a standard library, and compiler visualization tools. Link

2024.11.6

【论文】

• Lie等人在《Push-Button Verification for BitVM Implementations》论文中提出了一种针对BitVM实现的正式验证工具，设计了基于寄存器的DSL，简化了复杂堆栈操作，并通过CEGIS过程提升了验证效率，成功验证了94%的基准测试案例。 论文

• Tiancheng Xie发布技术报告《Advances in Zero-Knowledge Proofs: Bridging the Gap between Theory and Practice》，详细阐述了一系列零知识证明协议------Libra、deVirgo、Orion和Pianist。 论文

• Seungwoo Kim等人在《zkMarket : Privacy-preserving Digital Data Trade System via Blockchain》论文中提出了一种基于区块链的隐私保护数据交易系统zkMarket。该系统可确保交易隐私和公平性，并利用CP-SNARK和MatPRG提高了数据注册和交易的效率。 论文

• 张宗洋等人在《零知识证明递归与复合技术研究综述》论文中系统研究了零知识证明的递归与复合技术，分析了其在代数、非代数和复合断言中的应用，为提升协议性能和功能拓展提供了全面视角。 论文

【视频】

• Antalpha Lab组织了一系列的白板课程，涵盖ZKP相关的多个方面。 视频列表

• PSE组织了一系列的课程，涵盖FLIP、Pairing和椭圆曲线的相关方面内容。 视频列表

【博客】

• Succinct分享了EVM对象格式（EOF）升级（EIP-7692）对增强ZKP性能等方面的影响。 𝕏， 博客， EOF

• Mina讨论了Mina协议上的zkML，包括其在去中心化AI中的应用、计算验证和数据隐私保护等方面的内容。 博客

• ZEROBASE发布了开源的zkLogin框架，该框架旨在帮助Web3开发者扩展访问和功能。 𝕏， 博客

• Polyhedra 团队分享了在 GPU 加速 ZKP 方面的突破，包括 Sumcheck 协议的显著优化、提升轻客户端安全性和状态验证效率等内容。 𝕏， 博客

• TACEO团队在博客中探讨了诚实多数多方计算（MPC）在协同SNARKs（coSNARKs）中的效率，包括其安全模型和性能优势等方面的内容。 博客

【开源】

• Circle 和 Inco 发布了新的白皮书和开源代码库，实现Confidential ERC-20，通过全同态加密（FHE）保护用户隐私，同时保持合规控制。 𝕏， 博客， 代码

• Crema Labs 开源了利用SP1实现的 zkSXG 。 𝕏， 代码， 了解zkSXG

【信息】

• Antalpha Labs发布11月3日的ZKP相关总结笔记。 链接

• Argument宣布他们的Lurk（ZKP DSL）将在2025支持Lisp以外的语言，如OCaml和JavaScript，同时也将支持除Nova和Plonky3之外的Binius后端。 𝕏

• ICICLE 3.1发布，支持更多向量操作、支持更多Hash等功能。 𝕏， 新闻

• Valida提供了在线实验环境。 𝕏， 链接

• Fabric 和 RISC Zero 达成合作，以加速 VPU 上的 Boundless。 𝕏

• Scroll 发布了 Scroll SDK 和 Gadgets，包括生产就绪的基础设施和定制模块。 𝕏， 新闻

• =nil; Foundation发布了Testnet v1。 𝕏

• BitVM生态参与者Citrea宣布14M的融资。 𝕏

• Snarkify团队在ZPrize竞赛中再次获胜，专注于基于BLS12-381使用Plonk证明系统加速Merkle树证明，实现了单个商用GPU上比CPU基准快900倍的突破。 𝕏

• RISC Zero团队发布了zkVM的v0.15版本，引入了continuations功能，能够更好的支持并行，并运行任意长度的指令。 链接

• Chainlink发布了隐私保护套件，包括CCIP隐私交易、区块链隐私管理器和DECO沙盒，重要特性是利用ZKP确保跨链交易的数据保密性和合规性。 链接

• Lagrange发布了DARA，这是一种专为ZK证明网络设计的新型双拍卖资源分配机制，实现证明网络的高效资源分配。 链接

• Space and Time发布了SXT Chain Testnet，其提供ZK-proven数据处理能力，使智能合约能够访问更多数据源。 链接

• powdr labs 发布了 powdrVM 0.1，包括支持多种后端（Plonky3、Halo2、PIL STARK、Eigen’s Starky）、标准 Rust 兼容性和模块化架构，重要特性是未来适应性和高性能。 𝕏， 链接

【工具】

• 有人发布了ZK统计数据，包括以太坊主网ZK项目的证明量及费用支出。 链接

【活动】（曼谷专场ZKP活动精选）

• 11月8日～10日 白天，《MEME.ZKWASM() Bangkok Hackathon》，主办：Delphinus Lab。 链接

• 11月9日 白天，《House ZeR0 Day: Fenbushi Research House》，主办：RISC0。 链接

• 11月10日～11日 白天，《ZK Hub Bangkok》，主办：ZK Hub。 链接

• 11月10日 下午，《Proof Summit @ Devcon》，主办：Lagrange。 链接

• 11月10日 晚上，《PROVABLE Bangkok》，主办：RISC0，Celestia。 链接

• 11月10日～11日 白天，《Aggregation Summit》，主办：Polygon。 链接

• 11月11日 白天，《ZK Accelerate》，主办：Ingonyama。 链接

• 11月11日 白天，《Aztec NoirCon 0》，主办：Aztec。 链接

• 11月11日 下午，《ZK Connect》，主办：Brevis。 链接

• 11月11日 晚上，《ZK Hack Meetup in Bangkok》，主办：ZK Hack。 链接

• 11月11日 晚上，《ZK Night @ Devcon》，主办：ETH Belgrade。 链接

• 11月13日 白天，《FHECon: The Frontier of Digital Sovereignty》，主办：zkBankai。 链接

• 11月13日 下午，《zkBankai PlonkCafÈ》，主办：zkBankai。 链接

• 11月14日 下午，《Encryption Day: ZK, FHE, & MPC》，主办：Fhenix。 链接

• 11月14日 晚上，《zkSecurity + Lita Meetup》，主办：zkSecurity。 链接

• 11月16日 白天，《zkTLS for Founders》，主办：Madhavan。 链接

• 其他相关活动参见活动列表。 活动列表1， 活动列表2