Автор: 1912212.eth, Новости Форсайта

 

Инфраструктура ZK продолжает завоевывать расположение венчурного капитала. Компания Aligned Layer, которая только что завершила начальный раунд финансирования на сумму 2,6 миллиона долларов в апреле этого года, завершила раунд финансирования серии А на сумму 20 миллионов долларов менее чем за два месяца. Его посевной раунд возглавил Lemniscap при участии StarkWare, O(1)Labs и других организаций. Раунд A возглавил Hack VC при участии dao5 и других.

Какие характеристики 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 и т. д.

Как работает выравнивание

В эпоху модульного проектирования обычной практикой является разделение нескольких процессов на несколько выделенных уровней. От одного уровня, отвечающего за выполнение проверки, расчета и консенсуса до DA, модульная конструкция после разделения повышает эффективность и снижает затраты.

Aligned в основном содержит четыре основных элемента. Среди них 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.