零知识证明

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

Ark v2 旨在解决 Ark 网络中流动性锁定的问题。通过引入新的 TapTree 结构和撤销机制，允许服务提供商在用户花费其 vTXO 后，无需等待到期日即可回收流动性。这种设计借鉴了 Lightning 网络的撤销方案，并利用零知识证明来验证大规模的撤销分支。

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

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

本文对Stwo Poseidon AIR进行了基准测试，主要针对WebGPU上proving过程中最耗时的trace生成、trace插值、trace扩展和组合多项式评估等操作进行了性能分析和优化。

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

本文探讨了如何形式化验证零知识证明系统中使用的算术电路的特性，如完备性、可靠性和零知识性。文章介绍了使用证明辅助工具和不使用证明辅助工具的不同验证技术，并讨论了形式化验证在零知识电路中的应用，包括问题分解、语义设计以及代码的综合验证，同时概述了当前的研究进展和未来的研究方向。

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

Carter Feldman贡献了可信设置的第80轮响应，提供了challenge文件、response文件和新的challenge文件的哈希值，以及生成response的日志和验证日志。他使用了AWS z1d.6xlarge机器，并提供了commit hash、challenge b2sum、response b2sum、熵源等详细信息。

ZK Mesh 是一份月度新闻通讯，涵盖最新的隐私增强密码学、分布式协议开发和零知识系统研究。内容包括近期研究、文章、视频、播客、推文、工具、项目更新和活动等。由 ZK Hack 制作。

本文深入分析了 Bulletproofs 零知识证明系统中存在的 Frozen Heart 漏洞，该漏洞源于 Fiat-Shamir 转换的不安全实现，允许恶意用户伪造超出预定义范围的值的证明。文章详细解释了该漏洞的原理以及如何利用它来生成虚假证明，并讨论了该漏洞对依赖 Bulletproofs 的应用程序的潜在影响。

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

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

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