零知识证明

本文对 StarkNet 的重要组成部分进行了基础介绍，主要阐述了 StarkNet OS、Sequencer、Prover & Verifier 和 L1 Core Contract 的工作原理，同时探讨了去中心化与性能瓶颈等话题。文章希望读者对 ZK-Rollup 和相关关键概念有基本了解，并为深入研究提供参考。

本文介绍了 zkDL++ 框架，该框架旨在为可证明的 AI 提供支持。zkDL++ 解决了生成式 AI 水印技术中的关键问题：如何在保护隐私的同时确保可证明性。通过改进 Meta 开发的水印系统，zkDL++ 解决了需要对水印提取器进行保密以避免攻击的问题，并提供了一种更安全的解决方案。此外，zkDL++ 能够高效地证明任何深度神经网络（DNN）的完整性。

TFHE-rs v0.11 版本发布，主要带来了以下更新： 1. 零知识证明性能显著提升；2. 引入了基于 FheAsciiString 类型的新加密字符串模块；3. 默认加密参数现在遵循调整后的均匀噪声分布；4. GPU 性能提升，64 位加法运算速度提高 30%；5. 可以在 GPU 上轻松执行加密数组的计算。同时，该版本还改进了 GPU 性能，并修复了一些bug。

最近又重新看了看ZCash的白皮书。话说，看ZCash的白皮书需要一点耐心，144页的白皮书形式化太多，通篇就只有一张图（地址和Key生成关系图）。本文画图总结了Sprout和Sapling的交易Transaction的数据结构。

文章介绍了去中心化证明者市场（prover markets）的兴起及其独特的技术特点，以及Ingonyama与Twinstake的合作，共同探索为验证者提供高性能计算基础设施的方案。文章还展示了使用Ingonyama的ZaKi基础设施运行ZkSync prover，实现负载均衡和降低成本的 demo。

Ingonyama发布了ZaKi，一种新的、垂直集成的ZK托管服务，它基于ICICLE，并对硬件进行了优化配置，以运行加速的ZK工作负载，旨在提供卓越的性价比。ZaKi通过提供一个已经为ZK计算优化的托管环境，消除了硬件设置和配置的障碍，使团队能够专注于他们的ZK应用。

本文介绍了基于零知识证明（ZK）和多方计算（MPC）实现的一种新的游戏机制，该机制支持 PvP、隐藏信息和确定性状态。文章重点介绍了 Oblivious KZG，一种基于双向、可验证、承诺的茫然传输（biVOT）的新结构，并讨论了其在游戏中的应用，例如暗森林（Dark Forest）这类需要隐藏信息和玩家间互动的游戏。

我们把这个版本定位为公测Beta1。之所以说是Beta1，其实没有在安全上有任何牺牲，只是还有很多界面问题需要解决；同时我们也在不断优化协议和中继的性能。

本文介绍了ICICLE V1.6.0版本的一系列更新，包括稳定的Golang绑定、多GPU支持、向量运算API、Grumpkin曲线支持、NTT改进和MSM改进。这些更新旨在提升零知识证明（ZKP）加速的性能和效率，并扩展ICICLE的应用范围，如支持更大的电路和更多编程语言。

最近有空看了看Plookup的论文。针对对电路描述不友好的操作（比如bit操作），Plookup给出了新的思路和证明方式。给定某个操作的真值表示（lookup table），证明某个操作的输入/输出是在真值表中。这种方式，相对之前的bit计算约束方式，降低约束的个数，提高了电路效率。

太长不看版：你已经听说过 Tornado Cash 了吗？还有 Halo2？太棒了！在这里，我们将混合这两者，并将 Tornado Cash 电路重写为 Halo2。

本文介绍了Ola项目，一个由Sin7y Labs于2022年推出的ZK Stack基础设施项目，旨在为比特币、以太坊等区块链构建ZK轻客户端网络。Ola Stack包含OlaVM、Ola-lang等组件，旨在简化智能合约开发并支持 ZK 轻客户端网络。同时介绍了Massive，Ola的首个移动ZKP验证应用，以及如何通过Massive参与区块链验证并获得奖励。

零知识证明（ZKPs）是一种加密技术，允许一方在不暴露具体信息的情况下证明其对该信息的知识。文章深入探讨了ZKPs的工作原理、种类及其在区块链应用中的作用，旨在帮助程序员理解如何实际实现这一技术，并涵盖了交互式和非交互式证明、关键组件以及信任设置等重要概念。

如何使用 SnarkJS 和 Circom 在 JavaScript 项目中进行零知识证明