Lumoz запускает zkProver и zkVerifier на основе EigenLayer

Несмотря на недавние разногласия вокруг его раздачи, нет никаких сомнений в том, что EigenLayer стал одним из самых выдающихся проектов 2024 года благодаря механизму повторной ставки. Этот механизм не только вызвал всплеск TVL, но и побудил пользователей вернуть свои средства и уверенность в экосистему Ethereum, подальше от безумия монет-мемов.

По общедоступным данным , на момент написания ETH TVL EigenLayer превысил 5 миллионов ETH , а сумма ставок его токена Eigen превысила 54 миллиона токенов. Количество активных AVS ( Actively Validated Services ) и операторов составляет 11 и 251 соответственно. Экосистема EigenLayer также быстро развивается: в ней активно участвуют более 20 ведущих проектов из различных секторов, включая Lumoz , Espresso, Near и Dodo.

Это знаменует начало революции, направленной на изменение безопасности и прибыльности блокчейна вокруг ETH с использованием EigenLayer. В этой статье Lumoz будет использоваться в качестве тематического исследования, чтобы углубиться в серию технических исследований, проведенных на EigenLayer, тем самым способствуя дальнейшему развитию технологии Ethereum и более широкой индустрии блокчейнов.

1. Lumoz запускает вычислительный уровень AVS на основе EigenLayer

Являясь лидером в области модульных вычислительных уровней и платформы ZKRaas, Lumoz не только исключительно хорошо зарекомендовала себя на рынках капитала, но и постоянно внедряет инновации в технической области. В апреле 2024 года Lumoz впервые объявила о завершении раунда финансирования Pre-A (с текущей оценкой до 300 миллионов долларов США), а вскоре после этого объявила о поддержке архитектуры Op Stack + ZK Fraud Proof Layer 2, положив начало новой модели. для архитектуры L2.

На этой неделе Lumoz официально объявил о запуске вычислительного уровня AVS на основе EigenLayer, состоящего из zkProver и zkVerifier, который значительно повышает вычислительную мощность и безопасность.

ZkProver от Lumoz фокусируется на создании доказательств с нулевым разглашением (ZKP), проверяя подлинность данных без раскрытия самих конкретных данных. Благодаря мощным вычислительным ресурсам zkProver может быстро генерировать эффективные доказательства с нулевым разглашением, значительно улучшая конфиденциальность и безопасность сетей блокчейнов. zkVerifier, с другой стороны, отвечает за проверку доказательств с нулевым разглашением, гарантируя их правильность и надежность. В сочетании с механизмом повторной ставки EigenLayer zkVerifier не только повышает безопасность Ethereum, но и предоставляет дополнительные экономические стимулы для валидаторов. Этот механизм двойной проверки значительно повышает общую безопасность сети и снижает риски доверия.

Примечание. Механизм повторной ставки EigenLayer повышает безопасность экосистемы Ethereum, предоставляя AVS, решая проблемы доверия и бремя капитальных затрат.

Объединив мощные вычислительные ресурсы с механизмом повторной ставки EigenLayer, Lumoz создал эффективную и безопасную экосистему вычислительных услуг. Это нововведение не только повышает вычислительную мощность и безопасность сетей блокчейнов, но также предоставляет разработчикам и пользователям больше сценариев применения и преимуществ. С помощью zkProver и zkVerifier Lumoz привносит беспрецедентные инновации и ценность в область блокчейна, способствуя технологическому прогрессу во всей отрасли.

2. Вычислительный уровень Люмоза

Архитектура вычислительного уровня Lumoz представляет собой высокоинтегрированную систему совместной работы со следующими основными компонентами и функциями:

К основным компонентам относятся:

• Ethereum : использует стандарт EigenLayer для создания служб активной проверки (AVS). Механизм ставок EigenLayer повышает безопасность AVS.

  
  

• Цепочка EVM : поддерживает разнообразную среду блокчейна, совместимую с виртуальной машиной Ethereum (EVM), включая, помимо прочего, Polygon zkEVM, Polygon CDK, ZKStack и Scroll, обеспечивая широкую совместимость и масштабируемость.

  
  

• Lumoz AVS Oracle : отвечает за сбор и хранение данных из EVM-совместимых цепочек, обеспечивая высокую доступность и целостность данных, тем самым обеспечивая надежную основу данных для уровня вычислений.

  
  

• Цепочка Lumoz : действует как основной уровень управления всем уровнем вычислений, отвечающий за планирование задач, распределение вознаграждений и управление zkProver и zkVerifier, включая, помимо прочего, процессы присоединения и выхода к узлу.

  
  

• zkProver : узлы, выполняющие определенные вычислительные задачи.

  
  

• zkVerifier : узлы проверки, которые проверяют результаты выполнения.

  
  

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

3. Какие проблемы он может решить?

3.1 Потребность в крупномасштабных вычислительных мощностях

Lumoz обеспечивает надежную поддержку облачной инфраструктуры для вычислений с нулевым разглашением (ZKP). Эта поддержка имеет решающее значение для ZK-Rollups, решения для масштабирования блокчейна, которое выполняет транзакции вне сети и использует ZKP для проверки действительности этих транзакций. Затем доказательства передаются в цепочку, что снижает нагрузку на основную цепочку и увеличивает пропускную способность транзакций.

Возможности облачной инфраструктуры Lumoz:

• Совместимость : облачная инфраструктура Lumoz совместима с различными решениями ZK-Rollup, такими как Polygon CDK, zkSync, StarkNet и Scroll. Это означает, что он может обслуживать эти разные платформы без необходимости создания для каждой платформы собственной инфраструктуры.

  
  

• Алгоритм ZK-PoW : Lumoz объединяет вычислительные ресурсы майнеров с облачной инфраструктурой с помощью алгоритма доказательства работы с нулевым разглашением (ZK-PoW), что позволяет майнерам использовать свои вычислительные мощности для поддержки вычислений ZKP.

  
  

• Производительность и эффективность . Благодаря поддержке параллельных вычислений для ZKP эффективность вычислений значительно повышается, поскольку несколько задач могут выполняться одновременно. Кроме того, последовательное представление обеспечивает упорядоченную обработку транзакций.

  
  

• Алгоритм рекурсивного агрегирования . Оптимизация алгоритма рекурсивного агрегирования уменьшает количество требуемых ZKP, тем самым снижая вычислительную сложность и затраты.

  
  

• Улучшения сетевой связи . Улучшения сетевой связи сокращают время передачи данных, улучшая общую скорость реакции системы.

  
  

• Экономическая эффективность : благодаря вышеупомянутым оптимизациям Lumoz может снизить затраты, связанные с вычислениями ZKP, что делает решения ZK-Rollup более экономически эффективными.

  
  

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

3.2 Снижение zk для контрольного газа

Стратегия разработки zkVerifier направлена на повышение эффективности, масштабируемости и эффективное снижение транзакционных издержек, что отражено в следующих аспектах:

• Интеграция нескольких источников доказательств : zkVerifier может интегрировать доказательства из разных источников, поддерживая широкий спектр приложений для доказательства с нулевым разглашением. Эта гибкость является ключевым преимуществом экосистемы блокчейна, поскольку она позволяет различным проектам и приложениям использовать сервисы zkVerifier.

  
  

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

  
  

• Адаптируемость к характеристикам доказательств : zkVerifier демонстрирует адаптируемость к характеристикам доказательств, созданных различными системами доказательств, включая размер доказательства, время проверки и логику проверки. Эта адаптивность имеет решающее значение для обеспечения эффективной работы системы.

  
  

• Индивидуальные стратегии выпуска : на основе характеристик различных доказательств компания zkVerifier разработала индивидуальные стратегии выпуска, которые оптимизируют использование сетевых ресурсов и обеспечивают эффективную передачу доказательств, помогая уменьшить перегрузку сети и повысить скорость транзакций.

  
  

• Развертывание выделенных верификаторов : zkVerifier развертывает выделенные верификаторы, которые являются ключевыми механизмами для обеспечения достоверности доказательств. Эти верификаторы гарантируют, что только проверенные доказательства могут быть опубликованы в Ethereum, обеспечивая безопасность и надежность системы.

  
  

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

  
  

• Глубокая интеграция с Ethereum : zkVerifier публикует результаты проверки в Ethereum, где Ethereum генерирует доказательства проверки. Этот шаг имеет решающее значение для обеспечения межсетевого взаимодействия и доверия, способствуя беспрепятственному сотрудничеству между zkVerifier и крупными сетями блокчейнов, такими как Ethereum.

  
  

• Авторитет проверочных доказательств : проверочные доказательства, созданные Ethereum, обеспечивают окончательное авторитетное подтверждение действительности данных, предоставленных zkVerifier. Это важно для установления доверия к данным zkVerifier в сети Ethereum.

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

4. Подробный рабочий процесс

4.1 zkProver

zkProver — это основной компонент, отвечающий за создание доказательств с нулевым разглашением (ZKP). ZKP позволяют доказывающему продемонстрировать верификатору правильность определенного утверждения без раскрытия какой-либо дополнительной информации. zkProver включает в себя различные типы проверочных средств, такие как zkRollup Prover, zkFraud Prover и zkML Prover, каждый из которых оптимизирован для конкретных вычислительных задач, чтобы обеспечить оптимальную производительность и эффективность системы в соответствующих областях.

Рабочий процесс:

1. Получение задач: модуль Lumoz AVS Oracle и Dispatch извлекает задачи из блокчейна и синхронизирует их с цепочкой Lumoz. Эти задачи состоят из утверждений или вычислений, требующих доказательства.

   
   

2. Распределение задач: Задачи распределяются между различными проверяющими устройствами через модуль Dispatch. Выступая в качестве центра планирования задач, Dispatch определяет, какой тип прувера лучше всего подходит для выполнения каждой задачи, исходя из ее характера и требований. Модуль Dispatch динамически распределяет вычислительные ресурсы с помощью интеллектуальных алгоритмов, оптимизируя распределение ресурсов в режиме реального времени в зависимости от нагрузки задач и производительности каждого прувера, обеспечивая стабильную работу системы в периоды высокой нагрузки.

   
   

3. Генерация доказательства:

   a, zkRollup Prover: фокусируется на создании доказательств, связанных со сжатием пакетов транзакций, повышении скорости обработки и масштабируемости блокчейна.

   b, zkFraud Prover: генерирует доказательства мошенничества, которые помогают обнаружить и предотвратить неправомерное поведение.

   c, zkML Prover: специализируется на создании сложных доказательств, связанных с проверкой модели машинного обучения, гарантируя достоверность выходных данных модели без раскрытия самой модели или ее входных данных.

   г. Другие пруверы: при необходимости обрабатывайте определенные типы доказательств.

   
   

4. Отправка доказательств: сгенерированные доказательства отправляются в сеть Lumoz для проверки и архивирования.

4.2 zkVerifier

zkVerifier — еще один ключевой компонент архитектуры, отвечающий за проверку ZKP, сгенерированных zkProver. Это гарантирует правильность и достоверность доказательств, представленных в цепочке, тем самым защищая доверие и безопасность системы. Благодаря оптимизированному процессу проверки zkVerifier эффективно обрабатывает доказательства, сокращая эксплуатационные расходы и потребление газа.

Рабочий процесс:

1. Отправка доказательств: доказательства, сгенерированные zkProver, передаются в цепочку Lumoz, инициируя задачу проверки.

   
   

2. Проверка доказательств: цепочка Lumoz отправляет задачу проверки нескольким zkVerifiers, которые независимо выполняют распределенную проверку.

   
   

3. Коллективное решение: не менее двух третей узлов проверки подтверждают достоверность доказательства, обеспечивая авторитетность и последовательность результатов проверки.

   
   

4. Обработка результатов проверки: действительные доказательства и их результаты передаются обратно в контракт доказательств Lumoz в блокчейне с помощью Oracle Lumoz AVS. Контракт диспетчера задач записывает результаты задач в цепочке Lumoz и реагирует на них.

   
   

5. Резюме

Lumoz объявляет о выпуске zkProver и zkVerifier на основе EigenLayer, которые значительно повышают эффективность вычислений и проверки. Механизм рестейкинга EigenLayer эффективно обеспечивает безопасность и прибыльность всего процесса обслуживания. Благодаря специализированному дизайну узлов Lumoz может предоставлять решения для различных вычислительных задач, достигая оптимальной производительности и эффективности. Кроме того, благодаря механизму повторной ставки Lumoz предлагает заинтересованным сторонам существенную прибыль, что еще больше повышает экономическую безопасность системы.

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