零知识证明

Nova算法是一种针对IVC（增量可验证计算，Incrementally Verifiable Computation）的新型的零知识证明算法。

本文是零知识虚拟机（zkVM）安全系列的第一篇文章，主要介绍了zkVM的基本概念、工作原理及其在可验证计算中的作用。文章还简要介绍了zkEVM及其在区块链中的应用，并概述了该系列后续文章的主题，旨在为零知识领域的研究人员和zkVM开发者提供有用的安全指导。

Aptos 推出了保密交易（ACTs）功能，旨在对链上的token余额和交易金额进行加密，除了指定的第三方审计员外，对外部网络参与者（包括验证者）保密。ACTs基于同态加密和零知识证明，允许在不泄露明文金额的情况下进行链上余额更新和验证。此功能支持合规性审计，并为机密薪资等新用例开启了大门。

零知识证明（Zero-KnowledgeProofs，ZKPs）是应用密码学中令人兴奋的突破，将在各个行业中解锁新的用例，

L2 Iterative Ventures（L2IV）发布了2023年第三季度市场回顾与前景展望报告，尽管经历波动，L2IV预示加密和数字资产生态系统将继续发展。报告分析了宏观动态、主要生态系统及关键主题，强调了去中心化基础设施的重要性及其在金融和高级应用中的未来潜力。

这篇文章探讨了未来一年区块链技术、加密应用和数字身份等领域的主要趋势和发展方向，包括移动区块链、零知识证明、多方计算、全面链上游戏等。不同领域的合作伙伴分享了各自对这些主题的期待和想法，强调了去中心化、开发者引导以及可持续发展的重要性。

Simperby是一个多链互操作性平台，允许DAO与各种区块链上的Dapps进行交互。它使用轻客户端技术在不同区块链之间实现无需信任的消息传递，例如在Simperby链和结算链之间。Simperby DAO可以控制各种多链应用，如资金库、代币发行和DeFi服务，并具备通用互操作性，甚至可以扩展到现实世界。

ZK Mesh是关于隐私增强密码学、分布式协议开发和零知识系统研究的月度新闻通讯，涵盖了最新的研究、文章、视频、播客、推文、工具、项目更新和活动。本期内容包括了zkSpeed、线性时间累积方案、GIGA协议等研究，以及硬件友好的HyperPlonk、后量子密码学代码优化等文章，以及多个零知识证明相关的视频和项目更新。

本文介绍了Cysic公司正在进行的零知识证明（ZKP）专用硬件研究工作，目标是开发一种定制的证明加速芯片，专门用于ZKP工作负载。

本文档旨在对 Spartan 协议进行温和的介绍，Spartan 是一种基于 sum-check 的 zkSNARK，具有高效的证明者。文章详细介绍了 Spartan 的特性，包括与多线性多项式承诺方案的兼容性、对算术化的灵活性以及将证明者工作分解为 witness 相关和 witness 无关部分的能力。同时还介绍了 Spartan 协议在零知识证明、zkVM以及身份验证等领域的应用。

使用Halo2开发电路，不可避免会设计custom gate。在实际开发custom gate的过程中，经常会碰到一些错误。该篇文章总结并分析了在Halo2库基础上开发custom gate的一些错误和原理。

本文总结了以太坊基金会在2025年第一季度提供的资助项目，这些项目涵盖了社区与教育、共识层、密码学与零知识证明、开发者体验与工具、执行层等多个领域，以及协议增长与支持。总资助金额为32,647,065.32美元。

RISC Zero 发布了 R0VM 2.0，这是一个为实时时代构建的 zkVM，它更快、更大、更安全。R0VM 2.0 的证明速度更快，成本更低，内存更大，并支持所有主要的以太坊预编译，目标是在 2025 年 7 月实现实时证明，同时，R0VM 2.0 还非常注重安全性，通过形式化验证来确保系统的可靠性。

RISC Zero 宣布其 zkVM 能够运行 DOOM 游戏，通过在 zkVM 中运行 DOOM 端口，并使用 demo 文件作为输入，利用 ZK 证明来验证游戏帧的真实性，实现了在零知识证明下运行 DOOM。他们还提到这为速通游戏（speedrunning）开辟了新的可能性，例如使用工具辅助的速通，并用ZK证明来验证记录。