零知识证明

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

zkSync采用PlonK零知识证明系统。在电路设计上，非常巧妙的将交易分割成一个个小的通用处理单元（Operation）。一个Operation对应的证明电路逻辑支持所有可能交易的Operation逻辑。多个有关联的Operation电路组成交易电路。多个交易的电路再组合成区块电路。从而，在固定大小的区块中也能包含不同组合的交易。

本文介绍了Ola，一个利用零知识证明（ZK Proofs）和BitVM2挑战者机制为比特币跨链交易构建安全基础设施的创新方案。Ola旨在提供一种安全且信任最小化的BTC跨链解决方案，允许BTC参与DeFi、NFT等应用，同时不牺牲比特币的核心安全原则，最终目标是成为关键的比特币Layer 2基础设施提供商。

文章详细介绍了Lasso和Jolt这两种新型零知识虚拟机（zkVM）的核心原理和实现，特别强调了sum-check协议在Jolt中的重要性，以及与Binius承诺方案的结合。作者探讨了Jolt在性能与简化方面的优势，讨论了椭圆曲线与哈希之间的比较，并解构了EVM中的预编译和zkVM基准测试的概念。

Ola 项目最初专注于构建高性能的基础设施，但意识到用户增长停滞。因此，Ola 推出 Massive，这是一个建立在移动设备上的去中心化 ZKP 验证网络，旨在通过低门槛的盈利模式持续吸引 Web2 用户进入 Web3，并最终构建基于用户需求的生态系统。目前 Massive 测试网络已经上线，并获得了大量用户的参与

本文介绍了a16z加密团队发布的Jolt zkVM的初始实现及其性能和可用性的改进，包括验证成本的显著降低，集成折叠技术以提升多项式承诺方案和简单性。此外，文章详细描述了Jolt的各项新特性和未来的发展方向，包括对RISC-V的支持、开源贡献者所做的改进与正式验证的进展。

Massive是一个去中心化的ZK验证网络服务，旨在通过移动设备节点、staking/re-staking机制和及时结算等特性，解决Web3大规模采用的问题。它通过“Verify to Earn”激励机制吸引新用户，同时作为区块链的结算层，提高资本效率，并促进区块链的模块化设计。

本文介绍了图灵奖得主Shafi Goldwasser在密码学领域的贡献，包括与他人共同发明的概率加密（Blum-Goldwasser）和零知识证明。文章详细解释了Blum-Goldwasser概率加密和Goldwasser–Micali (GM)密码系统的原理、加密解密过程，并提供了相应的代码示例和运行结果，最后总结了GM密码系统在同态加密中的应用。

本文介绍了Four Pillars的研究系列Scout Article，旨在发掘有前景的早期区块链项目。

本文探讨了区块链安全面临的挑战与漏洞，包括新兴威胁、传统网络攻击的演变、区块链架构中的脆弱点以及促成安全难题的因素。同时，文章还分析了去中心化和加密技术如何作为区块链安全的两大支柱，以及先进加密技术（如零知识证明和Merkle树）在增强区块链安全中的作用，并探讨了区块链安全市场的增长趋势和行业前景。

Hermez团队负责人Jordi Baylina比较清晰地给出了zkEVM大体的设计思路。本文梳理一下对zkEVM设计的理解。抛砖引玉，有理解偏差，小伙伴们可以留言讨论。

Groth16算法是zkSNARK的典型算法，目前在ZCash，Filecoin，Coda等项目中使用。本文从计算量的角度详细分析Groth16计算。Groth16计算分成三个部分：Setup针对电路生成Pk/Vk（证明/验证密钥），Prove在给定witness/statement的情况下生成证明，Verify通过Vk验证证明是否正确。

本文介绍了使用 WebAssembly (WASM) 在浏览器中实现基于双线性映射的累加器（Accumulator）的方法，累加器允许将值添加到固定长度的摘要中，并提供已添加值的证明，而无需泄露累加值中的实际内容。文章展示了如何使用docknetworkcryptoWasm库来创建累加器、添加和移除元素，并生成和验证成员资格证明，附有代码示例和在线演示链接。

ZK技术的历史发展脉络梳理