На недавней конференции Devcon член основного фонда Ethereum Джастин Дрейк представил предложение по Beam Chain, планируя улучшить консенсусный уровень Ethereum с помощью технологий zkSNARK и zkVM для повышения масштабируемости, безопасности и эффективности сети. Это видение также подчеркивает важность следовать для zkVM. В качестве универсальной виртуальной машины с нулевым разглашением zkVM может обрабатывать сложные вычисления более гибко и эффективно, избавляясь от зависимости от традиционной логики смарт-контрактов.
Пожалуйста, введите текст для перевода.
В свете этой тенденции проекты, такие как RISC Zero, Succinct и Cysic, рассматриваются как важные участники, стимулирующие инновации в этой сфере. RISC Zero разработал серию открытых инструментов, включая Zeth, Kailua и Bonsai, основанных на архитектуре RISC-V, таких как zkVM, которые не только улучшают производительность блокчейн-подтверждения и Rollup, но и предоставляют техническую поддержку для обновления ZK в Ethereum.
Пожалуйста, введите текст для перевода.
Пожалуйста, введите текст для перевода.
RISC zkVM экосистемная матрица продуктов: от основных технологий до прикладных сценариев
Пожалуйста, введите текст для перевода.
RISC Zero - реализация zkVM на основе архитектуры набора команд RISC-V. В качестве универсальной платформы для вычислений с нулевым разглашением информации она поддерживает различные языки программирования, такие как Rust и C++, и практически может выполнять любые вычислительные задачи. По сравнению с другими платформами для нулевого разглашения информации, у RISC Zero полностью открытые исходные коды для доказывающих и проверяющих, разработчики могут генерировать и проверять доказательства локально. Кроме того, валидаторы RISC Zero совместимы с различными платформами и могут адаптироваться к различным блокчейн-экосистемам, упрощая процесс разработки децентрализованных приложений.
Пожалуйста, введите текст для перевода.
В июне этого года RISC Zero выпустил zkVM 1.0. zkVM 1.0 поддерживает не только различные языки и сложные вычислительные задачи, но и использует технологию Continuations для разделения масштабных вычислений на несколько небольших сегментов, обеспечивая эффективные параллельные вычисления и проверку. Согласно дорожной карте, RISC Zero планирует достичь увеличения производительности и снижения затрат zkVM в 20 раз к концу 2024 года, оптимизируя процессы, включая полную миграцию процесса доказательства на GPU (завершено 80%), внедрение нового дизайна цепей RISC-V v2 и специальную оптимизацию для рекурсивных цепей. В то же время RISC Zero интегрирует ряд модулей ускорения для алгоритмов RSA, Keccak, ECDSA и других, предназначенных для улучшения производительности задач и криптографических операций, связанных с Ethereum.
Пожалуйста, введите текст для перевода.
Вокруг основных возможностей zkVM RISC Zero также разработал ряд открытых инструментов и продуктов. Например, с помощью сети Bonsai предоставляются услуги подтверждения, и разработчики могут генерировать доказательства нулевого знания без необходимости специального оборудования; с помощью инструмента Steel можно перенести сложные вычисления EVM на работу вне цепи, сохраняя при этом возможность проверки результатов и снижая затраты на выполнение в цепи; а Blobstream Zero через мост подключается к уровню доступности данных Celestia, предлагая больше возможностей для обмена и проверки данных в модульной экосистеме блокчейна.
Пожалуйста, введите текст для перевода.
Zeth: доказательство правильной конструкции всего блока Ethereum
Пожалуйста, введите текст для перевода.
Zeth - это открытый нулевой доказательственный блокчейн-провайдер для Ethereum, разработанный компанией RISC Zero на основе их технологии zkVM. Он может проверять действительность блоков Ethereum с помощью нулевых доказательств, без необходимости полагаться на традиционных проверяющих или синхронных комитетов. RISC Zero определяет Zeth как тип 0 zkEVM, который полностью совместим с протоколом Ethereum и повышает эффективность разработки путем повторного использования кода.
Пожалуйста, введите текст для перевода.
Сооснователь ETH-консорциума Виталик Бутерин в статье «Different types of zk-EVMs» разделяет zkEVM на четыре типа, среди которых тип-1 стремится быть полностью эквивалентным ETH-консорциуму; тип-2 стремится быть полностью эквивалентным EVM, но не полностью эквивалентным ETH-консорциуму; тип-3 практически эквивалентен EVM; тип-4 полностью несовместим с ETH-консорциумом.
Пожалуйста, введите текст для перевода.
Пожалуйста, введите текст для перевода.
Благодаря высокой производительности RISC Zero zkVM, Zeth может проверять блоки ETH в течение нескольких минут. Тестовые данные показывают, что Zeth может генерировать доказательства блоков со скоростью 1,1 МГц и расширять кластеры GPU до 4,7-6,3 МГц с помощью функции продолжения выполнения. Это также снижает стоимость генерации доказательств. Согласно тестам, стоимость генерации доказательств для блока, содержащего 182 транзакции, составляет всего 21,72 доллара США, а стоимость каждой транзакции - около 0,11 доллара США.
Пожалуйста, введите текст для перевода.
В процессе разработки Zeth команда RISC Zero полностью использовала компоненты экосистемы Rust, такие как revm, ethers и alloy, что позволяет разработчикам быстро реализовать функционал доказательства блока и применять его в различных сценариях. Такой подход предоставляет разработчикам большую гибкость, позволяя настраивать логику построения блока по мере необходимости и адаптировать его под будущие улучшения ETH.
Пожалуйста, введите текст для перевода.
На уровне приложений Zeth предоставляет эффективные решения для zk Rollup, легких клиентов и межцепочечных мостов. Строительство традиционных zk Rollup и zkEVM требует больших затрат времени и средств, что отпугивает маленькие команды. Однако Zeth, основанный на модульной архитектуре zkVM, позволяет разработчикам легко настраивать логику проверки блоков. Например:
Пожалуйста, введите текст для перевода.
zk Rollup: Zeth способен быстро достигать доказательства блока, сокращая период разработки ZK Rollup и уменьшая затраты на финансирование.
Легкий клиент: проверка действительности блока без необходимости его повторного построения, снижение затрат на выполнение.
Мост межцепочный: Zeth позволяет проверять правильность данных межцепочно без раскрытия чувствительной информации на цепи, что уменьшает доверие к сторонним лицам и снижает риск межцепочных атак.
Пожалуйста, введите текст для перевода.
В мае этого года Zeth успешно расширилась, чтобы поддерживать извлечение блочных данных Optimism с главной сети ETH и генерацию ZKP для проверки правильности блока, а также поддерживать проверку на цепи. Другими словами, с помощью Zeth Optimism может более эффективно проверять транзакции и разрешать споры по транзакциям.
Пожалуйста, введите текст для перевода.
Bonsai: позволяет разработчикам генерировать доказательства без использования собственного оборудования
Пожалуйста, введите текст для перевода.
Bonsai - это сервис удаленного подтверждения, специально разработанный для приложений zkVM, который позволяет разработчикам генерировать доказательства без использования собственного оборудования, тем самым разрешая противоречие между ограниченными вычислительными ресурсами и высокими затратами на цепочке. С помощью Bonsai разработчики могут определить необходимое для выполнения приложение zkVM и входные данные, и Bonsai будет выполнять вычисления на фоне и генерировать соответствующие доказательства знания. Этот процесс полностью освобождает разработчиков от необходимости развертывать дополнительное аппаратное обеспечение. Кроме того, Bonsai использует большой кластер GPU для параллельной обработки нескольких вычислительных задач. Кроме того, Bonsai предоставляет простой и удобный интерфейс API и SDK, что позволяет разработчикам легко интегрировать его в существующие системы, дополнительно снижая уровень сложности разработки.
Пожалуйста, введите текст для перевода.
На основе этой удаленной службы подтверждения RISC Zero выпустил открытый инструмент Bonsai Pay, сочетающий в себе идентификацию по OAuth2.0 и технологию ZKP, позволяя пользователям отправлять или получать токены на сети ETH через учетную запись Google. Например, когда Алиса хочет перевести средства Бобу, она может ввести электронную почту Боба и сумму перевода через Bonsai Pay. Затем Боб может войти в Bonsai Pay, ввести свой адрес электронной почты и пройти проверку личности через учетную запись Google. Bonsai Pay будет использовать OAuth 2.0 для генерации токена авторизации, подтверждая, что Боб действительно владелец этой электронной почты. Затем Bonsai Pay вызывает службу подтверждения Bonsai для генерации доказательства нулевого знания, подтверждая, что учетная запись Google Боба связана с адресом кошелька. После проверки смарт-контракта средства будут разблокированы и переведены на кошелек Боба.
Пожалуйста, введите текст для перевода.
Во время всего процесса Bonsai Pay с помощью технологии ZKP проверяет факт связи между аккаунтом Google Боба и адресом кошелька, избегая при этом раскрытия конкретной информации об аккаунте Google.
Пожалуйста, введите текст для перевода.
Пожалуйста, введите текст для перевода.
Еще одним важным применением Bonsai является сопроцессор Bonsai ZK (ZK Co-processor). С его помощью сложные вычислительные задачи перемещаются с цепи на цепочку с использованием технологии доказательства нулевого знания, и создаются неизменяемые доказательства для обеспечения правильности результатов. В то же время развертывание сопроцессора Bonsai довольно просто: разработчику достаточно написать приложение zkVM для обработки логики и вызвать Bonsai через простой Solidity контракт, чтобы выполнить вычисления и проверить результат. Во время всего этого процесса служба доказательства Bonsai отвечает за генерацию доказательства нулевого знания для вычислений на цепи, которые могут быть проверены на цепи.
Пожалуйста, введите текст для перевода.
Bonsai ZK сопроцессор предназначен для цепных приложений, требующих высокой производительности и низкой стоимости. Например, в управлении DAO он может передавать сложные расчеты голосования на цепь, что значительно снижает расходы на Gas на цепи. Губернатор Bonsai DAO с помощью сопроцессора снизил стоимость Gas за каждый голос более чем на 50%, что эффективно повышает эффективность управления и снижает порог участия.
Пожалуйста, введите текст для перевода.
Boundless: слой верифицируемых вычислений
Пожалуйста, введите текст для перевода.
В традиционной архитектуре блокчейна все узлы должны повторно выполнять все вычисления для каждой транзакции, чтобы обеспечить их действительность. Этот режим 'полного повторного выполнения' обеспечивает безопасность и согласованность, но также влечет за собой очень высокие вычислительные затраты. Для решения этой проблемы RISC Zero представил Boundless, который позволяет одному узлу выполнить вычисления и сгенерировать верифицируемое нулевое доказательство, а другим узлам достаточно проверить это доказательство для подтверждения результата, без необходимости повторного выполнения вычислений.
Пожалуйста, введите текст для перевода.
Boundless упрощает процесс проверки путем рекурсивной комбинации. Он объединяет несколько маленьких доказательств с нулевым разглашением в одно общее доказательство, что позволяет проверяющему проверить только одно общее доказательство, а не проверять каждое отдельное доказательство на каждом этапе. Чтобы дополнительно оптимизировать производительность генерации доказательства нулевого разглашения, Boundless встроен специализированный криптографический ускоритель, который оптимизирует эффективность таких распространенных задач, как вычисление хэша, проверка цифровой подписи и т. д.
Пожалуйста, введите текст для перевода.
Кроме того, разработчикам не нужно глубоко разбираться в технологии нулевого доказательства, достаточно написать приложение на знакомом языке программирования (например, Rust или Solidity) с использованием Boundless. В настоящее время Boundless доступен для разработчиков бесплатно. Разработчики могут быстро создавать и разворачивать приложения нулевого знания на любой блокчейн, используя услуги доказательства, предоставленные Boundless, без необходимости миграции существующей системы или обновления проверочного контракта.
Пожалуйста, введите текст для перевода.
Пожалуйста, введите текст для перевода.
Blobstream Zero: мост между цепями для упрощения проверки данных в zkVM
Пожалуйста, введите текст для перевода.
Blobstream Zero - это межцепочечный мост, разработанный совместно RISC Zero и Celestia на основе zkVM, который направлен на безпрепятственное соединение уровня доступности данных Celestia с существующей модульной экосистемой блокчейна. Путем совместного использования и проверки данных на Celestia, Blobstream Zero обеспечивает более удобную передачу и проверку данных между цепями.
Пожалуйста, введите текст для перевода.
Как полностью открытый общественный продукт, Blobstream Zero позволяет любому проекту или разработчику запускать локальный экземпляр и генерировать доказательства нулевого знания. Кроме того, Blobstream Zero может поддерживать ZK-сопроцессоры. ZK-сопроцессор по сути является инструментом вычислений вне цепочки, поэтому ему требуются надежные данные для выполнения вычислений. Blobstream Zero может получать данные из блокчейн-систем, таких как Celestia, и генерировать доказательства ZK, подтверждающие надежность передаваемых данных.
Пожалуйста, введите текст для перевода.
Steel：новый параdигма смарт-контрактов для выполнения вне цепи и верификации внутри цепи
Пожалуйста, введите текст для перевода.
Steel - это открытый инструмент, выпущенный RISC Zero, который использует технологию zkVM для выполнения слепого выполнения смарт-контрактов вне цепи. С помощью Steel разработчики могут переместить выполнение операций EVM с цепи на цепь, создавая нулевые доказательства, чтобы гарантировать достоверность и проверяемость вычислений.
Пожалуйста, введите текст для перевода.
Традиционные смарт-контракты требуют полного выполнения всей логики на цепочке, что не только сопряжено с высокой стоимостью газа, но и ограничивает разработку сложных приложений. Однако механизм подсчета вне цепочки и проверки на цепочке в Steel решает эту проблему. Например, в простом смарт-контракте проверяется, превышает ли баланс определенного счета ERC20 1 и увеличивается переменная-счетчик. В традиционном подходе требуется полное выполнение логики на цепочке, а Steel выполняет вычисления вне цепочки и генерирует доказательство с нулевым разглашением, а цепочка только проверяет доказательство, не повторяя выполнение логики контракта.
Пожалуйста, введите текст для перевода.
В настоящее время RISC Zero выпустил Steel 1.0, и уже есть партнеры, которые использовали этот инструмент для разработки приложений. Например, при вызове контракта, обрабатывающего около 400 000 операций SLOAD, вычисления были перенесены на выполнение вне цепи с помощью Steel, а затем сгенерированные доказательства нулевого знания были проверены на цепи. Стоимость генерации доказательства составляет менее 10 долларов, а стоимость проверки на цепи составляет менее 300 000 газов.
Пожалуйста, введите текст для перевода.
Kailua: гибридное решение, способствующее инновациям в архитектуре Rollup с помощью ZK
Пожалуйста, введите текст для перевода.
После выпуска Zeth RISC Zero представила Kailua, который предлагает гибридное обновление для оптимистичного Rollup, целью которого является обеспечение смешанной версии ZK Rollup. Традиционный оптимистичный Rollup обычно требует 7-дневного периода оспаривания, что замедляет окончательность сделок, а ZK Rollup, хотя и обеспечивает быструю окончательность, имеет слишком высокую стоимость непрерывного создания доказательств с нулевым разглашением. Kailua объединяет преимущества обоих подходов, достигая баланса между стоимостью и эффективностью с помощью гибридной архитектуры. Как расширение фреймворка Optimism Kona, Kailua поддерживает неизмененный Kona на zkVM и внедряет инновационный механизм разрешения споров, снижая требования к залогу и уменьшая задержку окончательности, тем самым повышая эффективность и доступность системы.
Пожалуйста, введите текст для перевода.
В архитектуре Kailua механизм спора использует новый дизайн. Во-первых, его механизм разрешения споров убирает ограничение по времени, позволяя проверяющим иметь достаточно времени для генерации доказательств в случае специальных ситуаций, таких как прерывания в сети, что увеличивает упругость системы. Даже в экстремальных случаях расширенная архитектура RISC Zero zkVM способна завершить доказательство в течение часа. Кроме того, функция по требованию проверки Kailua позволяет разработчикам гибко настраивать частоту проверки, чтобы постепенно переходить к полной проверке в режиме Rollup с более низкими затратами.
Пожалуйста, введите текст для перевода.
В отличие от ZK Rollup, дизайн Kailua не требует постоянного создания доказательств. Для низкочастотных пустых блоков или Rollup с особыми требованиями к контракту, Kailua предлагает более экономически выгодный выбор. Кроме того, Kailua значительно снижает требования к залогу Rollup. Объем залога в традиционном оптимистичном Rollup линейно увеличивается с увеличением более длительного периода окончательности, в то время как оптимизированный дизайн Kailua фиксирует требования к залогу, что позволяет системе поддерживать безопасность и активность с более низкими затратами даже в течение длительного периода.
Пожалуйста, введите текст для перевода.
На данный момент Kailua полностью открытый исходный код. Разработчики могут использовать его инструментарий командной строки, чтобы развернуть локальную тестовую сеть Optimism и быстро обновить ее до сети, поддерживающей zk-доказательства отказа. Kailua также поддерживает симуляцию предложений сбоев, помогая разработчикам понять, как проверяющие могут вызвать ошибочное состояние с помощью zkVM, чтобы лучше понимать свой спорный механизм. В будущем Kailua также будет оптимизирован по стоимости и производительности, и расширен для поддержки большего количества Rollup-фреймворков.
Пожалуйста, введите текст для перевода.
обзор
Пожалуйста, введите текст для перевода.
Из вышесказанного можно сделать вывод, что матрица продуктов zkVM от RISC Zero продвигает технологию zero-knowledge proof в нескольких областях. Zeth и Kailua сосредоточены на оптимизации архитектуры Rollup, улучшении эффективности проверки блоков и скорости разрешения споров. Bonsai предоставляет услуги удаленного подтверждения, снижает зависимость от аппаратного обеспечения и затраты на выполнение, что позволяет разработчикам более эффективно строить приложения. Blobstream Zero, обеспечивая эффективную проверку межцепочных данных, обеспечивает надежную поддержку для модульной экосистемы блокчейна. Кроме того, Steel, используя модель вычислений вне цепочки и проверки в цепочке, снижает затраты на выполнение Смарт-контрактов в Gas.
Пожалуйста, введите текст для перевода.
Конечно, в то время как постоянно совершенствуется матрица продуктов zkVM, RISC Zero также продолжает содействовать инновациям в основных технологиях zkVM. Недавно RISC Zero zkVM выпустил версию 1.2, в которой был представлен новый способ предварительной компиляции, позволяющий разработчикам разворачивать логику предварительной компиляции вместе с приложениями, не встраивая ее в сам zkVM. Это означает, что разработчики могут добавлять новую логику предварительной компиляции без изменения проверочных контрактов на цепи или конфигурации доказателей, а также без необходимости в разветвлении или существенных изменениях zkVM для оптимизации производительности. Кроме того, применение определенной разработчиком предварительной компиляции также позволяет снизить вычислительные затраты на генерацию доказательств. Например, после интеграции предварительной компиляции RSA в Automata, количество выполненных циклов уменьшилось с 39 миллионов до 21,7 тысячи, что привело к уменьшению затрат примерно в 180 раз.
Пожалуйста, введите текст для перевода.
С улучшением технологии zkVM ее потенциал развития будет постепенно проявляться во многих сценариях применения, однако для более полного раскрытия этого потенциала по-прежнему необходимы сотрудничество в экосистеме и практическая реализация технологий.
Пожалуйста, введите текст для перевода.
Пятая ежегодная премия RTY AWARD 2025 начинает голосование!
Зафиксирован новый рекорд! Близко 300 проектов и личностей прошли отбор по данным, открытой регистрации и рекомендациям сообщества и перешли в этап голосования. Кто является пионером в продвижении Web3 и криптовалюты в массы? Нажмите на изображение, чтобы проголосовать и поддержать лучшего года по вашему мнению!
Содержание носит исключительно справочный характер и не является предложением или офертой. Консультации по инвестициям, налогообложению или юридическим вопросам не предоставляются. Более подробную информацию о рисках см. в разделе «Дисклеймер».
Расшифровка матрицы продуктов RISC Zero: как помочь Ethereum двигаться в будущее с ZK?
На недавней конференции Devcon член основного фонда Ethereum Джастин Дрейк представил предложение по Beam Chain, планируя улучшить консенсусный уровень Ethereum с помощью технологий zkSNARK и zkVM для повышения масштабируемости, безопасности и эффективности сети. Это видение также подчеркивает важность следовать для zkVM. В качестве универсальной виртуальной машины с нулевым разглашением zkVM может обрабатывать сложные вычисления более гибко и эффективно, избавляясь от зависимости от традиционной логики смарт-контрактов. Пожалуйста, введите текст для перевода. В свете этой тенденции проекты, такие как RISC Zero, Succinct и Cysic, рассматриваются как важные участники, стимулирующие инновации в этой сфере. RISC Zero разработал серию открытых инструментов, включая Zeth, Kailua и Bonsai, основанных на архитектуре RISC-V, таких как zkVM, которые не только улучшают производительность блокчейн-подтверждения и Rollup, но и предоставляют техническую поддержку для обновления ZK в Ethereum. Пожалуйста, введите текст для перевода.
Пожалуйста, введите текст для перевода.
RISC zkVM экосистемная матрица продуктов: от основных технологий до прикладных сценариев
Пожалуйста, введите текст для перевода. RISC Zero - реализация zkVM на основе архитектуры набора команд RISC-V. В качестве универсальной платформы для вычислений с нулевым разглашением информации она поддерживает различные языки программирования, такие как Rust и C++, и практически может выполнять любые вычислительные задачи. По сравнению с другими платформами для нулевого разглашения информации, у RISC Zero полностью открытые исходные коды для доказывающих и проверяющих, разработчики могут генерировать и проверять доказательства локально. Кроме того, валидаторы RISC Zero совместимы с различными платформами и могут адаптироваться к различным блокчейн-экосистемам, упрощая процесс разработки децентрализованных приложений. Пожалуйста, введите текст для перевода. В июне этого года RISC Zero выпустил zkVM 1.0. zkVM 1.0 поддерживает не только различные языки и сложные вычислительные задачи, но и использует технологию Continuations для разделения масштабных вычислений на несколько небольших сегментов, обеспечивая эффективные параллельные вычисления и проверку. Согласно дорожной карте, RISC Zero планирует достичь увеличения производительности и снижения затрат zkVM в 20 раз к концу 2024 года, оптимизируя процессы, включая полную миграцию процесса доказательства на GPU (завершено 80%), внедрение нового дизайна цепей RISC-V v2 и специальную оптимизацию для рекурсивных цепей. В то же время RISC Zero интегрирует ряд модулей ускорения для алгоритмов RSA, Keccak, ECDSA и других, предназначенных для улучшения производительности задач и криптографических операций, связанных с Ethereum. Пожалуйста, введите текст для перевода. Вокруг основных возможностей zkVM RISC Zero также разработал ряд открытых инструментов и продуктов. Например, с помощью сети Bonsai предоставляются услуги подтверждения, и разработчики могут генерировать доказательства нулевого знания без необходимости специального оборудования; с помощью инструмента Steel можно перенести сложные вычисления EVM на работу вне цепи, сохраняя при этом возможность проверки результатов и снижая затраты на выполнение в цепи; а Blobstream Zero через мост подключается к уровню доступности данных Celestia, предлагая больше возможностей для обмена и проверки данных в модульной экосистеме блокчейна. Пожалуйста, введите текст для перевода.
Zeth: доказательство правильной конструкции всего блока Ethereum
Пожалуйста, введите текст для перевода. Zeth - это открытый нулевой доказательственный блокчейн-провайдер для Ethereum, разработанный компанией RISC Zero на основе их технологии zkVM. Он может проверять действительность блоков Ethereum с помощью нулевых доказательств, без необходимости полагаться на традиционных проверяющих или синхронных комитетов. RISC Zero определяет Zeth как тип 0 zkEVM, который полностью совместим с протоколом Ethereum и повышает эффективность разработки путем повторного использования кода. Пожалуйста, введите текст для перевода. Сооснователь ETH-консорциума Виталик Бутерин в статье «Different types of zk-EVMs» разделяет zkEVM на четыре типа, среди которых тип-1 стремится быть полностью эквивалентным ETH-консорциуму; тип-2 стремится быть полностью эквивалентным EVM, но не полностью эквивалентным ETH-консорциуму; тип-3 практически эквивалентен EVM; тип-4 полностью несовместим с ETH-консорциумом. Пожалуйста, введите текст для перевода.
Пожалуйста, введите текст для перевода.
Благодаря высокой производительности RISC Zero zkVM, Zeth может проверять блоки ETH в течение нескольких минут. Тестовые данные показывают, что Zeth может генерировать доказательства блоков со скоростью 1,1 МГц и расширять кластеры GPU до 4,7-6,3 МГц с помощью функции продолжения выполнения. Это также снижает стоимость генерации доказательств. Согласно тестам, стоимость генерации доказательств для блока, содержащего 182 транзакции, составляет всего 21,72 доллара США, а стоимость каждой транзакции - около 0,11 доллара США.
Пожалуйста, введите текст для перевода.
В процессе разработки Zeth команда RISC Zero полностью использовала компоненты экосистемы Rust, такие как revm, ethers и alloy, что позволяет разработчикам быстро реализовать функционал доказательства блока и применять его в различных сценариях. Такой подход предоставляет разработчикам большую гибкость, позволяя настраивать логику построения блока по мере необходимости и адаптировать его под будущие улучшения ETH.
Пожалуйста, введите текст для перевода.
На уровне приложений Zeth предоставляет эффективные решения для zk Rollup, легких клиентов и межцепочечных мостов. Строительство традиционных zk Rollup и zkEVM требует больших затрат времени и средств, что отпугивает маленькие команды. Однако Zeth, основанный на модульной архитектуре zkVM, позволяет разработчикам легко настраивать логику проверки блоков. Например:
Пожалуйста, введите текст для перевода.
Bonsai: позволяет разработчикам генерировать доказательства без использования собственного оборудования
Пожалуйста, введите текст для перевода. Bonsai - это сервис удаленного подтверждения, специально разработанный для приложений zkVM, который позволяет разработчикам генерировать доказательства без использования собственного оборудования, тем самым разрешая противоречие между ограниченными вычислительными ресурсами и высокими затратами на цепочке. С помощью Bonsai разработчики могут определить необходимое для выполнения приложение zkVM и входные данные, и Bonsai будет выполнять вычисления на фоне и генерировать соответствующие доказательства знания. Этот процесс полностью освобождает разработчиков от необходимости развертывать дополнительное аппаратное обеспечение. Кроме того, Bonsai использует большой кластер GPU для параллельной обработки нескольких вычислительных задач. Кроме того, Bonsai предоставляет простой и удобный интерфейс API и SDK, что позволяет разработчикам легко интегрировать его в существующие системы, дополнительно снижая уровень сложности разработки. Пожалуйста, введите текст для перевода. На основе этой удаленной службы подтверждения RISC Zero выпустил открытый инструмент Bonsai Pay, сочетающий в себе идентификацию по OAuth2.0 и технологию ZKP, позволяя пользователям отправлять или получать токены на сети ETH через учетную запись Google. Например, когда Алиса хочет перевести средства Бобу, она может ввести электронную почту Боба и сумму перевода через Bonsai Pay. Затем Боб может войти в Bonsai Pay, ввести свой адрес электронной почты и пройти проверку личности через учетную запись Google. Bonsai Pay будет использовать OAuth 2.0 для генерации токена авторизации, подтверждая, что Боб действительно владелец этой электронной почты. Затем Bonsai Pay вызывает службу подтверждения Bonsai для генерации доказательства нулевого знания, подтверждая, что учетная запись Google Боба связана с адресом кошелька. После проверки смарт-контракта средства будут разблокированы и переведены на кошелек Боба. Пожалуйста, введите текст для перевода. Во время всего процесса Bonsai Pay с помощью технологии ZKP проверяет факт связи между аккаунтом Google Боба и адресом кошелька, избегая при этом раскрытия конкретной информации об аккаунте Google. Пожалуйста, введите текст для перевода.
Пожалуйста, введите текст для перевода.
Еще одним важным применением Bonsai является сопроцессор Bonsai ZK (ZK Co-processor). С его помощью сложные вычислительные задачи перемещаются с цепи на цепочку с использованием технологии доказательства нулевого знания, и создаются неизменяемые доказательства для обеспечения правильности результатов. В то же время развертывание сопроцессора Bonsai довольно просто: разработчику достаточно написать приложение zkVM для обработки логики и вызвать Bonsai через простой Solidity контракт, чтобы выполнить вычисления и проверить результат. Во время всего этого процесса служба доказательства Bonsai отвечает за генерацию доказательства нулевого знания для вычислений на цепи, которые могут быть проверены на цепи.
Пожалуйста, введите текст для перевода.
Bonsai ZK сопроцессор предназначен для цепных приложений, требующих высокой производительности и низкой стоимости. Например, в управлении DAO он может передавать сложные расчеты голосования на цепь, что значительно снижает расходы на Gas на цепи. Губернатор Bonsai DAO с помощью сопроцессора снизил стоимость Gas за каждый голос более чем на 50%, что эффективно повышает эффективность управления и снижает порог участия.
Пожалуйста, введите текст для перевода.
Boundless: слой верифицируемых вычислений
Пожалуйста, введите текст для перевода. В традиционной архитектуре блокчейна все узлы должны повторно выполнять все вычисления для каждой транзакции, чтобы обеспечить их действительность. Этот режим 'полного повторного выполнения' обеспечивает безопасность и согласованность, но также влечет за собой очень высокие вычислительные затраты. Для решения этой проблемы RISC Zero представил Boundless, который позволяет одному узлу выполнить вычисления и сгенерировать верифицируемое нулевое доказательство, а другим узлам достаточно проверить это доказательство для подтверждения результата, без необходимости повторного выполнения вычислений. Пожалуйста, введите текст для перевода. Boundless упрощает процесс проверки путем рекурсивной комбинации. Он объединяет несколько маленьких доказательств с нулевым разглашением в одно общее доказательство, что позволяет проверяющему проверить только одно общее доказательство, а не проверять каждое отдельное доказательство на каждом этапе. Чтобы дополнительно оптимизировать производительность генерации доказательства нулевого разглашения, Boundless встроен специализированный криптографический ускоритель, который оптимизирует эффективность таких распространенных задач, как вычисление хэша, проверка цифровой подписи и т. д. Пожалуйста, введите текст для перевода. Кроме того, разработчикам не нужно глубоко разбираться в технологии нулевого доказательства, достаточно написать приложение на знакомом языке программирования (например, Rust или Solidity) с использованием Boundless. В настоящее время Boundless доступен для разработчиков бесплатно. Разработчики могут быстро создавать и разворачивать приложения нулевого знания на любой блокчейн, используя услуги доказательства, предоставленные Boundless, без необходимости миграции существующей системы или обновления проверочного контракта. Пожалуйста, введите текст для перевода.
Пожалуйста, введите текст для перевода.
Blobstream Zero: мост между цепями для упрощения проверки данных в zkVM
Пожалуйста, введите текст для перевода. Blobstream Zero - это межцепочечный мост, разработанный совместно RISC Zero и Celestia на основе zkVM, который направлен на безпрепятственное соединение уровня доступности данных Celestia с существующей модульной экосистемой блокчейна. Путем совместного использования и проверки данных на Celestia, Blobstream Zero обеспечивает более удобную передачу и проверку данных между цепями. Пожалуйста, введите текст для перевода. Как полностью открытый общественный продукт, Blobstream Zero позволяет любому проекту или разработчику запускать локальный экземпляр и генерировать доказательства нулевого знания. Кроме того, Blobstream Zero может поддерживать ZK-сопроцессоры. ZK-сопроцессор по сути является инструментом вычислений вне цепочки, поэтому ему требуются надежные данные для выполнения вычислений. Blobstream Zero может получать данные из блокчейн-систем, таких как Celestia, и генерировать доказательства ZK, подтверждающие надежность передаваемых данных. Пожалуйста, введите текст для перевода.
Steel：новый параdигма смарт-контрактов для выполнения вне цепи и верификации внутри цепи
Пожалуйста, введите текст для перевода. Steel - это открытый инструмент, выпущенный RISC Zero, который использует технологию zkVM для выполнения слепого выполнения смарт-контрактов вне цепи. С помощью Steel разработчики могут переместить выполнение операций EVM с цепи на цепь, создавая нулевые доказательства, чтобы гарантировать достоверность и проверяемость вычислений. Пожалуйста, введите текст для перевода. Традиционные смарт-контракты требуют полного выполнения всей логики на цепочке, что не только сопряжено с высокой стоимостью газа, но и ограничивает разработку сложных приложений. Однако механизм подсчета вне цепочки и проверки на цепочке в Steel решает эту проблему. Например, в простом смарт-контракте проверяется, превышает ли баланс определенного счета ERC20 1 и увеличивается переменная-счетчик. В традиционном подходе требуется полное выполнение логики на цепочке, а Steel выполняет вычисления вне цепочки и генерирует доказательство с нулевым разглашением, а цепочка только проверяет доказательство, не повторяя выполнение логики контракта. Пожалуйста, введите текст для перевода. В настоящее время RISC Zero выпустил Steel 1.0, и уже есть партнеры, которые использовали этот инструмент для разработки приложений. Например, при вызове контракта, обрабатывающего около 400 000 операций SLOAD, вычисления были перенесены на выполнение вне цепи с помощью Steel, а затем сгенерированные доказательства нулевого знания были проверены на цепи. Стоимость генерации доказательства составляет менее 10 долларов, а стоимость проверки на цепи составляет менее 300 000 газов. Пожалуйста, введите текст для перевода.
Kailua: гибридное решение, способствующее инновациям в архитектуре Rollup с помощью ZK
Пожалуйста, введите текст для перевода. После выпуска Zeth RISC Zero представила Kailua, который предлагает гибридное обновление для оптимистичного Rollup, целью которого является обеспечение смешанной версии ZK Rollup. Традиционный оптимистичный Rollup обычно требует 7-дневного периода оспаривания, что замедляет окончательность сделок, а ZK Rollup, хотя и обеспечивает быструю окончательность, имеет слишком высокую стоимость непрерывного создания доказательств с нулевым разглашением. Kailua объединяет преимущества обоих подходов, достигая баланса между стоимостью и эффективностью с помощью гибридной архитектуры. Как расширение фреймворка Optimism Kona, Kailua поддерживает неизмененный Kona на zkVM и внедряет инновационный механизм разрешения споров, снижая требования к залогу и уменьшая задержку окончательности, тем самым повышая эффективность и доступность системы. Пожалуйста, введите текст для перевода. В архитектуре Kailua механизм спора использует новый дизайн. Во-первых, его механизм разрешения споров убирает ограничение по времени, позволяя проверяющим иметь достаточно времени для генерации доказательств в случае специальных ситуаций, таких как прерывания в сети, что увеличивает упругость системы. Даже в экстремальных случаях расширенная архитектура RISC Zero zkVM способна завершить доказательство в течение часа. Кроме того, функция по требованию проверки Kailua позволяет разработчикам гибко настраивать частоту проверки, чтобы постепенно переходить к полной проверке в режиме Rollup с более низкими затратами. Пожалуйста, введите текст для перевода. В отличие от ZK Rollup, дизайн Kailua не требует постоянного создания доказательств. Для низкочастотных пустых блоков или Rollup с особыми требованиями к контракту, Kailua предлагает более экономически выгодный выбор. Кроме того, Kailua значительно снижает требования к залогу Rollup. Объем залога в традиционном оптимистичном Rollup линейно увеличивается с увеличением более длительного периода окончательности, в то время как оптимизированный дизайн Kailua фиксирует требования к залогу, что позволяет системе поддерживать безопасность и активность с более низкими затратами даже в течение длительного периода. Пожалуйста, введите текст для перевода. На данный момент Kailua полностью открытый исходный код. Разработчики могут использовать его инструментарий командной строки, чтобы развернуть локальную тестовую сеть Optimism и быстро обновить ее до сети, поддерживающей zk-доказательства отказа. Kailua также поддерживает симуляцию предложений сбоев, помогая разработчикам понять, как проверяющие могут вызвать ошибочное состояние с помощью zkVM, чтобы лучше понимать свой спорный механизм. В будущем Kailua также будет оптимизирован по стоимости и производительности, и расширен для поддержки большего количества Rollup-фреймворков. Пожалуйста, введите текст для перевода.
обзор
Пожалуйста, введите текст для перевода. Из вышесказанного можно сделать вывод, что матрица продуктов zkVM от RISC Zero продвигает технологию zero-knowledge proof в нескольких областях. Zeth и Kailua сосредоточены на оптимизации архитектуры Rollup, улучшении эффективности проверки блоков и скорости разрешения споров. Bonsai предоставляет услуги удаленного подтверждения, снижает зависимость от аппаратного обеспечения и затраты на выполнение, что позволяет разработчикам более эффективно строить приложения. Blobstream Zero, обеспечивая эффективную проверку межцепочных данных, обеспечивает надежную поддержку для модульной экосистемы блокчейна. Кроме того, Steel, используя модель вычислений вне цепочки и проверки в цепочке, снижает затраты на выполнение Смарт-контрактов в Gas. Пожалуйста, введите текст для перевода. Конечно, в то время как постоянно совершенствуется матрица продуктов zkVM, RISC Zero также продолжает содействовать инновациям в основных технологиях zkVM. Недавно RISC Zero zkVM выпустил версию 1.2, в которой был представлен новый способ предварительной компиляции, позволяющий разработчикам разворачивать логику предварительной компиляции вместе с приложениями, не встраивая ее в сам zkVM. Это означает, что разработчики могут добавлять новую логику предварительной компиляции без изменения проверочных контрактов на цепи или конфигурации доказателей, а также без необходимости в разветвлении или существенных изменениях zkVM для оптимизации производительности. Кроме того, применение определенной разработчиком предварительной компиляции также позволяет снизить вычислительные затраты на генерацию доказательств. Например, после интеграции предварительной компиляции RSA в Automata, количество выполненных циклов уменьшилось с 39 миллионов до 21,7 тысячи, что привело к уменьшению затрат примерно в 180 раз. Пожалуйста, введите текст для перевода. С улучшением технологии zkVM ее потенциал развития будет постепенно проявляться во многих сценариях применения, однако для более полного раскрытия этого потенциала по-прежнему необходимы сотрудничество в экосистеме и практическая реализация технологий. Пожалуйста, введите текст для перевода.
Пятая ежегодная премия RTY AWARD 2025 начинает голосование!
Зафиксирован новый рекорд! Близко 300 проектов и личностей прошли отбор по данным, открытой регистрации и рекомендациям сообщества и перешли в этап голосования. Кто является пионером в продвижении Web3 и криптовалюты в массы? Нажмите на изображение, чтобы проголосовать и поддержать лучшего года по вашему мнению!
Нажмите на изображение ниже, чтобы проголосовать!
! [ПРЕМИЯ RTY 2025] (https://m.shilian.com/uploads/20241225/JhIMEr98QV.jpg)