Чи можемо ми радикально скоротити час перевірки, зберігши при цьому досвід і гнучкість розробника? 🟢 На саміті House of ZK @eth_proofs House of ZK @portport255, основний учасник @zksync та @the_matter_labs, представив ZKsync Airbender та ZKsync OS – повноцінну архітектуру, яка об'єднує алгоритм та секвенсор для модульних оновлень, швидшої ітерації та безперебійної сумісності з кількома віртуальними машинами. ZKsync Airbender — це zkVM з відкритим вихідним кодом на основі STARK, який досягає доказів менше 35 секунд, тоді як ZKsync OS абстрагує виконання, щоб підтримувати узгодженість коду під час доведення та послідовності — стрибок вперед для високошвидкісного крос-чейн розрахунку. Також доступно на YouTube ▶️

Ключові тези з доповіді @portport255, основного автора @zksync та @the_matter_labs, на нашому @eth_proofs саміті під час @BerBlockWeek 👇 1️⃣ ZKsync OS і послідовність • Модульна система переходу станів, що дозволяє реалізувати одну віртуальну машину як для секвенсора, так і для керівника • Компілюйте один раз, виконуйте однаково в різних апаратних середовищах і середовищах доказу • Підтримує змішані середовища виконання (наприклад, EVM + інші віртуальні машини в одному ланцюжку) 2️⃣ Система захисту від володаря повітря ZKsync • zkVM з відкритим вихідним кодом на основі STARK, що досягає доказів нижче 35 секунд для міні-блоків L2 • Розроблено для забезпечення швидшого підтвердження та майбутніх випадків використання сумісності 3️⃣ Продуктивність і відкритий вихідний код • Реалізує кілька скорочених наборів інструкцій для оптимізації рекурсії • 100% відкритий вихідний код, включаючи код графічного процесора та детальну документацію • Дорожня карта включає еластичні ланцюги та сумісність на основі міжланцюгових доказів