Краткое содержание
Marlin улучшает вычислительную мощь и выразительность смарт-контрактов, используя легко проверяемые вычислительные ресурсы вне цепочки.
Он включает два продукта, Oyster и Kalypso, которые используют TEE и zk-доказательства соответственно для обеспечения корректности вычислений.
Безсерверные возможности позволяют разработчикам «запускать и забывать» код, освобождая их от утомительного DevOps. Автомасштабирование и отказоустойчивость встроены в протокол Marlin.
Сеть на базе GPU позволяет разработчикам вызывать программы, отправлять данные и получать результаты с помощью вызовов смарт-контрактов, что делает приложения и игры на основе ИИ в DeFi практичными.
Фоновые системы, развернутые на Oyster, могут открывать HTTPS конечные точки, позволяя развертывать ордерные биржи с низкой задержкой, RPC шлюзы или децентрализованные фронтенды на них.
Введение
Блокчейн состоит из большого количества узлов, которые избыточно обрабатывают транзакции, чтобы предотвратить мошеннические действия пользователей с двойной тратой их монет или выполнением недействительных транзакций. Это обычно делает блокчейны медленными и дорогими. Даже решения по масштабированию второго уровня, такие как роллапы, ограничены в своих возможностях, так как они не могут получить доступ к истории блокчейна для вычисления кредитных рейтингов, запуска больших моделей машинного обучения для разработки динамических игр или достижения достаточно низкой задержки для развертывания отзывчивых ордерных бирж.
Сопроцессоры такие как Marlin позволяют вычислять большие и сложные алгоритмы на оффчейн узлах с добавленным доступом к Web 2 API и истории блокчейна. Вместо того, чтобы оценивать одну и ту же программу на нескольких машинах, каждая программа выполняется на одном узле, что ускоряет выполнение, снижает стоимость и увеличивает параллелизацию. Правильность результатов в отсутствие избыточных вычислений оригинальной программы обеспечивается с помощью программных структур, известных как доказательства с нулевым разглашением (ZK) и защищенные среды выполнения (TEE), где компактные доказательства и аттестации вычислений проверяются в цепочке гораздо быстрее и дешевле.
Что такое Marlin?
Marlin - это протокол проверяемых вычислений. Он состоит из децентрализованной сети узлов, которые позволяют выполнять произвольные программы. Программы могут быть написаны на Solidity, C++, Rust и Go или нацелены на любую другую среду WASM. Их можно развернуть на отдельных узлах Marlin, как контейнеры Docker, и вызывать с помощью вызовов смарт-контрактов.
Протокол гарантирует, что программы выполняются правильно, несмотря на выполнение их вне цепочки на узлах, управляемых недоверенными третьими сторонами. Результат программ затем может быть передан обратно в цепочку или сделан доступным через конечные точки API. Если узел становится недоступным или если рабочая нагрузка внезапно увеличивается, протокол автоматически создает новые инстансы, предоставляя пользователям безсерверный интерфейс.
История релизов
Вот краткий обзор истории релизов Marlin:
OpenWeaver был выпущен в Q4 2019 года, что позволило развернуть глобальные релейные сети с низкой задержкой среди кластера узлов.
Marlin Cache был выпущен во втором квартале 2020 года, чтобы позволить узлам хранить и обслуживать часто запрашиваемые данные.
В Q4 2020 года OpenWeaver был развернут в публичной сети из более чем 800 узлов, называемой Marlin Relay.
В течение Q2 2021 года был выпущен mev-bor, клиент Flashbots для Polygon, для получения MEV пакетов через Marlin Relay.
Oyster добавил вычислительные возможности с использованием TEE в сеть во втором квартале 2022 года.
Kalypso позволяет генерацию ZK доказательств передавать в сеть и была анонсирована в Q4 2023 года.
Как работает Marlin?
Как децентрализованная вычислительная сеть, архитектура Marlin оптимизирована для трех задач:
(i) получение запросов на вычисления
(ii) выполнение вычислений
(iii) предоставление результатов вычислений
В духе децентрализации любой желающий может присоединиться к сети и выполнять эти задачи. В зависимости от задач узлам назначаются разные роли, а именно,
Узлы шлюзов
Узлы выполнения
Мониторинговые узлы
Узлы шлюзов
Узлы шлюзов отвечают за получение запросов и их пересылку узлам выполнения. Запросы на вычисления могут быть сделаны путем вызова HTTPS конечных точек, выставленных узлами шлюзов. В качестве альтернативы, для того чтобы смарт-контракты могли делать запросы, на блокчейне развертывается контракт реле. Шлюзы слушают события, исходящие от контракта реле, а затем назначают узлы выполнения для обработки запроса.
Шлюзы, таким образом, действуют как дефакто балансировщик нагрузки, поскольку они проверяют, какие узлы выполнения заняты или свободны, прежде чем пересылать запросы. Точно так же шлюзы также выступают в качестве канала для передачи результатов обратно. В зависимости от требований пользователей, делающих запрос, шлюзы могут совершать транзакции смарт-контрактов для передачи результатов обратно в цепочку.
Безсерверное выполнение: Фактически, те же свойства позволяют узлам шлюзов обнаруживать, когда узлы выполнения имеют высокую нагрузку или становятся недоступными. Они инструктируют новые узлы выполнения взять на себя управление. Поскольку шлюзы координируют с пулом узлов выполнения, разработчики не обязаны выбирать и контролировать отдельные узлы выполнения.
Узлы выполнения
Узлы выполнения включают в себя обычные ноутбуки и серверы, а также специализированное оборудование, такое как GPU, ASIC и FPGA. Они предназначены для выполнения вычислений, таких как алгоритмы сопоставления для торговых движков, которые были бы чрезмерно дорогими в цепочке. Кроме того, они также могут делать выводы с использованием моделей машинного обучения или генерировать ZK доказательства, что было бы просто невозможно в цепочке.
Программы, которые должны быть выполнены, могут быть непосредственно переданы узлу выполнения, сохранив их в calldata транзакции или на IPFS и указав узлам выполнения на них, упомянув хэш транзакции или IPFS в запросе. Поскольку программы могут быть написаны на любом языке, они также могут включать серверы, которые могут работать на узле выполнения и обслуживать запросы пользователей, как децентрализованный бэкенд.
Мониторинговые узлы
Мониторинговые узлы проверяют гарантии уровня сервиса (SLA), предоставленные шлюзами и узлами выполнения, включая время работы и доступность сети. В случае, если узел не соответствует ожидаемым гарантиям, его ставка может быть сокращена мониторинговыми узлами. Таким образом, мониторинговые узлы играют ключевую роль в поддержании честности и высокой производительности сети, исключая недобросовестные и низкоэффективные узлы.
Гарантии корректности
Учитывая, что любой может запускать эти узлы, что произойдет, если узлы выполнения вернут неверные результаты? Многое может пойти не так, если оракул, работающий на Oyster, вернул неверную цену актива или если биржа бессрочных контрактов ошибочно ликвидировала трейдера. Не менее плохо, если оператор узла сможет подглядывать за конфиденциальными данными, такими как запатентованная модель машинного обучения, обеспечивающая кредитный рейтинг.
Для того чтобы обеспечить пользователям комфорт безопасного выполнения, Marlin использует две технологии: TEE и ZK доказательства.
Защищенные окружения исполнения (TEE)
TEE или защищенная среда - это защищенная система в машине, где данные и код изолированы от других процессов на аппаратном уровне. Многие облачные провайдеры и производители серверов предоставляют такие инстансы. Узлы выполнения Oyster используют TEE, чтобы гарантировать правильную работу программ, так как ни операционная система, ни какой-либо другой процесс, работающий на ней, не могут получить доступ к программам внутри TEE.
Данные, отправляемые в TEE, часто шифруются и расшифровываются только внутри TEE, предотвращая утечку конфиденциальной информации операторам узлов. Верифицируемая аттестация в цепочке может быть получена, когда вычисления выполняются внутри TEE.
Доказательства с нулевым разглашением (ZK)
Доказательство с нулевым разглашением - это криптографическая схема, которая позволяет кому-то, выполняющему вычисления, доказать кому-то другому, что результат верен, поделившись доказательством. Криптография, лежащая в основе генерации доказательства, делает его очень легким для проверки, но практически невозможным для подделки, если вычисления действительно были выполнены правильно. Вычисления, переданные узлам выполнения Kalypso, генерируют такое доказательство, которое затем может быть проверено в цепочке.
Рынок провайдеров Kalypso ZK - это биржа на основе ордеров, которая позволяет любому создать рынок для любой схемы доказательства ZK. Поскольку генерация ZK доказательств требует времени и затратна, рынок связывает устройства с ограниченными ресурсами с поставщиками бездействующего оборудования, чтобы увеличить их доход и использование ресурсов.
Что делает Marlin уникальным?
Marlin - это сеть оффчейн сопроцессоров, а не блокчейн. Это предлагает несколько ключевых преимуществ:
Независимость от блокчейна: Marlin может работать с любым провайдером layer 1, layer 2 или rollup-as-a-service для увеличения их вычислительных возможностей.
Доступ к данным вне цепочки: Узлы Marlin могут получать информацию из баз данных, Web 2 API или архивных узлов блокчейна, что невозможно в цепочке.
Параллельные вычисления: Узлы сопроцессоров в Marlin не выполняют одни и те же вычисления избыточно, позволяя каждому узлу одновременно работать над различными задачами.
HTTPS конечные точки: TLS соединения могут быть завершены внутри TEE, позволяя узлам Oyster отправлять/получать данные с использованием HTTPS соединений.
Независимость от схемы: В отличие от специализированных сетей ZK провайдеров, Kalypso разработан как разрешающий, позволяя генерацию доказательств для любой схемы, zkVM или системы доказательства.
В отличие от большинства блокчейн-систем, где вычисления являются транзакционными, программы, развернутые на Marlin, могут работать бесконечно, при условии, что связанный кошелек продолжает оплачивать это.
Что такое токен POND?
Экосистема Marlin полагается на токен POND для обеспечения своих гарантий безопасности. Узлы в сети обязаны ставить POND для присоединения. Они рискуют потерять свою ставку в случае неправомерного поведения. Это обеспечивает соблюдение различных участников сети правил, определенных протоколом.
Заключительные мысли
Oyster и Kalypso позиционируют Marlin как надежный сопроцессор для DApps, построенных на любом провайдере layer-1, layer-2 или roll-as-a-service. Его настраиваемая природа обеспечивает DApps возможность выбора использования TEE, ZK доказательств или обоих для обеспечения безопасности оффчейн вычислений. Его гибкость предоставляет широкий спектр вариантов развертывания, режимов взаимодействия, языков программирования и сред выполнения. В конечном итоге его открытость позволяет любому присоединиться, предоставить вычислительную мощность и развернуть увлекательные приложения.
Этот контент представлен вам на основе «как есть» для общей информации и образовательных целей, без каких-либо представлений или гарантий. Он не должен интерпретироваться как финансовый, юридический или другой профессиональный совет, и не предназначен для рекомендации покупки какого-либо конкретного продукта или услуги. Вам следует обратиться за советом к соответствующим профессиональным консультантам. Продукты, упомянутые в этой статье, могут быть недоступны в вашем регионе. Если статья подготовлена третьим лицом, обратите внимание, что мнения, выраженные в ней, принадлежат этому третьему лицу и не обязательно отражают мнение Binance Academy. Пожалуйста, прочитайте наш полный отказ от ответственности для получения дополнительной информации. Цены на цифровые активы могут быть нестабильными. Стоимость ваших инвестиций может снизиться или увеличиться, и вы можете не вернуть вложенную сумму. Вы несете единоличную ответственность за свои инвестиционные решения, и Binance Academy не несет ответственности за любые убытки, которые вы можете понести. Этот материал не должен интерпретироваться как финансовый, юридический или другой профессиональный совет. Для получения дополнительной информации смотрите наши Условия использования и Предупреждение о рисках.