ZK Rollup

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

通过6个ZkEVM项目探索未来以太坊的真正潜力，实现可扩展性和隐私性

本文档提出了一个blob多路复用器的概念，旨在提高rollup使用blobs的经济效率，特别是对于需要频繁提交数据的小批量数据。讨论了可信和非可信多路复用器的设计，以及身份验证、审查阻力和支付结算等方面的考虑，并探讨了ZK rollup和Optimistic rollup等用例。

本文深入探讨了Layer2解决方案与独立链的主要区别，重点在于数据可用性（DA）。Layer2依赖以太坊控制DA，安全性由以太坊保障，但牺牲了可扩展性。文章详细对比了Optimistic Rollup和ZK Rollup两种主流Layer2方案，包括其工作原理、特性及优缺点，并分析了它们在实际应用中的差异与市场表现，为理解Layer2技术提供了全面的视角。

本文详细介绍了ZKsync Era，作为第三代以太坊可扩展解决方案的特点及其与ZKsync Lite的对比。文章深入探讨了ZKsync Era的技术背景，EVM兼容性，账户抽象以及如何利用ZK技术提升以太坊的可扩展性和隐私性。

本文深入探讨了ZK Rollups及其与Optimistic Rollups的区别，详细介绍了ZK fraud proofs、zkEVMs的不同类型（Type 1至Type 4）以及Succinct的SP1和RISC Zero zkVMs的架构、性能和应用。

AppliedZKP公开了zkEVM的设计思路。zkEVM采用数据总线（Bus Mapping）的思路，将存储和计算分开。在Bus Mapping抽取了正确的存储数据的基础上，State proof证明数据的一致性，EVM proof证明计算逻辑的正确性。

本文介绍了在选择区块链架构时需要考虑的关键因素，包括去中心化程度、性能、速度和成本。

本文介绍了数据可用性与Rollup的关系，探讨了Rollup如何在数据可用性上做出权衡以降低交易成本，并深入分析了ZK Rollup和Optimistic Rollup在数据可用性方面的不同策略，以及牺牲数据可用性可能带来的风险。

第七轮Gitcoin资助成功结束，筹集了27.48万美元的捐赠。此次轮次对资助项目的类别进行了重新划分，并首次引入了DeFi项目。文章讨论了多个DeFi项目的动机、资助分配的挑战，以及引入的ZK rollup技术如何提高了支付效率。整体来看，这一轮次标志着Gitcoin资助的可持续性增强，令人期待未来的资助对生态系统的持续影响。

欢迎来到 zincSync智能合约测试网Zinc Alef。

Ola推出了名为Massive的移动应用和加密钱包，旨在通过“验证即挖矿”的方式，降低Web3的参与门槛。用户通过邀请码注册成为节点，利用手机验证ZKP（零知识证明）即可获得Massive积分、推荐奖励等。同时，Ola承诺保护用户隐私，不收集个人信息，并计划支持包括BTC、ETH、Solana在内的多链资产Staking。

Fluent是一个以太坊上的通用rollup，它允许开发者使用他们喜欢的编程语言（如Rust、TypeScript、Solidity等）构建可扩展的区块链应用。Fluent通过zkWASM Layer 2实现，结合了ZK Rollup、Wasm执行和EVM工具兼容性，旨在降低开发者的学习曲线，使更多开发者能够轻松地在以太坊上构建应用。

zkSecurity 团队与 Lighter 合作，审查了其用于可验证订单簿匹配的 ZK 电路。代码组织良好，结构扎实。Lighter 是一种 Layer2 交易所，通过零知识证明在 Layer1 上验证和确认状态转换，从而实现 ZK Rollup。Lighter 有两个主要电路：主操作电路和紧急出口电路，在紧急情况下允许用户退出系统。

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