Что такое ZKThreads?

ZKThreads — это фреймворк, который может улучшить производительность и масштабируемость децентрализованных приложений (DApps) с помощью доказательств с нулевым разглашением (ZKP). Он предлагает преимущества, такие как улучшенный пользовательский опыт, снижение затрат на транзакции и повышенная безопасность. ZKThreads можно применять в децентрализованных биржах (DEX), сессионных играх, zk-защищённом промежуточном ПО и on-chain AI-системах.

Основы

Достичь оптимального уровня безопасности, композиции и взаимодействия в децентрализованных приложениях нелегко. ZKThreads представляют собой перспективное решение этой задачи. В этой статье рассматривается, что такое ZKThreads, как они работают, чем отличаются от других zk-решений и какие преимущества и применения имеют.

Что такое ZKThreads?

ZKThreads — это zero-knowledge фреймворк, который повышает производительность и масштабируемость DApp. Используя возможности Starknet, он создаёт стандартизированную среду для разработки и работы совместимых блокчейн-приложений.

Как работают ZKThreads

• Развёртывание логики приложения: Логика приложения сначала разворачивается в смарт-контрактах ZKThreads, которые задают правила работы приложения.
• Группировка транзакций: Вместо обработки каждой транзакции по отдельности ZKThreads объединяют несколько транзакций в одну партию для более эффективной обработки.
• Создание доказательств: Генерируется криптографическое доказательство, известное как STARK-proof, для валидации всех транзакций в партии в соответствии с правилами контракта.
• Верификация: Затем STARK-доказательство отправляется секвенсеру уровня Layer 2 для проверки относительно канонического состояния DApp. Верификатор ZKThread — контракт на Starknet — подтверждает корректность доказательства, проверяя отсутствие двойной трат, авторизацию и соответствие правилам блокчейна. Допустимые доказательства обновляют каноническое состояние DApp, а недействительные отклоняются, сохраняя целостность приложения.

ZKThreads и другие zk-решения

Обработка данных

ZKThreads хранят как состояние, так и данные транзакций вне цепочки, используя доказательства с нулевым разглашением (ZKP) для их валидации. Такой подход отличается от традиционных zero-knowledge rollup (zk-rollups), которые выносят вычисления, но сохраняют данные транзакций в цепочке. Хранение всех данных вне цепочки делает ZKThreads более масштабируемыми и дешевыми по сравнению с zk-rollups, такими как zkSync, которые периодически публикуют батчи транзакционных данных в цепочке для обеспечения доступности данных.

Взаимодействие

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

Механизм валидации

ZKThreads используют STARK-доказательства для проверки батчей транзакций и изменений состояния, которые затем сверяются с каноническим состоянием DApp. Другие zk-rollups, например zkSync, применяют zk-SNARKs или zk-STARKs для ончейн-верификации криптографических доказательств.

Преимущества ZKThreads

• Улучшенный пользовательский опыт: ZKThreads обеспечивают плавное взаимодействие между различными DApp, позволяя пользователям обращаться к нескольким приложениям без переключения сетей.
• Экономия затрат: За счёт группировки транзакций для одновременной обработки ZKThreads сокращают число записей в основной сети. Это уменьшает комиссии за транзакции, делая DApp более доступными. Кроме того, хранение состояния и данных транзакций вне цепочки при сохранении безопасности с помощью ZKP снижает нагрузку на блокчейн и расходы на газ.
• Повышенная безопасность: С помощью ZKP ZKThreads улучшают безопасность, проверяя транзакции без раскрытия данных, сохраняя конфиденциальность. Они также гарантируют соблюдение предопределённых правил, предотвращая неавторизованные действия.

Применения ZKThreads

Децентрализованные биржи уровня Layer 2

ZKThreads повышают эффективность DEX на Starknet, значительно снижая комиссии. Вместо оплаты за каждую сделку пользователи платят комиссию только при выводе средств, что делает DEX более экономичными и практичными.

Сессионные игры

Для игр, таких как покер и шахматы, ZKThreads агрегируют комиссии, взимая единую плату в конце партии при фиксации итогов на Starknet. Это позволяет разработчикам создавать полностью ончейн-игры без высоких транзакционных расходов.

ZK-защищённое промежуточное ПО и общая инфраструктура ликвидности

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

On-chain AI

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

Заключение

ZKThreads предоставляют масштабируемую и безопасную основу для разработки DApp с использованием доказательств с нулевым разглашением. Они особенно полезны для DEX на Starknet, сессионных игр и промежуточных приложений. В отличие от других zk-решений, ZKThreads делают ставку на совместимость, хранят все данные вне цепочки и используют уникальный процесс верификации. В будущем ZKThreads могут существенно повысить производительность и удобство использования DApp.