Автор: 1912212.eth, Foresight News
Інфраструктура ZK все ще віддає перевагу венчурному капіталу, який щойно завершив початковий раунд у розмірі 2,6 мільйона доларів США в розмірі 20 мільйонів доларів США менш ніж за два місяці. Його початковий раунд очолив Lemniscap за участю StarkWare, O(1)Labs та інших установ. Раунд серії A очолив Hack VC за участі dao5 та інших.
Які характеристики Aligned приваблюють стільки інвесторів венчурного капіталу?
Введення в Aligned
На думку Aligned, «генерування доказів» буде не найбільшим вузьким місцем у галузі в майбутньому, а перевірка доказів у мережі. Зараз додатки на основі ZK не можуть ефективно працювати на Ethereum через високі витрати на перевірку.
Aligned — це верифікаційний і агрегаційний рівень, створений на основі EigenLayer, який забезпечує економічно ефективну перевірку будь-якого підтвердження SNARK шляхом використання безпеки валідаторів Ethereum. Aligned може мати більше програм за межами Ethereum і допомагати іншим мережам перевіряти дані. Aligned Layer був створений і розроблений стартапом інфраструктури Ethereum Yet Another Company, який залучив 1 мільйон доларів у січні цього року.
Як видно з оглядової діаграми, рівень 0 — це рівень Bitcoin, Ethereum і DA, Aligned — це рівень верифікації рівня 1, а рівень 2 — інші рівні, такі як ланцюжок додатків, zkML, zkEVM Rollup тощо.
Як працює Aligned
На хвилі модульного дизайну поширеною практикою є розділення кількох процесів на кілька виділених рівнів. Від одного рівня, відповідального за виконання перевірки, розрахунків, узгодження, до DA, модульна конструкція після розбиття підвищує ефективність і знижує витрати.
Серед них Aligned в основному отримує докази з різних систем доказів і перевіряє їх за допомогою різних систем доказів. Вони мають різні розміри перевірки, час перевірки та різну логіку перевірки. Проте всі докази мають одну спільну рису: їх швидко перевірити.
У Aligned є спеціальні валідатори, які можна використовувати для перевірки дійсності кожного валідатора та публікації результатів в Ethereum. Докази зберігаються на рівні доступності даних, що забезпечує економічно ефективну стратегію зберігання. Оператори в Aligned отримують дані для доказу з цього шару.
Ethereum отримує результати перевірки від Aligned. Однак сам Ethereum не може перевірити докази через високу вартість. Натомість звичайний засіб перевірки Rust генерує перевірочні докази для всіх доказів, які містяться протягом певного періоду часу.
Щоб об’єднати всі докази, на першому кроці всі докази перетворюються на докази, які виконуються віртуальною машиною, завдяки чому досягається уніфікованість доказів. Потім ми можемо зменшити розмір доказу, перевіряючи доказ рекурсивно, як показано на деревовидній діаграмі:
Додатки
Aligned заявив, що його можливі напрямки застосування включають різноманітні категорії, такі як: м’яка остаточність зведених пакетів і ланцюжків додатків, швидке з’єднання, протоколи P2P на основі SNARK, такі як платіжні системи та соціальні мережі, публічні ланцюги, які взаємодіють з Ethereum, і машинні навчання, ZK oracle, протокол перевірки особи, онлайн-ігри тощо.
Наразі Aligned підтримує Platinum Prover від Cairo STARK, Plonk від gnark, Kimchi від Mina, SP1 від SuccintLabs і Jolt від a16z. Вартість перевірки залежить від типу доказу та його розміру.
Крім того, у березні Aligned запустив просту тестову мережу на основі Cosmos SDK і перейде до тестової мережі EigenLayer.
