[ @alignedlayer зустрічі вирішив трохи розібратися. ] Про те, що ZK — це добре, зараз всі багато говорять. Обчислення виконуються оффчейн, лише докази завантажуються ончейн, ethereum достатньо лише перевірити ці докази — на словах звучить дуже чисто. Але саме тут і починаються проблеми. Створювати докази — складно, перевіряти докази — дорого, оскільки перевірка коштує дорого, їх не можна часто завантажувати, а через рідкість завантажень UX стає повільним, нарешті, «якщо використовувати ZK, то масштабується» — це правда, але хто буде дешево та швидко перевіряти ці ZK-докази? Aligned — це проект, який глибоко вивчає цю точку. Простими словами, це ZK Verification Layer, яка дозволяє перевіряти ZK-докази на ethereum значно дешевше та швидше. У офіційній документації Aligned описується як вертикально інтегрований стек для створення verifiable internet. Слова трохи величезні, але суть така: створити шар для перевірки ZK-доказів, надати сервіс агрегації доказів, зробити легко розгортати ZK rollup через RaaS, надати wallet-as-a-service, meta proving, interoperability — і все це разом, «щоб команди, які створюють доказово-підтверджені додатки, не мусили кожен раз виновати з нуля». Це саме до цього. Особисто, коли я дивлюся на Aligned, ключове — не те, який токен чи ейрдроп, а те, що чим більше ZK-додатків з’являється, тим більше перевірка доказів стає узьким місцем. Зараз всі часто використовують такі терміни: zkVM, zkML, zkTLS, ZK rollup, ZK identity. Але що дає багато доказів? Якщо перевірка коштує дорого і їх не можна завантажити ончейн, тоді ці докази залишаються лише файлами всередині сервісу. Aligned намагається вирішити це двома способами: Proof Verification Layer та Proof Aggregation Service. Перший — Proof Verification Layer. Це використання EigenLayer restaking: деякі validator’и ethereum, а саме operator’и, перевіряють докази, підписують результат BLS-підписом, і якщо більше 2/3 погоджуються — результат завантажується на ethereum. Користувач надсилає доказ через CLI або SDK, batcher збирає докази, operator’и їх перевіряють, aggregator збирає підписи та записує результат на ethereum. На словах складно, але суть така: Не витрачайте дорогий gas на перевірку доказів на EVM, перевіряйте їх у нативному середовищі швидко, а на ethereum надсилайте лише результат. Згідно з документацією, Aligned підтримує системи доказів, які ethereum важко обробляє, та робить вартість перевірки менш залежною від конкретної системи доказу. Підтримує верифайери: Groth16, Plonk, SP1, Risc0, Circom, також тестовий net підтримує верифайери Mina. Jolt, Nexus — також у розробці. Це важливо, бо коли розробник вибирає систему доказу, йому не потрібно багато думати про: «чи можна це перевірити на ethereum?» «чи витримаю газ?» «що робити, якщо нема precompile?» Раньше вартість ончейн-перевірки різнилася для кожної системи доказу, деякі були настільки великими, що їх перевірка на ethereum була нереальною, а щоб підключити нову proving system, потрібно було чекати на gas-оптимізований смартконтракт або precompile, Aligned ж хоче зробити це набагато гнучкішим. Другий — Proof Aggregation Service. Це метод, коли кілька доказів стискаються в один рекурсивний доказ, щоб на ethereum перевірявся лише один остаточний доказ. Якщо Proof Verification Layer — це швидка та дешева перевірка, то Aggregation Service — це сильна фiнальнiсть, яка безпосередньо перевіряється на L1 ethereum, тому в документах рекомендують вибирати залежно від ситуації. Якщо важливий швидкий UX, низька затримка, великий обсяг доказів — використовуйте Verification Layer. Якщо потрібна повна L1 фiнальнiсть, найсильніша безпека, та бажання об’єднати кілька доказів у один остаточний чекпоинт — використовуйте Aggregation Service. Можна використовувати обидва разом. Наприклад: UX користувача обробляється швидко через Verification Layer, а періодично ставиться L1 фiнальнi чекпоинт через Aggregation Service. Ця структура особливо добре пасує для багатьох сценаріїв. ZK rollup постійно створює докази, бридж повинен перевіряти доказ стану source chain, zkTLS повинен підтверджувати банківський баланс або KYC без доступу до сирого даного, zkML повинен підтверджувати, що AI inference виконався правильно, identity protocol повинен перевіряти вік або кваліфікацію без доступу до персональних даних, onchain gaming постійно повинен підтверджувати очки або анти-чит логіку. У всьому цьому потрібні докази. Але чим більше доказів — тим більше проблема з вартістю перевірки. Aligned — це проект, який вважає: «коли настає ера створення доказів, потрібна інфраструктура для їх перевірки». Це важливий момент, який часто не враховують. Зараз ринок говорить про ZK як про чудову технологію, але для реальних додатків важливими залишаються лише вартість та UX. Якщо перевірка одного доказу коштує занадто дорого — не можна його використовувати, якщо перевірка займає занадто багато часу — користувач не буде його використовувати,Якщо розробникам потрібно кілька місяців, щоб додати verifier, випуск продукту відкладається. У кінцевому підсумку навіть чудова технологія, якщо вона дорога, повільна і складна, залишиться лише у наукових статтях. Aligned намагається перетворити це на продукт. RaaS — це те саме. У документах Aligned зазначається, що вони пропонують one-click ZK-rollup deployment, об’єднуючи RISC-V zkVM, Ethrex execution client і ZK Verification Layer. Особливо підкреслюється based rollup. Based rollup не залежить від окремого централизованого sequencer, а використовує Ethereum L1 proposer/builder для sequencing. Простіше кажучи, rollup буде безпосередніше використовувати інфраструктуру побудови блоків Ethereum. Якщо це вдасться, можна зменшити такі проблеми, як фрагментація ліквідності, риск sequencer, стійкість до цензури та Ethereum composability. Звичайно, це все ще експериментальна область, і не варто вважати, що це «обов’язково працюватиме», важливо, наскільки добре Aligned зможе привернути реальних клієнтів і трафік. Але напрямок очевидний. Aligned — це не проект, який створює один L2 і закінчується. У офіційному FAQ зазначено, що Aligned — це не Ethereum L2. Навпаки, це ближче до Ethereum-native ZK infrastructure stack, яка об’єднує ZK verification, proof aggregation, rollup deployment, гаманець, 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-інфраструктура» — недостатньо: виявляється, він точно влучає у ключовий обмежуючий фактор.
