Можем ли мы радикально сократить время доказательства, сохраняя при этом опыт разработчиков и гибкость? 🟢 На саммите @eth_proofs от House of ZK @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 • Открытый zkVM на основе STARK, достигающий доказательств менее 35 секунд для L2 мини-блоков • Разработан для обеспечения более быстрых подтверждений и будущих случаев использования интероперабельности 3️⃣ Производительность и открытый код • Реализует несколько сокращенных наборов инструкций для оптимизации рекурсии • 100% открытый код, включая код для GPU и подробную документацию • Дорожная карта включает эластичные цепочки и интероперабельность на основе доказательств между цепочками