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
63.93K
60
The content on this page is provided by third parties. Unless otherwise stated, OKX is not the author of the cited article(s) and does not claim any copyright in the materials. The content is provided for informational purposes only and does not represent the views of OKX. It is not intended to be an endorsement of any kind and should not be considered investment advice or a solicitation to buy or sell digital assets. To the extent generative AI is utilized to provide summaries or other information, such AI generated content may be inaccurate or inconsistent. Please read the linked article for more details and information. OKX is not responsible for content hosted on third party sites. Digital asset holdings, including stablecoins and NFTs, involve a high degree of risk and can fluctuate greatly. You should carefully consider whether trading or holding digital assets is suitable for you in light of your financial condition.