Что такое Axiom? Решение ZK Coprocessor, финансируемое Paradigm

Поскольку потребности в данных на блокчейне растут, Axiom появляется как целевая протокольная ZK-копроцессор, позволяя смарт-контрактам запрашивать и вычислять на основе полного исторического состояния Ethereum с нулевыми доказательствами. Поддерживаемый $20 миллионами в рамках раунда Series A от Paradigm и других ведущих инвесторов, Axiom обещает открыть новые возможности использования на блокчейне — от продвинутой аналитики DeFi до сложной логики управления — без предположений о доверии или дополнительных затрат на услуги вне блокчейна. Как создатель контента в Gate, вот ваше полное введение в Axiom: что это такое, как это работает, почему его ZK-копроцессор имеет значение и кто стоит за проектом.

Что такое Axiom?

Axiom — это протокол без разрешений, который функционирует как ZK сопроцессор для Ethereum. Вместо того чтобы полагаться на централизованные индексаторы или внешние оракулы, разработчики создают цепи Axiom — пользовательские программы с нулевым раскрытием, которые точно указывают, какие данные и вычисления в цепочке необходимы. Когда смарт-контракт отправляет запрос в цепочку, Axiom выполняет цепь против архивированного состояния Ethereum, генерирует сжатое ZK доказательство правильного выполнения и возвращает проверенный результат контракту. Такой подход позволяет командам dApp получать доступ ко всему, начиная с исторических заголовков блоков и заканчивая квитанциями о транзакциях, за небольшую часть стоимости газа и без доверия сторонним поставщикам данных.

Как работает Axiom

Внутри Axiom работает в три этапа:

1. Подготовка
Разработчики создают цепочку Axiom с использованием Axiom Type_script_ SDK, определяя необходимые данные и логику для блокчейна. Цепочка развёртывается на контракте Query Axiom, и пользователи вызывают её, отправляя транзакцию с параметрами запроса.

2. Выполнение
Узлы Axiom запрашивают исторические данные — заголовки блоков, Эфириум записи состояния trie и квитанции транзакций — из архивных узлов. Они вычисляют результат вне цепочки и генерируют ZK-доказательство, которое подтверждает правильность как извлечения данных, так и вычислений.

3. Верификация & Обратный вызов
Как только доказательство передается в блокчейн, смарт-контракт Axiom проверяет его в одной операции на блокчейне. Если оно действительно, Axiom вызывает оригинальный смарт-контракт с вычисленным результатом, обеспечивая доверительный, экономичный доступ к глубоким данным на блокчейне.

Эта модель обеспечивает то, что каждый результат несет криптографические гарантии Ethereum, при этом значительно сокращая вычислительные и хранительные требования в блокчейне.

Преимущества ZK сопроцессора Axiom

Дизайн Axiom предлагает несколько преимуществ по сравнению с традиционными решениями для индексирования данных:

• Полный исторический доступ: Запрашивайте состояние любого блока или историю транзакций, не запуская свой собственный архивный узел.
• Нулевая доверительность целостности данных: ZK доказательства устраняют зависимость от централизованных оракулов — результаты могут быть проверены в цепочке.
• Эффективность газа: Перенос тяжелых вычислений и поиска данных вне цепи позволяет Axiom сократить затраты на газ для сложных запросов до 90%.
• Бесшовная интеграция смарт-контрактов: Контракты взаимодействуют с Axiom через простой Query API, требуя минимальных изменений в коде.
• Компонентный дизайн: Несколько цепей могут быть объединены для создания более сложных приложений на блокчейне, от автоматизированных инструментов аудита до продвинутых стратегий DeFi.

Исследовательская команда Gate использует эти возможности для прототипирования новых децентрализованных приложений аналитики DeFi, и мы внимательно следим за любыми событиями airdrop Axiom, чтобы вознаградить ранних членов сообщества.

Команда и инвесторы

1. Основная команда
Axiom была основана Джонатаном Ваном и И Сун, обоими бывшими учеными с глубокими знаниями в области нулевых знаний и распределенных систем. Джонатан, имеющий степень PhD по компьютерным наукам в MIT, сосредоточен на проектировании протоколов и криптографии. И, с опытом преподавания в Чикаго и Кембридже, возглавляет разработку опыта пользователей и архитектуру SDK.

2. Инвесторы и финансирование
Раунд финансирования серии A на сумму 20 миллионов долларов был возглавлен Paradigm с участием Standard Crypto, Polychain и нескольких ангельских инвесторов. Этот капитал ускорит развертывание основной сети Axiom, расширит сеть валидаторов и профинансирует гранты экосистемы для интеграции ZK сопроцессоров.

Похожие проекты

В то время как Axiom специализируется на on-chain ZK копродукции, существует несколько смежных решений:

• Brevis: Ориентирован на вычисления вне цепи на базе ZK для данных Ethereum с использованием собственной архитектуры провера.
• Bonsai: Предлагает zkVM-основанные доказательства как для ончейн, так и для офчейн вычислений, разработанные Risk Zero.

Каждый проект нацелен на разные компромиссы в дизайне систем доказательств, но тесная интеграция Axiom с архивированным состоянием Ethereum и удобный для разработчиков SDK выделяет его среди остальных.

Axiom представляет собой значительный шаг вперед в области децентрализованной доступности данных и вычислений. Поскольку Gate продолжает следить за инновациями в области ZK, мы предложим вам учебные материалы по созданию с помощью Axiom-схем, обновления о любых объявлениях о Axiom-дропах и более глубокий анализ случаев использования, которые могут переопределить приложения на цепочке. Оставайтесь с нами в нашем блоге, чтобы быть в курсе последних новостей о Axiom и других передовых блокчейн-протоколах.