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

Несмотря на недавние разногласия вокруг его раздачи, нет никаких сомнений в том, что EigenLayer стал одним из самых выдающихся проектов 2024 года благодаря механизму повторной ставки. Этот механизм не только вызвал всплеск TVL, но и побудил пользователей вернуть свои средства и уверенность в экосистему Ethereum, подальше от безумия монет-мемов. По общедоступным , на момент написания ETH TVL EigenLayer превысил 5 миллионов , а сумма ставок его токена Eigen превысила 54 миллиона токенов. Количество активных AVS ( ) и операторов составляет 11 и 251 соответственно. Экосистема EigenLayer также быстро развивается: в ней активно участвуют более 20 ведущих проектов из различных секторов, включая , Espresso, Near и Dodo. данным ETH Actively Validated Services Lumoz В этой статье Lumoz будет использоваться в качестве тематического исследования, чтобы углубиться в серию технических исследований, проведенных на EigenLayer, тем самым способствуя дальнейшему развитию технологии Ethereum и более широкой индустрии блокчейнов. Это знаменует начало революции, направленной на изменение безопасности и прибыльности блокчейна вокруг ETH с использованием EigenLayer. 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 представляет собой высокоинтегрированную систему совместной работы со следующими основными компонентами и функциями: К основным компонентам относятся: : использует стандарт EigenLayer для создания служб активной проверки (AVS). Механизм ставок EigenLayer повышает безопасность AVS. Ethereum : поддерживает разнообразную среду блокчейна, совместимую с виртуальной машиной Ethereum (EVM), включая, помимо прочего, Polygon zkEVM, Polygon CDK, ZKStack и Scroll, обеспечивая широкую совместимость и масштабируемость. Цепочка EVM : отвечает за сбор и хранение данных из EVM-совместимых цепочек, обеспечивая высокую доступность и целостность данных, тем самым обеспечивая надежную основу данных для уровня вычислений. Lumoz AVS Oracle : действует как основной уровень управления всем уровнем вычислений, отвечающий за планирование задач, распределение вознаграждений и управление zkProver и zkVerifier, включая, помимо прочего, процессы присоединения и выхода к узлу. Цепочка Lumoz : узлы, выполняющие определенные вычислительные задачи. zkProver : узлы проверки, которые проверяют результаты выполнения. zkVerifier Благодаря тесному сотрудничеству этих модулей, вычислительный уровень Lumoz не только обеспечивает безопасную и эффективную вычислительную среду, но и благодаря своей модульной конструкции закладывает прочную основу для будущего расширения и модернизации. 3. Какие проблемы он может решить? 3.1 Потребность в крупномасштабных вычислительных мощностях Lumoz обеспечивает надежную поддержку облачной инфраструктуры для вычислений с нулевым разглашением (ZKP). Эта поддержка имеет решающее значение для ZK-Rollups, решения для масштабирования блокчейна, которое выполняет транзакции вне сети и использует ZKP для проверки действительности этих транзакций. Затем доказательства передаются в цепочку, что снижает нагрузку на основную цепочку и увеличивает пропускную способность транзакций. Возможности облачной инфраструктуры Lumoz: : облачная инфраструктура Lumoz совместима с различными решениями ZK-Rollup, такими как Polygon CDK, zkSync, StarkNet и Scroll. Это означает, что он может обслуживать эти разные платформы без необходимости создания для каждой платформы собственной инфраструктуры. Совместимость : Lumoz объединяет вычислительные ресурсы майнеров с облачной инфраструктурой с помощью алгоритма доказательства работы с нулевым разглашением (ZK-PoW), что позволяет майнерам использовать свои вычислительные мощности для поддержки вычислений ZKP. Алгоритм ZK-PoW . Благодаря поддержке параллельных вычислений для ZKP эффективность вычислений значительно повышается, поскольку несколько задач могут выполняться одновременно. Кроме того, последовательное представление обеспечивает упорядоченную обработку транзакций. Производительность и эффективность . Оптимизация алгоритма рекурсивного агрегирования уменьшает количество требуемых ZKP, тем самым снижая вычислительную сложность и затраты. Алгоритм рекурсивного агрегирования . Улучшения сетевой связи сокращают время передачи данных, улучшая общую скорость реакции системы. Улучшения сетевой связи : благодаря вышеупомянутым оптимизациям Lumoz может снизить затраты, связанные с вычислениями ZKP, что делает решения ZK-Rollup более экономически эффективными. Экономическая эффективность Облачная инфраструктура Lumoz обеспечивает мощное, гибкое и экономичное решение для вычислений ZKP, способствуя развитию и применению технологии блокчейн. 3.2 Снижение zk для контрольного газа Стратегия разработки zkVerifier направлена на повышение эффективности, масштабируемости и эффективное снижение транзакционных издержек, что отражено в следующих аспектах: : zkVerifier может интегрировать доказательства из разных источников, поддерживая широкий спектр приложений для доказательства с нулевым разглашением. Эта гибкость является ключевым преимуществом экосистемы блокчейна, поскольку она позволяет различным проектам и приложениям использовать сервисы zkVerifier. Интеграция нескольких источников доказательств : благодаря тщательно разработанным механизмам обработки и проверки доказательств zkVerifier значительно снижает затраты на газ при отправке доказательств, предоставляя пользователям более экономичный опыт обслуживания блокчейна. Экономия затрат на газ : zkVerifier демонстрирует адаптируемость к характеристикам доказательств, созданных различными системами доказательств, включая размер доказательства, время проверки и логику проверки. Эта адаптивность имеет решающее значение для обеспечения эффективной работы системы. Адаптируемость к характеристикам доказательств : на основе характеристик различных доказательств компания zkVerifier разработала индивидуальные стратегии выпуска, которые оптимизируют использование сетевых ресурсов и обеспечивают эффективную передачу доказательств, помогая уменьшить перегрузку сети и повысить скорость транзакций. Индивидуальные стратегии выпуска : zkVerifier развертывает выделенные верификаторы, которые являются ключевыми механизмами для обеспечения достоверности доказательств. Эти верификаторы гарантируют, что только проверенные доказательства могут быть опубликованы в Ethereum, обеспечивая безопасность и надежность системы. Развертывание выделенных верификаторов . Уровень доступности данных zkVerifier обеспечивает долговечность и доступность доказательств, обеспечивая при этом экономичную стратегию хранения, что имеет решающее значение для снижения эксплуатационных затрат системы. Оптимизация уровня доступности данных : zkVerifier публикует результаты проверки в Ethereum, где Ethereum генерирует доказательства проверки. Этот шаг имеет решающее значение для обеспечения межсетевого взаимодействия и доверия, способствуя беспрепятственному сотрудничеству между zkVerifier и крупными сетями блокчейнов, такими как Ethereum. Глубокая интеграция с Ethereum : проверочные доказательства, созданные Ethereum, обеспечивают окончательное авторитетное подтверждение действительности данных, предоставленных zkVerifier. Это важно для установления доверия к данным zkVerifier в сети Ethereum. Авторитет проверочных доказательств Эти инновационные разработки zkVerifier не только решают проблемы, с которыми сталкивается существующая технология блокчейна, но также позволяют добиться значительных успехов в повышении эффективности, сокращении затрат и улучшении совместимости. Этот дизайн помогает продвигать более широкое применение технологии блокчейна и предоставляет пользователям более безопасную и эффективную среду обслуживания. 4. Подробный рабочий процесс 4.1 zkProver zkProver — это основной компонент, отвечающий за создание доказательств с нулевым разглашением (ZKP). ZKP позволяют доказывающему продемонстрировать верификатору правильность определенного утверждения без раскрытия какой-либо дополнительной информации. zkProver включает в себя различные типы проверочных средств, такие как zkRollup Prover, zkFraud Prover и zkML Prover, каждый из которых оптимизирован для конкретных вычислительных задач, чтобы обеспечить оптимальную производительность и эффективность системы в соответствующих областях. Рабочий процесс: модуль Lumoz AVS Oracle и Dispatch извлекает задачи из блокчейна и синхронизирует их с цепочкой Lumoz. Эти задачи состоят из утверждений или вычислений, требующих доказательства. Получение задач: Задачи распределяются между различными проверяющими устройствами через модуль Dispatch. Выступая в качестве центра планирования задач, Dispatch определяет, какой тип прувера лучше всего подходит для выполнения каждой задачи, исходя из ее характера и требований. Модуль Dispatch динамически распределяет вычислительные ресурсы с помощью интеллектуальных алгоритмов, оптимизируя распределение ресурсов в режиме реального времени в зависимости от нагрузки задач и производительности каждого прувера, обеспечивая стабильную работу системы в периоды высокой нагрузки. Распределение задач: Генерация доказательства: фокусируется на создании доказательств, связанных со сжатием пакетов транзакций, повышении скорости обработки и масштабируемости блокчейна. a, zkRollup Prover: генерирует доказательства мошенничества, которые помогают обнаружить и предотвратить неправомерное поведение. b, zkFraud Prover: специализируется на создании сложных доказательств, связанных с проверкой модели машинного обучения, гарантируя достоверность выходных данных модели без раскрытия самой модели или ее входных данных. c, zkML Prover: при необходимости обрабатывайте определенные типы доказательств. г. Другие пруверы: сгенерированные доказательства отправляются в сеть Lumoz для проверки и архивирования. Отправка доказательств: 4.2 zkVerifier zkVerifier — еще один ключевой компонент архитектуры, отвечающий за проверку ZKP, сгенерированных zkProver. Это гарантирует правильность и достоверность доказательств, представленных в цепочке, тем самым защищая доверие и безопасность системы. Благодаря оптимизированному процессу проверки zkVerifier эффективно обрабатывает доказательства, сокращая эксплуатационные расходы и потребление газа. Рабочий процесс: доказательства, сгенерированные zkProver, передаются в цепочку Lumoz, инициируя задачу проверки. Отправка доказательств: цепочка Lumoz отправляет задачу проверки нескольким zkVerifiers, которые независимо выполняют распределенную проверку. Проверка доказательств: не менее двух третей узлов проверки подтверждают достоверность доказательства, обеспечивая авторитетность и последовательность результатов проверки. Коллективное решение: действительные доказательства и их результаты передаются обратно в контракт доказательств Lumoz в блокчейне с помощью Oracle Lumoz AVS. Контракт диспетчера задач записывает результаты задач в цепочке Lumoz и реагирует на них. Обработка результатов проверки: 5. Резюме Lumoz объявляет о выпуске zkProver и zkVerifier на основе EigenLayer, которые значительно повышают эффективность вычислений и проверки. Механизм рестейкинга EigenLayer эффективно обеспечивает безопасность и прибыльность всего процесса обслуживания. Благодаря специализированному дизайну узлов Lumoz может предоставлять решения для различных вычислительных задач, достигая оптимальной производительности и эффективности. Кроме того, благодаря механизму повторной ставки Lumoz предлагает заинтересованным сторонам существенную прибыль, что еще больше повышает экономическую безопасность системы. В будущем мы надеемся увидеть появление новых проектов, таких как EigenLayer и Lumoz, которые решат текущие проблемы блокчейна, действительно решат болевые точки пользователей, а также будут активно исследовать и пытаться более эффективные и безопасные решения. В конечном итоге это будет способствовать прогрессу и процветанию всей отрасли.