ZKP

TFHE-rs v0.6 版本引入了零知识证明技术，增强了 GPU 对有符号整数运算的支持，并引入了加密随机数生成等新的加密功能。该版本现在包含 Marc Joye 提出的公钥方案，并生成零知识证明以验证公钥加密过程的正确性。此外，新版本还支持 GPU 上的有符号整数运算，并改进了 GPU 用户的多位 PBS。

本文介绍了Succinct提出的Jagged Polynomial Commitments技术，该技术通过对表进行稀疏表示，减少了padding开销，并开发了针对稀疏/Jagged多项式的PCS方案，从而实现了更高效的以太坊区块证明。该技术结合M3算术化，可以显著降低证明时间和成本，并有可能扩展以太坊和L2区块，从而支持更多用户和用例。

零知识证明 - Coda SNARK挑战（Stage2）

探索市面上的 zkVMs：哪些项目真正符合零知识虚拟机的标准？

TFHE-rs v0.7 版本发布，引入了密文压缩和多 GPU 支持等重要特性。密文压缩可将密文大小最多减少 1900 倍，而多 GPU 支持能够显著提升同态计算的性能，文章还介绍了新版本中参数集合的更新、新的向量和数组运算、优化的零知识证明以及优化的 GPU 密钥切换等额外功能。

本文介绍了BitVM及其变体，它们是在比特币上实现通用计算的重要里程碑，无需改变比特币的共识机制。BitVM 通过“反对者证明”减少链上负担，并使用零知识证明和欺诈证明机制，让验证者可以在链下检查并对作弊者提出挑战。BitVM的后续版本BitVM-2和BitVM-3在降低成本和提高效率方面取得了显著进展，标志着在比特币上构建去信任桥梁、L2层和通用智能合约成为可能。

文章探讨了数字图像的来源验证，特别是新闻媒体中的图像伪造问题。提出了使用零知识证明结合内容来源和真实性联盟（C2PA）标准的方法，确保即使对图像进行了编辑，公众也能验证图像的原始性和编辑的合规性。实施的算法在处理图像裁剪、尺寸调整和灰度转换方面，验证过程的时间和效果均有良好表现。

本文深入探讨了Binius的M3算术化框架，以Merkle树包含性证明为例。重点介绍了表和通道作为M3中的基本抽象，取代了传统顺序执行轨迹的概念，转而使用声明式、数据驱动模型。计算被分解为模块化表，并通过通道平衡来维护全局一致性。文章还分析了 MerkleTreeCS 工具，协调多个表和通道来验证 Merkle 路径的正确性。

ZisK 团队在可验证计算领域取得了突破性进展，他们实现了 1.5 GHz 的 RISC-V 跟踪生成速度，比其他公开的 zkVM 快约 10 倍。该方案通过高效的代码翻译和内存解耦并行化策略实现了这一目标，解决了零知识证明中最顽固的瓶颈问题，为实时、按需的 ZK 证明铺平了道路。

Polyhedra Network的zkBridge是区块链技术的重大进步，提供了安全的跨层网络之间消息和资产的传输解决方案。通过引入零知识证明和与EigenLayer的双重质押机制，网络解决了比特币在智能合约功能方面的限制，并增强了整个区块链生态系统的安全性和信任度。这一系列创新不仅提升了跨链交易的效率，还为参与者提供了新的收益机会。

Zama 团队发布了 TFHE-rs (v0.6)、Concrete (v2.6)、Concrete ML (v1.5) 和 fhEVM (v0.4) 的新版本。

本文深入浅出地介绍了Plonk证明系统，通过毕氏定理的例子，逐步拆解Plonk的限制式，并解释了相等限制式的概念。文章还对比了Plonk与Groth16在电路结构和约束方式上的差异，解释了Plonk中如何通过自定义逻辑门提高电路的灵活性，并对Plonk的核心概念进行了总结。适合对零知识证明和SNARKs有一定基础的读者阅读。