本文深入探讨了一种通用的Plasma架构,强调了可以使用链下数据影响链上状态的能力。文章详细介绍了更新的逻辑、核心思想及如何利用'谓词'实现功能扩展,展示了在不重新部署整个合约的情况下如何引入新的状态转换逻辑,还提供了Python实现示例,最后展望了Plasma未来的研究方向和标准化潜力。
EIP-4844 引入新的数据存储类型“blob”, 为 Layer 2 扩容方案提供更低的 DA 方案。
Layer2是个大的话题。是否去中心化,是否安全,资金状态确认时间是Layer2的主要的讨论话题。最近有点时间,总结一下Layer2的理解和思考。
本文从演化角度讨论 Rollup Layer2 的发展以及演进
Mixin 是一个免费、快速的点对点跨链数字资产交易网络,可帮助其他区块链分布式账本获得超高 TPS、亚秒级确认、零手续费、加强隐私、无限扩展的能力。
Matter-Labs开源了PLONK算法的验证电路,能实现多个PLONK证明的聚合证明。聚合电路证明某个证明可验证,并且验证使用的VK是正确的。注意的是,PLONK算法验证的最后一步(配对函数)并没有在电路中验证,而是依赖智能合约进行验证。
随着 BTC 扩容叙事不断发酵,涌现出了五花八门的 BTC Layer 2 项目。Layer 2 逐渐从以技术为导向的区块链扩容路线变成一个模糊的营销标签。
Arbitrum是Layer2 Rollup的一种方案。采用挑战机制确定Rollup状态的终局性。为了引入轻便挑战机制,Arbitrum定义了AVM,一种可以方便证明执行状态的虚拟机,并设计了mini语言和编译器。在AVM上模拟了EVM的执行环境,兼容EVM。挑战时将执行过程进行400分分割,由L1执行少量指令确定状态是否正确。
zkSync通过zk Rollup协议,实现了L2的转账。zkSync项目非常完整,是学习L2非常好的参考项目。zkSync采用Plonk零知识证明算法向L1证明状态的正确性。Plonk算法是Universal的零知识证明算法,只需要一次可信设置。zkSync电路设计采用Chunk设计,支持不同的区块大小。
该文章预测了以太坊在2030年的发展方向,核心观点是以太坊将通过L1的优化和rollup技术,支持两种rollup架构:与以太坊深度整合的Aligned Rollup,以及追求高性能的Performance Rollup。文章还分析了以太坊在执行层、结算层、共识层和数据可用性层面的升级,以及这些升级如何影响rollup生态。
本文介绍了以太坊的Rollups技术,Rollups是一种Layer2解决方案,通过将交易处理从主链转移到链下,从而提高交易速度和降低交易成本。文章详细解释了Optimistic Rollups和Zero-Knowledge Rollups两种主要类型,并讨论了Rollups面临的挑战,例如状态碎片化和数据可用性问题。
zkSync虽然采用PLONK零知识证明算法,但是电路的搭建开发采用的R1CS形式。zkSync电路处理包括:1/电路转换 2/PLONK证明计算。Transpile实现了电路的格式转换。电路转换的目的是获取:1/sigma函数 2/ 门系数多项式。
本文介绍了 Polygon 的 ZK Rollup 解决方案,包括 Polygon Zero、Hermez、Miden 和 Nightfall,它们旨在提高以太坊的扩展性、降低交易费用并保护用户隐私。文章还对比了这些方案与其他 ZK Rollup 的不同之处,并强调了 ZK Rollup 在可扩展性、低交易费用和安全性方面的重要性。
本文详细介绍了zkSync的发展历程、生态现状及技术架构,zkSync是以太坊的Layer2扩展方案,通过zk-rollup技术提高交易吞吐量,降低交易成本,并着重分析了zkSync的三个核心层:执行层、结算层和数据可用性层。此外,还比较了ZK-Stack与OP-Stack在Dapp开发者、核心开发者和商业角度的不同,最后展望了zkSync的未来发展,并强调了其在隐私性和可扩展性方面的潜力。
本文探讨了 Rollup 技术的一些局限性,并分析了解决这些问题的几种方案,包括 Rollup 框架、共享排序器(Shared Sequencer)和 Rollup 即服务(RaaS)。文章深入研究了这些方案的机制、特点以及它们如何塑造 Rollup 生态系统的未来发展。虽然这些解决方案在不断演进,但实际应用案例的增长速度却未能跟上基础设施的发展速度。