zkRollup

zkPorter是一种新的L2扩展技术，结合了zkRollup和分片，提供了高度可扩展且原子组合的区块链网络。文章详细介绍了zkPorter的工作原理、数据可用性问题、跨分片互操作性以及其在DeFi、微交易等领域的应用案例。

本文深入探讨了如何在StarkWare的新零知识证明系统Stwo中实现递归证明验证，包括面临的三个主要挑战及其解决方案。通过将计算切割为小块以适应内存限制、并利用并行分布的证明生成方法，该系统增强了证明的效率。同时，介绍了设计专门的证明系统以优化证明者和验证者的效率，特别是在与比特币的兼容性方面。

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

zkSync 2.0 更新了其路线图，计划在2021年5月推出zkEVM测试网络，并在8月上线主网。同时，zkSync 1.x 将在春季支持NFTs和交换功能。zkSync 2.0 将支持基于EVM的编程模型、现有的Solidity源代码移植性、所有以太坊钱包的原生支持，以及超过20,000 TPS的可扩展性。

OLA 是一个基础设施协议，致力于实现安全且信任最小化的跨链交互，为比特币生态系统提供跨链的零知识证明（ZKPs）。它通过 Myriad Chain Prover 生成链状态的有效性证明，并使用 Onis 作为比特币结算的 zkRollup 模块，通过 DMN（去中心化大规模网络）验证证明的完整性，以此实现无需托管方的跨链交互，将比特币的安全性扩展到多链环境。