Can we radically shorten proof times while preserving developer experience and flexibility? 🟢 At House of ZK’s @eth_proofs Summit, @portport255, core contributor at @zksync and @the_matter_labs, introduced ZKsync Airbender and ZKsync OS – a full-stack architecture unifying the prover and sequencer for modular upgrades, faster iteration, and seamless multi-VM interoperability. ZKsync Airbender is a STARK-based open-source zkVM achieving sub-35-second proofs, while ZKsync OS abstracts execution to keep code consistent across proving and sequencing – a leap forward for high-speed, cross-chain settlement. Also available on YouTube ▶️

Key takeaways from the keynote by @portport255, core contributor at @zksync and @the_matter_labs, at our @eth_proofs Summit during @BerBlockWeek 👇 1️⃣ ZKsync OS & Consistency • Modular state transition system enabling one VM implementation for both sequencer and prover • Compile once, execute consistently across hardware and proof environments • Supports mixed execution environments (e.g., EVM + other VMs in one chain) 2️⃣ ZKsync Airbender Proof System • STARK-based open-source zkVM achieving sub-35s proofs for L2 mini-blocks • Designed to enable faster confirmations and future interoperability use cases 3️⃣ Performance & Open-Source • Implements multiple reduced instruction sets to optimize recursion • 100% open-sourced, including GPU code and detailed documentation • Roadmap includes elastic chains and cross-chain proof-based interoperability