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

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

Происхождение и Основные Концепция

Компания Boundless возникла в результате усилий по децентрализации. ZK Генерация доказательств, как и доказательства с нулевым разглашением, позволяет одной стороне доказать истинность утверждения, не раскрывая лежащие в его основе данные. Они обеспечивают работу функций конфиденциальности в блокчейнах и за их пределами, однако генерация таких доказательств требует значительных вычислительных мощностей. Централизованные сервисы часто занимаются этим, что вызывает опасения по поводу доверия и масштабируемости, поэтому 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%, а продажа токенов — 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 dApp вносит платежи SOLПреобразовано в ZKC внутри системы.

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

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

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

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

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

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

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

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

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

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

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

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

источники:

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

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

_{Вводя ZK Монета: https://x.com/boundless_xyz/status/1957498468093587905} 

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