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

coset-io has released the Plonky3 Python Notebook, an educational resource designed to demystify the internal workings of the Plonky3 proof system through interactive Python notebooks, making advanced ZK technologies more accessible to developers. coset-io发布了Plonky3 Python Notebook，这是一个教育资源，旨在通过交互式Python笔记本揭示Plonky3证明系统的内部工作原理，使高级ZK技术更易于开发者理解。

Hashcloak shared their work and experience on Noir Research Grant (NRG) #2, implementing machine learning functionalities in an MPC and ZK combined environment, specifically logistic regression implemented in Noir and executed via co-noir. Hashcloak分享了他们在Noir研究资助请求（NRG）#2上的工作和经验，实现了在MPC和ZK结合的环境下的机器学习功能，特别是在Noir中实现逻辑回归并通过co-noir执行。

@zksecurityXYZ discussed the concept of zkVM and its applications in blockchain in their blog post , covering the development history and technical features of projects such as Cairo, RISC Zero, and Jolt/Lasso. @zksecurityXYZ 在博客中讨论了zkVM的概念及其在区块链中的应用，包括Cairo、RISC Zero和Jolt/Lasso等项目的发展历程和技术特点。

Danboneh et al. proposed research on context-aware threshold decryption in the paper, covering definitions, construction, security proofs, and applications, notably introducing a new security feature: context-dependent decryption. Those interested can check out today's daily ZKP insights. @danboneh 等人在论文中提出了上下文高门限解密的研究，包括定义、构建、安全证明和应用，特别是引入了上下文依赖解密的新安全特性。感兴趣的可以先查看今天的每日ZKP见解。

@NethermindEth has open-sourced the Surveyor project, which supports converting R1CS binary format to a Lean extractor and is written in Haskell for formal verification of R1CS. @NethermindEth 团队开源了Surveyor项目，支持将R1CS二进制格式转换为Lean提取器，依赖Haskell，用于对R1CS进行形式化证明。

Antonio Mejías Gil discussed the anonymous revocation design of the Tornado Cash protocol in his blog post , proposing a modification that allows specific entities to revoke user anonymity. Antonio Mejías Gil在博客中讨论了Tornado Cash协议的匿名撤销设计，提出了一种允许特定实体撤销用户匿名性的修改方案。

The open-source project from the @tiktok_us team aims to solve the problem where Trusted Execution Environment (TEE) requires a Remote Attestation (RA) service. They utilize ZKP to create an authentication system that does not require a trusted third party. The circuit is written in Circom and supports Groth16. @tiktok_us 团队的开源项目，旨在解决TEE环境需要信任远程认证(RA)服务，他们利用ZKP创建无需信任第三方的认证系统，电路用Circom编写， 支持Groth16。

Star Li shared the transition from zero-knowledge proofs to AI in the blog post , including a review of their achievements and the journey and methods behind the shift to AI. Star Li在博客中分享了从零知识证明到AI的转变，包括他们的成绩回顾，以及转向AI的心路和方式。

NoirCon 1, hosted by NoirLang, will be held in Denver and will feature in-depth technical discussions on AI and privacy applications, as well as real-world case studies of privacy-preserving development. @NoirLang 主办的 NoirCon 1 将于 Denver 举行，包括AI与隐私应用的技术深度探讨和隐私优先开发的真实案例研究。

zkintro shared a blog post on the mathematical foundations of ZKPs, aiming to provide an intuitive understanding for high school students or STEM graduates, covering key concepts such as circuits, functional completeness, commitments, secret sharing, and sigma protocols. zkintro 分享了关于ZKP数学基础的博客，旨在为高中学生或STEM毕业生提供直观理解，包括电路、功能完备性、承诺、秘密共享和sigma协议等关键概念。

ethproofs.org is a Ethereum block proof browser that aggregates data from various zkVM teams (currently including data from @succinctlabs and @snarkify_zkp), providing a comprehensive overview of block proofs. ethproofs.org 是以太坊区块证明浏览器，汇总各 zkVM 团队数据（目前包括 @succinctlabs 和 @snarkify_zkp 的数据），提供区块证明的全面概览。

@zksecurityXYZ discussed MPC-in-the-Head conversion in the blog post , a method for constructing zero-knowledge proof systems from any MPC protocol, and discussed its application in developing post-quantum signature schemes. @zksecurityXYZ 在博客中探讨了MPC-in-the-Head转换，这是一种从任何MPC协议构建零知识证明系统的方法，并讨论了其在开发后量子签名方案中的应用。

Hadas Zeilberger proposed in the paper a method to reduce the communication complexity of code-based SNARKs by utilizing the "related consistency" property of linear codes. This work demonstrates that when the vector $\pi_L + r\pi_R$ is close to a codeword, then $\pi_L$, $\pi_R$, and $\pi_L + r\pi_R$ are also consistent with the codeword at specific positions. This property significantly reduces communication complexity. Hadas Zeilberger在论文中提出了一种降低基于编码的SNARKs通信复杂性的方法，利用线性码的“相关一致性”性质，证明当向量𝜋𝐿 + 𝑟𝜋𝑅接近某个码字时，𝜋𝐿、𝜋𝑅和𝜋𝐿 + 𝑟𝜋𝑅在特定位置上也与码字一致。这一性质能显著降低了通信复杂性。

Wilson Nguyen and Srinath Setty introduced Neo in the paper, a novel lattice-based folding scheme for CCS. By adapting the HyperNova folding scheme to lattice settings, Neo addresses the limitations of LatticeFold, provides post-quantum security, and introduces bit-costed commitments. Wilson Nguyen和Srinath Setty在论文中提出了Neo，一种新的基于格的折叠方案，适用于CCS。Neo通过适应HyperNova的折叠方案到格设置，解决了LatticeFold的局限性，提供了后量子安全性，并引入了按位付费的承诺成本。

@zksecurityXYZ shared an inflation vulnerability discovered in the Aleo mainnet through their blog post , detailing the background of the vulnerability, potential exploitation methods, and the remediation process. @zksecurityXYZ 团队通过博客分享了在Aleo主网中发现的一个通胀漏洞，详细描述了漏洞的背景、可能的利用方式以及修复过程。

Leku discussed the feasibility of building Tornado Cash using FHE in the blog, comparing the differences between ZK and FHE in privacy-preserving applications, and pointed out that FHE is inferior to the ZK version in terms of anonymity, amount privacy, and security. Leku在博客中讨论了使用FHE构建Tornado Cash的可行性，比较了ZK和FHE在隐私保护应用中的差异，并指出FHE在匿名性、金额隐私和安全性方面表现不如ZK版本。

@SindriLabs provides a cloud platform for developers, focusing on zero-knowledge proof development, supporting technologies like zkSNARKs, aiming to simplify the creation and deployment process of ZKP applications. @SindriLabs 为开发者提供了一个云平台，专注于零知识证明的开发，支持zkSNARK等技术，旨在简化ZKP应用的创建和部署过程。

@SuiNetwork has announced the SuiOverflow 2025 hackathon, offering over $500,000 in prizes across eight tracks, including DeFi, AI, and cryptography. This encourages developers to innovate on the Sui platform. ZK-related projects are also welcome to participate. @SuiNetwork 宣布了SuiOverflow 2025黑客马拉松，提供超过$500,000的奖金，涵盖DeFi、AI、密码学技术等8个赛道，鼓励开发者基于Sui平台进行创新。ZK相关的项目也可以参与。

@NexusLabs has launched Nexus Layer 1, which can now be 'mined' directly in the browser. This post asks everyone to submit their addresses, and we have already collected 26k responses. @NexusLabs 推出Nexus Layer 1，已经可以在浏览器上“挖矿”了，这个帖子让大家填自己的地址，已经收集到26k个回复。

zkVerify (@ZKVProtocol) is a high-performance, public, and decentralized blockchain developed by @HorizenLabs, focusing on zero-knowledge proof verification. It provides modular and composable ways for ZK applications to verify proofs. zkVerify ( @ZKVProtocol ) 是 @HorizenLabs 开发的一个高性能、公开、去中心化的区块链，专注于零知识证明的验证。它提供模块化和可组合的方式，供 ZK 应用验证证明。

Campanelli et al., in their paper , studied cryptographic proof systems with sublinear proving time. The authors propose a simple polynomial commitment scheme based on vector commitments and fast polynomial evaluation preprocessing techniques. Key applications include constructing "index-efficient" SNARKs, where the prover achieves sublinear complexity relative to the index size after preprocessing, and they first realized sublinear prover lookup proofs for unstructured tables. Campanelli等人在论文中研究了具有次线性证明时间的密码学证明系统。作者提出了一种基于向量承诺和快速多项式评估预处理技术的简单多项式承诺构造。主要应用包括构建“索引高效”的SNARKs，使证明者在预处理后对索引大小具有次线性复杂度，并首次实现了对非结构化表的次线性证明者查找论证。

The @zksecurityXYZ team announced the launch of the zkBugs website in their blog post . This site is dedicated to documenting and analyzing historical vulnerabilities found in ZK circuits, including a vulnerability directory, reproduction reports, a list of security tools, and tool evaluations. @zksecurityXYZ 团队在博客中分享了zkBugs网站的启动，该网站致力于记录和分析ZK电路中的历史漏洞，包括漏洞目录、复现报告、安全工具列表和工具评估等内容。

@brevis_Chen and @Charles_Chen533 introduced LatticeFold+ in the paper, improving it with two new techniques: 1) developing a more efficient algebraic range proof; and 2) simplifying the verification circuit through dual commitments and sumcheck-based transformation. These improvements result in a five to ten-fold speedup for the prover, simpler verification circuits, and shorter proofs. @danboneh 和 @Charles_Chen533 在论文中提出了LatticeFold+，通过两种新技术进行改进：1）开发了更高效的代数范围证明；2）利用双承诺和基于sumcheck的转换简化验证电路。这些改进使证明者速度提升五到十倍，验证电路更简单，证明更短。

@brevis_zk has open-sourced the AIR-ICICLE project, which integrates the Plonky3 framework with the ICICLE library. This allows users to write AIR circuits and generate trace data, optimizing the STARK proof generation process. @Ingo_zk 团队开源了AIR-ICICLE项目，集成了Plonky3框架与ICICLE库，支持用户编写AIR电路并生成踪迹数据，优化了STARK证明生成流程。

@NexusLabs announced the launch of Nexus Layer 1, a planetary-scale supercomputer, and announced that Testnet II will begin on February 18, 2025, at 13:00 Beijing time. @NexusLabs 宣布推出Nexus Layer 1，一个行星级超级计算机，并宣布Testnet II将于2025年2月18日北京时间 13:00 开始。

The @brevis_zk team introduced Pico in the blog post , a zkVM based on the RISC-V architecture that offers modularity and high efficiency. Performance tests show that its execution speed is more than double that of RISC0, OpenVM, and SP1. @brevis_zk 团队在博客中介绍了Pico，一个提供模块化和高效率的zkVM，基于RISC-V架构。性能测试显示其运行速度比RISC0、OpenVM和SP1都高出一倍以上。