我们能否在保持开发者体验和灵活性的同时，极大缩短证明时间？🟢 在 ZK House 的 @eth_proofs 峰会上，@portport255，@zksync 和 @the_matter_labs 的核心贡献者，介绍了 ZKsync Airbender 和 ZKsync OS——一种统一证明者和排序者的全栈架构，旨在实现模块化升级、更快的迭代和无缝的多虚拟机互操作性。 ZKsync Airbender 是一个基于 STARK 的开源 zkVM，能够实现低于 35 秒的证明，而 ZKsync OS 则抽象了执行，以保持证明和排序中的代码一致——这是高速度跨链结算的一次飞跃。 也可以在 YouTube 上观看 ▶️

@portport255 的主题演讲要点，他是 @zksync 和 @the_matter_labs 的核心贡献者，在我们的 @eth_proofs 峰会期间 @BerBlockWeek 👇 1️⃣ ZKsync OS 和一致性 • 模块化状态转换系统，使得一个 VM 实现可以用于序列器和证明者 • 编译一次，在硬件和证明环境中一致执行 • 支持混合执行环境（例如，在一个链中同时使用 EVM + 其他 VM） 2️⃣ ZKsync Airbender 证明系统 • 基于 STARK 的开源 zkVM，实现 L2 小区块的证明时间低于 35 秒 • 旨在实现更快的确认和未来的互操作性用例 3️⃣ 性能与开源 • 实现多个简化指令集以优化递归 • 100% 开源，包括 GPU 代码和详细文档 • 路线图包括弹性链和基于证明的跨链互操作性