零知识证明

探索市面上的 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有一定基础的读者阅读。

交易隐私是零知识证明的一个应用方向。除了通过公链或者侧链实现交易的发送方/接收方以及金额隐藏外，Mixer，江湖人称“混币”，是在已有公链上实现交易的发送方的隐藏（匿名）。Mixer，就是将一些账户的资金“混”在一起，由公开的第三方代替发送方发起转账。这个第三方，被称为Mixer或者Relayer。本文分析以太坊上的三个Mixer项目的设计和性能。

Geometry是Kobi Gurkan 等人所在的一个新成立不久的研究组织，Kobi本人曾给ZK HACK 出过9道puzzles，这次又合作给出了这个关于Groth16延展攻击的新puzzle：ZK Hack x Geometry Puzzle I

本文继续长篇大论零知识证明背后的机制原理，希望帮助大家理解这一类「现代密码学工具」的大致轮廓。本文约8000字，少量数学公式。

Ingonyama 于2024年11月11日举办了第三届 ZK Accelerate 大会，重点关注 ZK 产品和工程，包括技术讲座、小组讨论、演示和领先公司的参展摊位。本次活动汇集了近3000名参与者，展示了 ZK 产品和工程的日益增长的势头和广泛的兴趣。活动包含23场技术讲座、2个小组讨论。

前几天在魔笛社区分享了三个zk-SNARK技术应用的场景，可以让大家zk-SNARK（Groth16）技术和场景的结合有初步的认识。

在本文中，我们将研究使 zkEVM 成为可能的技术进展。我将尽量简化以使其易于理解。以下是推动 zkEVM 进步的四项技术进展