[Попробовал разобраться, потому что хотел поучаствовать в @alignedlayer митапе.] Сейчас все говорят, что ZK — это круто. Вычисления происходят оффчейн, только доказательство загружается ончейн, этереуму достаточно просто проверить это доказательство — на словах звучит очень чисто. Но именно здесь и начинаются реальные проблемы. Создавать доказательства сложно, проверять их дорого, поскольку проверка дорогая, их нельзя часто загружать, а раз нельзя часто загружать — UX становится медленным. В итоге: да, «использование ZK обеспечивает масштабируемость» — это верно, но кто будет дешево и быстро проверять эти ZK-доказательства? Aligned — это проект, который углубляется именно в эту проблему. Проще говоря, Aligned — это ZK Verification Layer, которая позволяет проверять ZK-доказательства на ethereum быстрее и дешевле. В официальной документации Aligned описывается как вертикально интегрированный стек для создания verifiable internet. Звучит громко, но по сути: они создают слой для проверки ZK-доказательств, сервис агрегации доказательств, RaaS для упрощения развертывания ZK rollup, wallet-as-a-service, meta proving, interoperability — и всё это вместе, чтобы команды, создающие приложения с доказуемостью, не тратили время на изобретение колеса с нуля. Лично для меня ключевая идея Aligned — не в токене или эйрдропе, а в том, что чем больше появляется ZK-приложений, тем больше проверка доказательств становится узким местом. Сейчас все активно используют термины вроде: zkVM, zkML, zkTLS, ZK rollup, ZK identity. Но что толку от множества доказательств, если из-за высокой стоимости проверки их нельзя загружать ончейн? В итоге эти доказательства остаются просто файлами внутри сервиса. Aligned пытается решить эту проблему двумя способами: Первый — Proof Verification Layer. Здесь используется EigenLayer restaking: некоторые валидаторы ethereum, а точнее — операторы, проверяют доказательства, подписывают результаты BLS-подписью, и если за это соглашаются более 2/3 операторов — результат загружается на ethereum. Пользователь отправляет доказательство через CLI или SDK, batcher собирает доказательства в пакеты, операторы их проверяют, aggregator собирает подписи и записывает результат на ethereum. На словах звучит сложно, но суть проста: не тратьте дорогостоящий газ на проверку доказательств на EVM — проверяйте их быстро в нативной среде, а на ethereum загружайте только результат. Согласно документации, Aligned поддерживает системы доказательств, которые ethereum не может обрабатывать, и делает стоимость проверки менее зависимой от конкретной системы доказательств. Поддерживаются верификаторы: Groth16, Plonk, SP1, Risc0, Circom, а также тестнет для верификаторов, связанных с Mina. В roadmap также есть Jolt, Nexus и другие. Это важно, потому что разработчики при выборе системы доказательств больше не будут задаваться вопросами: «А можно ли проверить это на ethereum?» «Сможет ли я оплатить газ?» «А если нет precompile — что делать?» Раньше стоимость ончейн-проверки отличалась для каждой системы доказательств, некоторые были слишком дорогими для проверки на ethereum вообще, а чтобы добавить новую систему доказательств, нужно было ждать оптимизированного смарт-контракта или precompile. Aligned хочет сделать этот процесс более гибким. Второй подход — Proof Aggregation Service. Он сжимает множество доказательств в одно рекурсивное доказательство, чтобы на ethereum L1 проверялся только один финальный результат. Если Proof Verification Layer ориентирована на быструю и дешевую проверку, то Aggregation Service обеспечивает сильную финальность — поскольку проверка происходит напрямую на L1, даже если немного медленнее. Поэтому в документации рекомендуется выбирать в зависимости от ситуации: Если важны быстрый UX, низкая задержка и большой объем доказательств — используйте Verification Layer. Если нужна полная финальность L1, максимальная безопасность и объединение множества доказательств в один финальный чекпоинт — используйте Aggregation Service. Их можно использовать вместе. Например: UX обрабатывается быстро через Verification Layer, а периодически создается финальный чекпоинт L1 через Aggregation Service. Эта структура особенно хорошо подходит для многих сценариев: ZK rollup постоянно создает доказательства, бриджи должны проверять доказательства состояния исходной цепочки, zkTLS должен доказывать данные веб2 (например, баланс банка или KYC) без передачи исходных данных, zkML должен подтверждать корректность выполнения AI-инференса, identity протоколы должны проверять возраст или квалификацию без раскрытия персональных данных, ончейн-игры должны постоянно подтверждать счет или античит-логику. Во всех случаях нужны доказательства. Но чем больше появляется доказательств — тем острее становится проблема стоимости их проверки. Aligned рассматривает это как ключевой момент: «Когда наступит эпоха создания доказательств — необходима инфраструктура для их проверки». Это гораздо более важный момент, чем кажется. Сейчас рынок говорит о ZK как о крутой технологии, но для реальных приложений всё сводится к стоимости и UX. Если проверка одного доказательства стоит слишком дорого — его нельзя использовать. Если проверка занимает слишком много времени — пользователи не будут пользоваться сервисом.Если разработчику нужно несколько месяцев, чтобы добавить verifier, выпуск продукта задерживается. В конце концов, даже отличная технология остается лишь в научных статьях, если она дорогая, медленная и сложная. Aligned как будто стремится превратить это в продукт. RaaS — в том же ключе. В документации Aligned объясняется, что они объединяют RISC-V zkVM, Ethrex execution client и ZK Verification Layer для предоставления развертывания ZK-rollup с одним кликом. Особенно подчеркивается based rollup. Based rollup не зависит от отдельного централизованного sequencer, а использует Ethereum L1 proposer/builder для sequencing. Проще говоря, это направление — более прямое использование инфраструктуры блок-билдинга Ethereum самими rollup. Если это сработает, можно будет снизить такие проблемы, как: фрагментация ликвидности, риск sequencer, устойчивость к цензуре и совместимость с Ethereum. Конечно, это все еще область, которую рынок только экспериментирует, и нельзя считать, что «это обязательно сработает». Важно, насколько успешно Aligned привлечет реальных клиентов и трафик. Но сама направленность ясна. Aligned — это не проект, который создает один L2 и на этом заканчивается. В официальном FAQ Aligned прямо говорит, что это не Ethereum L2. Наоборот, это скорее Ethereum-native ZK-инфраструктурный стек, объединяющий: ZK verification, proof aggregation, rollup deployment, wallet, proving и interoperability. Поэтому при оценке Aligned вопрос должен быть не: «А это вообще какая цепочка?» а: «В будущем, когда proof станет много, кто будет их проверять?» Если ZK-приложения не будут расти, такая инфраструктура, как Aligned, естественно, не будет интересна. Но если rollup, bridge, zkTLS, AI proof, identity, oracle, gaming — все начинают использовать proof, тогда узким местом станет не создание proof, а их дешевое и быстрое верифицирование. В итоге Aligned — это проект, который пытается ответить на вопрос: «Proof уже создан — а где его теперь проверить?» Рынок просто любит приклеивать слова: ZK, AI, Ethereum alignment, restaking, based rollup — и все весело улыбаются. Но выживут не те, кто наклеил больше красивых слов, а те, кто помогают разработчикам экономить деньги, пользователям меньше ждать и приложениям чаще загружать proof. Aligned — по крайней мере — точно видит эту проблему. Просто сказать «это ZK-инфраструктура» — слишком поверхностно. Он точно попадает в нужное узкое место.