本文深入探讨了zkSync的solx编译器如何解决Solidity开发者长期面临的“Stack too deep”错误。Solx通过扩展Solidity的内存布局,引入spill区域,并在LLVM基础设施之上进行优化,实现了比solc --via-ir更高效且语义更安全的代码生成,从而彻底消除了该错误,同时保持了合约行为的一致性。
--via-ir
ZKsync 发布了 Airbender,这是一个高性能的通用 ZK 证明器,旨在满足互操作性、去中心化和可扩展性的实际需求。Airbender 是最快的开源 RISC-V zkVM,其性能优于其他领先系统,例如在单个 GPU 上证明以太坊区块的时间少于 35 秒,并通过利用 ZKsync OS,能够在大约 17 秒内证明平均以太坊区块的执行。
Solx 是一个用于以太坊智能合约的新型优化编译器,它基于 LLVM 构建,可以提高运行时 Gas 效率,并减少手动优化的需求。文章介绍了 Solx 的优势,使用方法,以及未来发展方向,并鼓励开发者试用并提供反馈。
弹性网络原生互操作性层, 允许弹性网络内的 ZK 链在协议层面直接进行交易和通信, 提供顺畅的原生跨链体验
TLDR:今天,ZKsync发布了弹性链——一个不断扩展的ZKRollups网络,依靠数学保障安全,并在统一、直观的用户体验下本地互操作。以Rollup为中心的以太坊路线图成功降到了交易费用,但流动性和用户体验却分散。近期的ZKsync3.0升级通过启用原生、无信任、低成本的链间