我們能否從根本上縮短校對時間，同時保持開發人員的體驗和靈活性？🟢 在 House of ZK 的 @eth_proofs 峰會上，@zksync 和 @the_matter_labs 的核心貢獻者 @portport255 介紹了 ZKsync Airbender 和 ZKsync OS——一種全棧架構，將驗證器和排序器統一起來，以實現模組化升級、更快的反覆運算和無縫的多虛擬機互作性。 ZKsync Airbender 是一個基於 STARK 的開源 zkVM，可實現低於 35 秒的證明，而 ZKsync OS 抽象執行以保持代碼在證明和排序之間保持一致——這是高速跨鏈結算的飛躍。 也可在YouTube ▶️上觀看

@zksync and @the_matter_labs 的核心貢獻者 @portport255 在 @BerBlockWeek 👇 期間的 @eth_proofs 峰會上發表主題演講的主要要點 1️⃣ ZKsync作系統和一致性 • 模組化狀態轉換系統，支援一個 VM 實現 sequencer 和 prover • 一次編譯，跨硬體和驗證環境一致執行 • 支援混合執行環境（例如，EVM + 一個鏈中的其他 VM） 2️⃣ ZKsync 氣宗防腐系統 • 基於 STARK 的開源 zkVM，實現 L2 迷你塊的低於 35 秒的證明 • 旨在實現更快的確認和未來的互作性用例 3️⃣ 性能 & 開源 • 實現多個簡化指令集以優化遞歸 • 100% 開源，包括 GPU 代碼和詳細文件 • 路線圖包括彈性鏈和基於跨鏈證明的互作性