Безграничный: Инженерия тихой инфраструктуры масштабируемого цифрового доверия

Нина (опыт): Привет, Тарик, ты следил за тем, что делает @boundless_network в последнее время? Я думаю, что они тихо строят один из самых важных слоев в инфраструктуре Web3 — своего рода тихий фундамент, который поддерживает масштабируемое цифровое доверие. Тарик (любопытно): Я слышал это название и немного шума вокруг “ZK”, “доказуемые вычисления” и т.д., но я не совсем понимаю, как #Boundless создает это доверие или что делает его “тихой инфраструктурой”. Можешь объяснить мне это с фактами? Нина: Абсолютно. Как я это вижу, Boundless разрабатывает протокол, который позволяет каждой блокчейн-сети, роллапу или приложению выносить тяжелые вычисления за пределы цепочки, а затем отправлять сжатые доказательства на цепочку о том, что эти вычисления были выполнены правильно. Это сохраняет безопасность и существенно снижает трение. Это универсальный протокол нулевых знаний (ZK): нет необходимости каждой цепочке разрабатывать свою собственную специализированную систему доказательств. Тарик: Когда вы говорите “внешняя обработка вычислений”, вы имеете в виду, что у Boundless есть сеть серверов или узлов, выполняющих вычислительную работу, и затем они предоставляют доказательства? Как это избегает недоверия или обмана? Нина: Именно так: Boundless имеет безразрешительную, децентрализованную площадку провайдеров — это означает, что множество независимых узлов (провайдеров) конкурируют за выполнение работы, запрашиваемой разработчиками. Эти провайдеры генерируют нулевые доказательства знаний корректности этой работы. В цепочке, проверка сжатого ZK доказательства намного дешевле и быстрее, чем повторное выполнение всей логики. Система включает экономические стимулы: провайдеры вознаграждаются через механизм, называемый Доказательство Проверяемой Работы (PoVW), где вам платят за фактические полезные вычисления, а не просто за решение задач методом грубой силы. Тарик: PoVW? Значит, это отличается от Proof of Work (PoW) в Bitcoin и т.д. Как это лучше, практически? Нина: Да, это отличается и, на мой взгляд, больше соответствует тем требованиям, которые возникнут у блокчейнов в будущем. Вместо того чтобы тратить энергию на произвольные криптографические задачи, провайдеры выполняют полезные вычисления — задачи, которые кто-то запросил, которые служат логике приложения, верификации и т. д. Это меняет структуру стимулов: вы не получаете вознаграждение за потребление энергии, а за предоставление проверяемых результатов. Это снижает потери, соответствует требованиям безопасности и лучше масштабируется, потому что с увеличением числа провайдеров, пропускная способность протокола ( проверяемых вычислений ) увеличивается. Тарик: Звучит многообещающе. Но как насчет задержки, затрат и бремени для разработчиков? Разве генерация ZK-доказательств все еще не является дорогой, медленной или технически сложной? Нина: Хороший вопрос. Именно с такими компромиссами сталкиваются многие проекты. Boundless решает их несколькими способами: Абстрагирование от сложности. Разработчики просто подают запросы на доказательства; им не нужно создавать свои собственные цепи доказательств. Им не нужно знать все криптографические внутренности. Boundless обрабатывает генерацию доказательств, агрегацию, расчет на цепочке.

Масштабируемость через децентрализацию. Чем больше узлов-доказателей у вас есть, тем больше вычислительной мощности имеет система. Таким образом, она улучшается по мере увеличения принятия. Проверка доказательств в цепочке предназначена для того, чтобы быть дешевой.

Совместимость и модульность. Например, Boundless работает с Wormhole для добавления проверяемых путей для передачи нативных токенов (NTT) между цепочками, сочетая доказательство консенсуса с основанными на подписи аттестациями. Это помогает обойти или дополнить более медленные, нагруженные доверием механизмы мостов.

Экономические стимулы и токеномика. Существует нативный токен ($ZKC), который предоставляет возможность ставить/закрывать, зарабатывать и т.д., что согласует стимулы. По мере снижения затрат на доказательства (лучшее оборудование, лучшие системы доказательства), система становится более эффективной.

Тарик: Итак, тихая инфраструктура означает отсутствие ярких приложений, но это те вещи, которые находятся за кулисами и делают все остальное более надежным, масштабируемым и дешевым. Какие риски или проблемы стоят перед Boundless в превращении этой визии в широко распространенную реальность? Нина: Да, молчаливый, но основополагающий. И есть несколько проблем, но Boundless имеет встроенный дизайн, чтобы смягчить многие из них. Вот основные из них: Сложность доказательства и стоимость: Хотя проверка доказательства в цепочке дешевле, чем полное выполнение, генерация доказательства все еще может быть ресурсоемкой, особенно для больших вычислений. Необходима оптимизация систем доказательства, zkVM, аппаратное ускорение. Boundless использует zkVM от RISC Zero и продолжает оптимизацию.Фрикции при принятии: Интеграция dApps, роллапов, существующих цепочек с рыночной системой доказательств Boundless, изменение их архитектуры для аутсорсинга вычислений является непростой задачей. Существуют обучение разработчиков, аудит и тестирование доверия.Компромиссы по задержке и окончательности: Для некоторых случаев использования ожидание генерации и расчетов доказательства может ввести задержку по сравнению с нативным выполнением. Задача заключается в балансе между скоростью и проверяемостью.Риски безопасности: Протоколу нужны сильные гарантии против неправомерного поведения провайдеров, злонамеренных доказательств, сговора или отказа от ответа. Экономическая ставка/штрафы, проверка, избыточность и криптографическая надежность являются частью защиты.Регуляторные/доверительные вопросы: Хотя Boundless в основном является криптографической инфраструктурой, то, как доказательства соотносятся с юридическими стандартами, ответственностью, конфиденциальностью, суверенитетом данных и т.д. может иметь значение, особенно для корпоративных или регулируемых случаев использования. Тарик: Это всё имеет смысл. Так что, в конечном итоге, каково же преимущество этой инфраструктуры молчаливого доверия по сравнению с просто более мощными L1, более эффективными роллапами или даже централизованными вычислительными решениями? Нина: Отличный вопрос. Преимущества многообразны, на мой взгляд: Масштабируемость без ущерба для безопасности или децентрализации: Поскольку вам не нужно, чтобы каждый узел блокчейна выполнял каждое вычисление — вам требуется лишь подтверждение доказательств — вы избегаете узких мест.Единая модель доверия: С универсальными протоколами и рынком провайдеров, вы снижаете предположения о доверии. Каждый видит доказательства, может их аудировать, математически проверять. Это уменьшает количество черных ящиков.Композиция и интероперабельность между цепями: Boundless строит доверие между экосистемами: цепями, роллапами, мостами, сообщениями. Это помогает преодолеть фрагментацию.Снижение затрат со временем: По мере улучшения технологий генерации доказательств, по мере присоединения большего числа провайдеров, стоимость единицы вычисления и каждого доказательства должна снижаться, что делает многие в настоящее время дорогие операции осуществимыми.Поощрение инноваций: Поскольку разработчикам не нужно заново строить системы доказательств, они могут быстрее внедрять инновации. Новые приложения, которые требовали тяжелых вычислений, конфиденциальности, проверяемых потоков данных или сложной логики вне цепи, становятся более реальными. Тарик: Ладно. После всего этого я убеждён — Boundless кажется сильным претендентом на то, что я мог бы назвать “невидимым позвоночником” инфраструктуры доверия Web3. Он может не всегда быть видимым для конечных пользователей, но гарантирует, что доверие, масштабируемость и безопасность встроены, а не добавлены. Нина: Именно. Без тихих слоев, таких как Boundless, многие обещания Web3 — композируемость, доверие между цепочками, конфиденциальность, масштабируемые приложения — остаются хрупкими или дорогими. С Boundless есть реалистичный путь к тому, чтобы сделать цифровое доверие масштабируемым, эффективным и устойчивым к тем узким местам, которые сдерживали его принятие. #Безграничный $ZKC