💬 Как ZK-VM сделает будущее Web3 великим?

Как ZK-VM сделает будущее Web3 великим?

ЗК, ЗК-ВМ, и. ЗК-ЭВМ

Чтобы понять спецификации каждого дорожного проекта ZK, давайте сначала разберемся с основными понятиями, используемыми в ZK.

ZKP (Zero Knowledge Proof) означает доказательство с нулевым разглашением, которое относится к решению проблем конфиденциальности и масштабируемости блокчейна с помощью математической криптографии, в основном с помощью валидаторов и пользователей, для проверки точности данных без их раскрытия.

ZK-VM — это виртуальная машина с доказательством с нулевым разглашением, которая сочетает в себе доказательство ZK и виртуальную машину. ZK-VM обычно состоит из двух важных компонентов: компилятора, который может компилировать языки высокого уровня, такие как C++ и Rust, в промежуточные (IR) выражения для выполнения системой ZK; другой - это структура набора инструкций ISA (Instruction Architecture), которая в основном выполняет инструкции об операциях ЦП и представляет собой серию инструкций, используемых для указания ЦП выполнять операции.

ЗК-ЭВМ является разновидностью ЗК-ВМ. Его главная особенность заключается в том, что он совместим с Ethereum EVM и поддерживает смарт-контракты, написанные на Solidity, для запуска на своей виртуальной машине, чтобы помочь расширить второй уровень Ethereum. Starknet, zkSync, Scroll и Polygon Hermez принадлежат ZK-EVM.

ZK последние заметные новые финансовые проекты

Полное название Nil Foundation: «=nil; Фонд», что звучит как беспорядочные буквы. На самом деле это странное прозвище происходит от шутки о SQL-инъекциях.

Nil Foundation начала свою деятельность как система управления базами данных в 2018 году. В конце прошлого года она завершила раунд инвестиций в размере 22 миллионов долларов при оценке в 220 миллионов долларов под руководством Polychain Capital при участии Blockchain Capital, Starkware, Mina Protocol и IOSG Ventures.

Фонд Nil создал компилятор ZK на основе LLVM, который может преобразовывать языковые программы высокого уровня, такие как C++ и Rust, в промежуточные (IR) выражения, подходящие для системной проверки. То есть Nil Foundation — это компилятор, а не виртуальный компьютер.

LLVM (LowLevelVirtualMachine) — это фреймворк для компиляторов фреймворков, который может оптимизировать компиляцию и время выполнения языков высокого уровня, таких как Rust и C++. LLVM был создан в 2000 году доктором Крисом Латтнером из Университета Иллинойса. Крис Латтнер начал заниматься развертыванием LLVM на платформах разработки после прихода в Apple в 2006 году. Сейчас LLVM используется такими крупными корпорациями, как Apple, Microsoft, Google и Facebook.

Кроме того, Nil Foundation занимает особое место в том, что он сформировал «Рынок доказательств». Пользователи могут платить владельцам оборудования за их проверку через Proof Market, а доказывающие соревнуются, чтобы доказать пользователям, которые им платят. Эта динамика свободного рынка позволит доказывающим оптимизировать наиболее прибыльные задания на доказательство в вычислительном отношении.

Sovereign Labs, которая занимается разработкой ZK-Rollup SDK, в январе этого года получила начальное финансирование в размере 7,4 млн долларов. Haun Ventures возглавила этот раунд финансирования с участием Maven 11, 1KX, Robot Ventures и Plaintext Capital.

Sovereign Labs намеревается выпустить комплект для разработки программного обеспечения (SDK), чтобы помочь разработчикам в создании безопасных и интероперабельных накопительных пакетов с нулевым разглашением. Sovereign SDK предназначен для упрощения создания ZK-Rollups, так же как Cosmos SDK упрощает создание Layer 1.

Это первая платформа агрегации, которая устраняет сложность нулевого разглашения, упрощая разработчикам разработку приложений без необходимости быть специалистами в области криптографии. Разработчики смогут создавать приложения на идиоматическом Rust (или C++) с помощью Sovereign SDK, и SDK автоматически преобразует их в эффективную виртуальную машину ZK.

Дорожная карта Sovereign Labs разделена на три раздела. Первый шаг предполагает завершение прототипа исследовательского дизайна во втором квартале 2023 года. Celestia для доступности данных и Risc0 для доказательства включены в настоящий прототип. Второй этап — установка Sovereign SDK, который включает в себя одноранговую сеть, узел RPC, основной API, а также модули хранения и сортировки по умолчанию. Третий шаг состоит из очистки кода, тестирования, фаззинга и аудита.

Ulvetanna, фирма, разрабатывающая оборудование для повышения эффективности производства доказательств с нулевым разглашением (ZKP), привлекла 15 миллионов долларов в ходе начального раунда, возглавляемого Bain Capital Crypto и Paradigm с участием Jump Crypto. бросать.

Ulvetanna разрабатывает аппаратное обеспечение для ускорения генерации ZKP, и в ее команду входят программисты и инженеры из Coinbase, Microsoft и Intel.

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

Cysic, производитель оборудования ZK, привлекла 6 миллионов долларов в ходе начального раунда, возглавляемого Polychain Capital в декабре 2022 года, с дополнительными инвесторами, включая Hashkey, SNZ Holding, ABCDE и Web3.com Foundation.

Cysic намерена предложить решение с аппаратным ускорением для проверки ZK. Scroll, Nil Foundation и Hyper Oracle входят в число текущих партнеров Cysic.

Cysic создал прототип FPGA Multiple Scalar Multiplication (MSM), своего рода программируемого оборудования, похожего на процессоры CPU и GPU.

Hyper Oracle, сеть компьютеров ZK oracle, недавно завершила начальный раунд на 3 миллиона долларов под руководством dao5 и Sequoia China Seed Fund, к которому присоединились Foresight Ventures, FutureMoney Group и другие.

Чтобы решить проблемы промежуточного программного обеспечения блокчейна с точки зрения безопасности, децентрализации, вычислительной целостности и производительности, Hyper Oracle создает протокол промежуточного программного обеспечения ZK и машину оракула ZK zkOracle на основе виртуальной машины zkWASM.

Polyhedra Network, инфраструктурная фирма ZK, завершила раунд финансирования на сумму 10 миллионов долларов, возглавляемый Binance Labs и Polychain Capital при участии Animoca Brands и Dao5.

Polyhedra в настоящее время работает над тремя продуктами ZK, основанными на технологии ZK: ZK Bridge (zkBridge) для передачи активов L1 и L2; ZK-DID, решение для идентификации пользователей, которое защищает конфиденциальность с помощью технологии доказательства с нулевым разглашением; и программируемый протокол NFT. Это устройство, ZK-NFT, использует технологию доказательства с нулевым разглашением для защиты конфиденциальности пользовательских активов. Тестовая сеть zkBridge в настоящее время работает.

Кроме того, Polyhedra создала ParaPlonk, решение для масштабирования, которое может использовать крупномасштабную распределенную сеть генерации доказательств для ускорения свертки ZK. Polyhedra намерена интегрировать новые блокчейны и сделать их доступными для разработчиков с помощью инструментов API и SDK, чтобы привлечь больше разработчиков ZK-свертывания.

RISC Zero (подробности о финансировании пока не разглашаются) — ZK-VM общего назначения с открытым исходным кодом. Проект получил свое название от известного процессора RISC (Reduced Instruction Set Computer).

Целью набора инструкций RISC-V является оптимизация сокращенного набора инструкций, в котором всего более 40 наборов инструкций. RISC Zero поддерживает сложные языки программирования, такие как C++, Rust и Go, благодаря набору инструкций RISC-V, и разработчики могут использовать ZK-VM без изучения новых языков.

Нулевой рост продукта в RISC По словам вице-президента Манаси (ранее директора по развитию Uniswap), RISC Zero также будет поддерживать Solidity, что сделает его более привлекательным для разработчиков Ethereum. RISC ZERO использует архитектуру LLVM, которую используют несколько крупных производителей для языковой компиляции. Из-за использования довольно зрелого решения для компиляции и набора инструкций, RISC ZERO может стать типичным проектом на треке ZK-VM с технологической точки зрения.

Стратегия развития трека ZK

В прошлом году инициативы ZK track в основном были сосредоточены на ZK-EVM, совместимых с Ethereum, таких как Starknet, zkSync, Scroll и других известных проектах. Согласно категориям недавно профинансированных инициатив ZK, они в основном основаны на инфраструктуре, например компиляторы схем ZK, аппаратное ускорение ZK, оракулы ZK и мосты.

В то же время эти проекты продемонстрировали тенденцию, а именно рост количества инициатив ЗК-ВМ. Поэтому, предлагая систему доказательств ZK, ZK-VM может помочь большому количеству приложений Web2 в сочетании с доказательствами с нулевым разглашением для достижения Web3. Нынешнее серверное решение Gamefi для управления пользовательскими данными, например, является централизованным. Игра может достичь настоящей децентрализации, если серверная часть использует ZK-VM. Многие приложения Web2, по аналогии, при необходимости могут быть децентрализованы.

Что лучше на будущее, ЗК-ЭВМ или ЗК-ВМ? Хотя приложения Ethereum будут постепенно поддерживать ZK-EVM, Web3 не ограничивается Ethereum, потому что ZK-VM поддерживает более продвинутые языки и его легче построить, чем ZK-EVM (ZK-VM может использовать зрелую архитектуру компилятора и набора инструкций), и если ZK -VM также может хорошо поддерживать Solidity, ZK-VM может стать будущим Web3.

ОТКАЗ ОТ ОТВЕТСТВЕННОСТИ: Информация на этом веб-сайте предоставляется в качестве общего комментария к рынку и не является инвестиционным советом. Мы рекомендуем вам провести собственное исследование, прежде чем инвестировать.