Daily Digest 每日摘要 View All 查看全部

Alexander Frolov proposed a zero-knowledge memory checking technique for stacks and queues in the paper , optimizing the RAM scheme and reducing the requirement for multiplication gates and auxiliary values. Alexander Frolov在论文中提出了针对栈和队列的零知识内存检查技术，优化了RAM方案，减少了乘法门和辅助值的需求。

koukyosyumei has released MyZKP, an open-source zero-knowledge proof library built from scratch in Rust, intended as an educational resource for understanding and applying zero-knowledge proofs. koukyosyumei发布了MyZKP开源项目，这是一个用Rust从头开始构建的零知识证明库，旨在作为理解和应用零知识证明的教育资源。

Box et al. have released ZK101, an open-source educational platform designed to make zero-knowledge proof technology easy to understand and learn, offering courses ranging from basic to advanced levels, along with practical case studies and code examples. Box等人发布了ZK101开源教育平台，旨在使零知识证明技术易于理解和学习，包括从基础到高级的课程、实践案例和代码示例。

Nethermind has open-sourced LatticeFold. This is a Proof-of-Concept (PoC) implementation based on the LatticeFold scheme, which includes non-interactive folding scheme implementations, Ajtai commitment schemes, and R1CS/CCS structures. Nethermind开源了LatticeFold，这是一个基于LatticeFold方案概念验证实现，包含非交互式折叠方案实现、Ajtai承诺方案、R1CS/CCS结构等。

Liam Eagen and Ulrich Haböck proposed a method in their academic notes on , which bypasses the feature boundaries in logUp by abstracting the concept of pole multiplicity, making it applicable to Papini and Haböck's GKR variant and unlocking fractional decomposition lookup on the binary domain. Liam Eagen和Ulrich Haböck在学术笔记中提出了一种方法，通过抽象极点多重性的概念，绕过了logUp中的特征界限，并适用于Papini和Haböck的GKR变体，解锁了二进制域上的分数分解查找。

The Zero Knowledge Podcast has released 346 episodes, featuring Anna and Dan Boneh discussing the latest ZK research, including lattice-based SNARKs, applications of ZK in content provenance proofs, updates on ZK within FHE environments, and advancements in ZK for ML. Zero Knowledge Podcast发布了346集，Anna与Dan Boneh讨论了最新的ZK研究，包括基于格的SNARKs、ZK在内容来源证明中的应用、ZK在FHE环境中的更新以及ZK在ML中的进展。

POD.NETWORK discussed the necessity of consensus in blockchain, noting that consensus is not a requirement for building decentralized payments, as faster transaction finality can be achieved through consensusless protocols. POD.NETWORK讨论了区块链中共识的必要性，指出共识并非构建去中心化支付的必需，通过无共识协议可以实现更快的交易确认。

Community Privacy is hosting a 2-4 week residency project focused on researching, co-designing, prototyping, and building open-source applications for community privacy. The project will take place in Taipei from February 22 to March 22, 2025. Community Privacy组织了一个为期2-4周的驻地项目，专注于研究、共同设计、原型设计和构建社区隐私的开源应用。项目将于2025年2月22日至3月22日在台北举行。

nil-research explains their BOIL paper on the blog. It is an efficient aggregation scheme implemented using Reed-Solomon codes, applicable to any hash-based SNARK. nil-research在博客中对他们的论文BOIL进行解读，是一种用Reed-Solomon码实现了高效的累积方案，适用于任意基于哈希的SNARK。

Antalpha Lab has released the curriculum for zkVM. This 4-week course begins on December 30, 2024. Interested participants are welcome to register. Antalpha Lab发布zkVM的课程安排，从2024年12月30日开始的4周时间，欢迎感兴趣的同学报名。

Pierre et al. analyzed the gas efficiency of the WHIR polynomial commitment scheme in their blog post , open-sourcing an EVM verifier prototype that demonstrates gas cost optimization across various parameter settings. TLDR, the current gas cost is 1.3M. Pierre等人在博客中分析了WHIR多项式承诺方案的gas效率，开源了EVM验证器原型，展示了其在不同参数设置下的gas成本优化。TLDR，现在可做到1.3M gas。

The Lita team has released Valida 0.7.0, which for the first time supports the WASM compiler toolchain and enhances the development experience of the zkVM stack. Lita团队发布了Valida 0.7.0更新，首次支持WASM编译器工具链，并增强了zkVM堆栈的开发体验。

Josh Beal introduced a general accumulation scheme in the blog , applicable to protocols with special reliability (such as Protostar), which significantly improves the folding efficiency of pairing-based proofs. Josh Beal在博客中提出了一种通用的累积方案，适用于特殊可靠性的协议（类Protostar），显著提高了配对基论证的折叠效率。

Teams such as Axiom and Scroll have released OpenVM, an open-source zkVM framework that prioritizes modularity and scalability, allowing developers to add custom opcodes, circuits, and proving systems. Axiom, Scroll等团队发布了OpenVM开源项目，这是一个优先考虑模块化和可扩展性的zkVM框架，支持开发者添加自定义操作码、电路和证明系统。

Gu et al. introduced PoneglyphDB in their paper , which utilizes Non-interactive Zero-Knowledge Proofs (ZKPs) to ensure data confidentiality and the verifiability of query processing. Gu等人在论文中提出了PoneglyphDB，通过非交互式零知识证明（ZKP）支持数据保密性和查询处理的可验证性。

The NPLabs team presented a technical introduction by on hybrid Merkle Trees, discussing their applications in plonky3 and recursive proofs, and provided a detailed getting started guide. NPLabs团队分享了关于hybrid Merkle Trees的技术介绍，探讨了其在plonky3和递归证明中的应用，提供了详细的技术入门指南。

Frigo and shelat proposed a new anonymous credential scheme based on ECDSA in the paper , which solves SHA256 and document parsing issues using efficient zk proofs. This scheme is applicable to privacy-preserving digital identity applications without requiring changes to existing issuer workflows or devices. Frigo和shelat在论文中提出了一种基于ECDSA的新匿名凭证方案，通过高效的zk证明解决了SHA256和文档解析问题，无需更改现有发行者流程或设备，适用于隐私保护的数字身份应用。

Crypblizz featured providing an in-depth discussion on Privacy-Enhancing Technologies (PETs), covering the history, evolution, and significance of technologies such as MPC, FHE, TEE, and ZK within the Web3 industry. Crypblizz分享了对隐私增强技术（PETs）的深入探讨，涵盖了MPC、FHE、TEE和ZK等技术的历史、演变及其在Web3行业中的重要性。

The Shield Labs team has released the zkLogin open-source project, which allows users to perform self-hosted logins using Google/Apple accounts on Base (an EVM-compatible chain). shield-labs团队发布了zkLogin开源项目，允许用户在Base(兼容EVM)上使用Google/Apple账户进行自托管登录。

The Succinct team shared a detailed guide on zkVMs by in their ZK-Residency project, comparing the performance of various zkVMs—such as SP1, RISC0, Jolt, Nexus, Delphinus, and Powdr—across multiple cryptographic algorithms. Succinct团队在ZK-Residency项目中分享了关于zkVM的详细指南，比较了SP1、RISC0、Jolt、Nexus、Delphinus和Powdr等zkVM在多种加密算法上的表现。

Daniel Shorr has joined Tools for Humanity, dedicating himself to building the world's largest real human network by enabling private and secure authentication through zkAI technology. Daniel Shorr宣布加入Tools for Humanity，致力于构建全球最大的真实人类网络，通过zkAI技术实现隐私和安全的认证。

Lagrange has introduced the Infinite Proving Layer, expanding its ZK Prover Network to provide proof generation for ZK rollups. Lagrange推出了Infinite Proving Layer，扩展了其ZK Prover Network，为ZK rollups提供证明生成。

ZKV presented 's work on ZK technology applications on Sui, discussing critical issues such as privacy protection and security vulnerabilities. This includes use cases like zkLogin authentication and Kelp account recovery. ZKV分享了关于Sui上的ZK技术应用，讨论了隐私保护和安全漏洞等关键问题。涉及到zkLogin登录和Kelp账户恢复等应用。

rkdud007 has released the awesome-zkvm open-source zkVM list, which covers various projects and resources, offering features such as cross-comparison for parallel proofs and GPU proving. rkdud007发布了awesome-zkvm开源zkVM列表，涵盖了多个项目和资源，支持并行证明和GPU证明的横向对比等功能。

The video provides a detailed overview of the definition, properties, and applications of the folding scheme, including its advancements after the Nova scheme, particularly focusing on the definition and protocol of Hypernova. 视频详细介绍了折叠方案的定义、特性、应用及其在Nova方案后的进展，特别是Hypernova的定义和协议。

Fanka shared an analysis of the zkP2P protocol in a video and provided related resources. fanka在视频分享了zkP2P协议解析，并提供了相关资料链接。

ZK Hack hosted a workshop on performing range checks using Plonky3, led by Dominik Schmidt from Polygon Miden. He introduced ZK concepts and tools and launched the Puzzle V-3 competition. ZK Hack举办了一场关于使用Plonky3进行范围检查的工作坊，由Polygon Miden的Dominik Schmidt主讲，介绍了ZK概念和工具，并启动了Puzzle V-3竞赛。

Tekkac introduced how to use zero-knowledge proofs on Starknet in a blog post, detailing the process of proof generation and verification using Circom and Garaga. Tekkac在博客中介绍了如何在Starknet上使用零知识证明，并详细说明了使用Circom和Garaga进行证明生成和验证的过程。

In his blog post, Hannes explored the relationship between ZK and modular stacks, discussing how blockchain extends current computational paradigms and analyzing the potential of ZK and modularity to enhance efficiency and scalability. Hannes在博客中探讨了ZK与模块化堆栈的关系，讨论了区块链如何扩展当前计算范式，并分析了ZK和模块化在提高效率和扩展性方面的潜力。

The Blockblaz team has released Zeam, an open-source project that is a production-grade implementation of the Beam client written in Zig. It is designed to scale and decentralize the Ethereum consensus protocol through ZK-VMs. Blockblaz团队发布了Zeam开源项目，这是Zig实现的Beam客户端的生产级实现，旨在通过ZK-VMs大规模扩展和去中心化以太坊共识协议。

The Hylé blog post discusses zkChess, an email verifiable game engine built using zkEmail and RISC0, exploring the coolness of zkEmail and its applications in the crypto space. Hylé博客讨论了zkChess，一个使用zkEmail和RISC0构建的邮件可验证游戏引擎，探讨了zkEmail的酷炫之处及其在加密领域的应用。

The Aligned Foundation thanks engineers and researchers in the Ethereum and ZK fields, and invites them to check available investment slots on its website. Aligned Foundation感谢Ethereum和ZK领域的工程师和研究人员，并邀请他们通过其网站检查空投资格。

Baweja et al. introduced Scribe in their paper , a low-memory SNARK that efficiently proves statements by leveraging disk storage on inexpensive devices, thereby significantly reducing memory requirements and optimizing I/O costs. Baweja等人在论文中提出了Scribe，一种低内存SNARK，通过利用磁盘存储在廉价设备上高效证明大称述，显著减少内存需求并优化I/O成本。