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.