ZKP

该文章总结了以太坊基金会在2024年第四季度资助的多个项目，这些项目涵盖社区教育、共识层、密码学与零知识证明、开发者工具、执行层、通用研究、L2等方面，旨在推动以太坊生态系统的发展。总计资助金额超过一千一百万美元。

CUDA - cuda-fixnum源代码导读

TFHE-rs v0.11 版本发布，带来了多项重要改进和新功能，包括Zero Knowledge Proof性能的显著提升，以及通过 FheAsciiString 类型在高级 API 中使用加密字符串的新模块。新版本还引入了 TUniform 噪声分布来代替高斯分布，GPU 性能也得到提升，并支持在 GPU 上轻松执行加密数组的计算。

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

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

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

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

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

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

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有一定基础的读者阅读。