Что такое Boundless? Изучаем универсальный протокол ZK

Компания «Boundless» запустила свой mainnet 15 сентября 2025 года, что ознаменовало собой шаг вперёд в развитии децентрализованных систем доказательств с нулевым разглашением. Разработчики и исследователи давно искали способы сделать доказательство с нулевым разглашением более доступным и мотивированным. Boundless стремится удовлетворить эту потребность с помощью своего универсального протокола. Теперь доказывающие могут получать вознаграждение за свои вычислительные усилия, что превращает генерацию доказательств в продуктивную деятельность. Протокол основан на уже существующих методах доказательства с нулевым разглашением, но вводит новые механизмы для поддержания участия.

Истоки и основная концепция

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

Протокол работает как универсальный уровень, поддерживающий различные схемы ZK и системы доказательств, от SNARK до STARK. Пользователи отправляют запросы на доказательства через API, а доказывающие стороны в сети конкурируют за их выполнение. Успешные доказательства проверяются в блокчейне, что обеспечивает совместимость с несколькими блокчейнами. Эфириум, Solanaи другие могут интегрироваться без специальных сборок.

В основе Boundless лежит одноранговая сеть, где узлы используют специализированное программное обеспечение для получения заданий. Система эффективно агрегирует доказательства и обрабатывает рекурсию для сложных вычислений. Разработчики высоко оценивают её гибкость, поскольку она позволяет доказать что угодно — от простых арифметических действий до выполнения сложных смарт-контрактов.

Технические детали протокола

Boundless построен на модульной архитектуре, ядро ​​которой состоит из трёх слоёв: доказательного, верификационного и координационного. Доказательный слой выполняет схемы ZK, а доказывающие устройства используют ресурсы графического процессора или центрального процессора для вычисления доказательств. Протокол поддерживает Plonk и другие арифметические схемы, оптимизируя скорость за счёт параллельной обработки.

Верификация происходит быстро: как только приходит доказательство, сеть проверяет его корректность с помощью краткого верификатора. Этот шаг предотвращает недействительные заявки, а координационный уровень управляет распределением задач. Он использует протокол «сплетни» для трансляции запросов, а проверяющие делают ставки ZKC для участия и обеспечения своей заинтересованности.

Безопасность является ключевым фактором, поскольку Boundless использует формальную верификацию для своих цепочек и противостоит распространённым атакам, таким как отказ в обслуживании. Протокол использует пороговые сигнатуры для агрегации, что позволяет нескольким доказывающим сторонам вносить вклад в единое доказательство и сокращать число точек отказа. Требования к пропускной способности остаются низкими, около 1-2 МБ на запрос доказательства.

Детали реализации демонстрируют продуманную инженерную работу: программный стек включает Rust для основных компонентов. Он интегрируется с WebAssembly для компиляции схем, поэтому пользователи могут компилировать схемы офлайн, используя такие инструменты, как Circom или Halo2. Затем они загружают схемы в Boundless через панель управления, где система отслеживает статус проверки в режиме реального времени. API возвращают идентификаторы заданий для опроса.

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

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

Откройте для себя перспективные проекты...

Перспективные проекты...

(Рекламное объявление)

Продолжение статьи...

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

Доказательство проверяемой работы (PoVW) отличает Boundless от традиционных доказательство правильности работы Награда за хеш-вычисления, но PoVW вместо этого вознаграждает полезные доказательства ZK. Доказательства генерируют доказательства для реальных задач, а система оценивает работу по размеру и сложности доказательства. Награда масштабируется соответствующим образом.

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

PoVW представляет «Доказательство доказательства» (Proof of Proof), которое подтверждает, что доказывающая сторона действительно выполнила работу, и использует метадоказательство для подтверждения целостности вычислений. Это предотвращает мошенничество, например, отправку предварительно вычисленных доказательств, а механизм использует проверяемые функции задержки. Это также гарантирует своевременность.

На практике PoVW способствует развитию рынка, где спрос формируется за счёт децентрализованных приложений, нуждающихся в конфиденциальности, а предложение растёт по мере присоединения новых участников. Предварительные данные показывают среднее вознаграждение в 0.5 ZKC за доказательство, при этом для более сложных задач применяются множители сложности. Система динамически регулирует сложность для поддержания работоспособности сети.

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

Монета ZK: механика и утилитарность ZKC

ZKC — это нативный токен Boundless, обеспечивающий экосистему первоначальным предложением в 1 миллиард токенов. При первоначальном распределении 49% распределяется на развитие экосистемы, 23.5% — основной команде и ранним участникам, 21.5% — инвесторам и 6% — на продажу токенов. выброска десанта. 

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

Токеномика делает акцент на устойчивом развитии: эмиссия сокращается вдвое каждые четыре года, а PoVW выпускает новые ZKC пропорционально активности сети. Это связывает предложение с полезностью, а также предусмотрен механизм сжигания для сокращения оборотного предложения. Часть комиссий сжигает 10% ZKC.

Торги запущены в основной сети, токен представлен на нескольких ведущих биржах, включая Bybit, Kucoin и Bitget. На момент написания статьи Boundless ($ZKC) торгуется по $0.873, а текущая рыночная капитализация составляет около $23 млн, согласно данным Coingecko. даннымВладельцы могут делегировать доли проверенным проверяющим компаниям для получения доходности до 8% годовых.

Подробный экономический анализ показывает баланс: инфляция начинается с 10% в год и снижается до 2%. Это способствует раннему росту, а казначейство выделяет гранты на интеграцию. Застройщики могут подать заявку через форум Boundless, а одобренные проекты получат до 50,000 XNUMX ZKC.

ZKC подключается к другим блокчейнам через обёрнутые версии, обеспечивая кросс-чейн-проверку. Например, децентрализованное приложение Solana осуществляет выплаты в SOL, конвертируемых в ZKC внутри сети.

Безграничная экосистема: интеграции и приложения

Экосистема основана на инструментах и ​​партнёрских отношениях, включая комплект разработчика, включающий SDK для JavaScript и Rust. Он упрощает отправку доказательств, а обучающие материалы охватывают как базовые, так и продвинутые примеры использования. Комплексный подход инструкция, выпущенный ранее в мае, описывает процесс настройки.

Ключевые области применения Defi и идентификация, поскольку накопительные пакеты используют Boundless для подтверждения расчётов, а конфиденциальные кошельки генерируют учётные данные ZK. Одна интеграция подтверждает возраст без раскрытия даты рождения, а другая позволяет анонимно голосовать в DAO.

Партнёрства расширяют охват: Boundless сотрудничает с Polygon для поддержки zkEVM и работает с Aleo над передовыми схемами. Экосистемный фонд поддерживает стартапы, разрабатывающие этот протокол, предоставляя гранты, ориентированные на инструменты масштабируемости.

Сообщество стимулирует рост: на сервере Discord проходят сессии вопросов и ответов с ведущими разработчиками, а на хакатонах разыгрываются призы ZKC. На последнее мероприятие зарегистрировалось более 500 разработчиков, а отзывы помогают нам вносить изменения, например, улучшать ограничения скорости API.

Узлы образуют основу, поскольку каждый запускает проверочный узел с минимум 8 ГБ оперативной памяти, а панель управления отслеживает время безотказной работы. Вознаграждения начисляются ежедневно: полные узлы проверяют цепочку, а лёгкие клиенты запрашивают доказательства.

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

Вехи и путь вперед

Boundless уверенно продвигался к основной сети: тестовая сеть была запущена в первом квартале 1 года и обработала 2025 10,000 доказательств в бета-версии. Аудиты безопасности, проведённые Trail of Bits, выявили серьёзные уязвимости, а команда исправила 15 проблем перед запуском.

Активация основной сети 15 сентября запустила PoVW, и в течение нескольких часов к ней присоединились 200 участников. Ежедневные доказательства достигли 5,000 ко второму дню, а раздача монет ZK Coin принесла ранним тестировщикам 1% от общего запаса.

В число предстоящих важных этапов входит выпуск версии 1.1 в четвертом квартале 4 года, которая добавит поддержку протоколов FRI, а также мобильное приложение-проверитель в 2025 году. В дорожной карте обозначены мосты между цепочками к середине года.

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

источники:

_{Безграничный технический документ: http://read.boundless.network/} 

_{Полное руководство по Boundless: https://x.com/boundless_xyz/status/1920862141944389695?s=46} 

_{Представляем ZK Coin: https://x.com/boundless_xyz/status/1957498468093587905} 

_{Доказательство работы (Википедия): https://en.wikipedia.org/wiki/Proof_of_work}