ZKP

zkHack发布了新的Puzzle。虽然Puzzle用的比较老的Groth16算法，Puzzle的内容非常有趣，对理解零知识证明，多项式，线性相关等等知识非常有帮助。

Semaphore是一个用零知识证明（zk-SNARK）技术的开源项目。Semaphore实现的是基于零知识证明的身份和信号。

Mina链上的区块数据永远“压缩”在22k。Mina是一种新的区块链形式，解决了一般链式区块链数据爆炸的问题。Mina采用PoS的共识机制，“最长/最重”链确认为主链。为了压缩链上的数据，Mina世界状态包括证明（Snarked）和非证明（Staged）的状态。非证明的状态通过链下的零知识证明的计算生成证明，证明证明状态正确。

以简洁易懂的方式介绍了 zkRollup 的实现原理和技术细节.

本文介绍了 Polygon 的 ZK Rollup 解决方案，包括 Polygon Zero、Hermez、Miden 和 Nightfall，它们旨在提高以太坊的扩展性、降低交易费用并保护用户隐私。文章还对比了这些方案与其他 ZK Rollup 的不同之处，并强调了 ZK Rollup 在可扩展性、低交易费用和安全性方面的重要性。

零知识技术是密码学的一个分支，零知识证明可以让用户在不透露信息的前提下证明自己知道或拥有信息。

零知识证明（ZKP）是一种重要的密码学概念，允许证明者向验证者证明某一声明的真实性，而不泄露任何具体信息。ZKP 被广泛应用于隐私保护和安全性要求高的领域，如身份验证和区块链技术。尽管存在实施复杂性和性能挑战，ZKP 在金融和投票系统等领域的潜在应用使其成为现代隐私和安全解决方案的重要组成部分。

玩过zkSNARK的小伙伴都知道，R1CS是目前描述电路的一种语言。目前实现zkSNARK电路的框架有libsnark（C++），bellman (Rust)，ZoKrates（DSL），Circom（js）等等。有的时候，需要将一个框架中生成的电路，导入其他框架。网络上研究了一下，发现两个有意思的项目。

本文介绍了零知识证明（ZKP）的基本概念、原理、类型及其应用。零知识证明是一种密码学技术，允许一方（证明者）在不透露数据内容的情况下，向另一方（验证者）证明该数据的真实性。文章详细解释了交互式和非交互式零知识证明，并探讨了它们在身份验证、金融、电子投票、供应链等多个领域的应用。

本文深入分析了 Polygon 的各种解决方案，包括 Polygon PoS、zkEVM、Supernets、Miden 和 ID，并详细阐述了 Polygon 2.0 的路线图。文章探讨了这些解决方案的技术架构、经济模型及应用场景，同时分析了 Polygon 在推动区块链技术大规模应用方面的优势与挑战，并列举了金融、公共部门、游戏和 NFT 领域中 Polygon 生态系统的具体商业案例。

本文探讨了区块链虚拟机（VM）和零知识虚拟机（zkVM）的最新发展，涵盖了WasmVM、MoveVM和Solana VM等多种VM的特性和应用，并深入研究了zkVM在增强隐私、安全性和可扩展性方面的作用。文章还展望了Wasm VM的潜力、VM用例的增加以及zk市场的未来发展。

本文介绍了对 rapidsnark 进行 GPU 加速的动机、背景和性能。通过将硬件加速集成到 rapidsnark 中，性能达到了 CPU 版本的约 4 倍。主要针对 NTT 和 MSM 计算进行优化，Orbiter Finance 团队开源了加速后的 rapidsnark 代码。