Протокол SNARKtor Telos: Революция в технологии zk-SNARKS

Исследование протокола SNARKtor Telos: Инсайты от Альберто Гароффоло, руководителя отдела технологий ZK

Представляем вам Альберто Гароффоло, руководителя отдела технологий ZK в Telos, чье сотрудничество с IOHK обещает переосмыслить масштабируемость блокчейна. В своем недавнем White Paper они представили протокол SNARKtor, нацеленный на революцию в технологии zk-SNARKS. Это партнерство решает растущий спрос на zk-SNARKS, важные для защиты пользовательских данных, повышения масштабируемости и обеспечения совместимости блокчейнов.

Представьте себе – вы совершаете онлайн-транзакции, управляете медицинскими записями или участвуете в аукционах. Теперь представьте, что вы делаете все это, не раскрывая чувствительной информации, такой как ваша зарплата или медицинская история. Вот в чем сила zk-SNARKS – бесшумные защитники конфиденциальности в мире блокчейна.

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

Для полного понимания мы имели привилегию пообщаться с умом всего этого, Альберто Гароффоло, руководителем отдела технологий ZK в Telos, чтобы раскрыть сложные механизмы zk-SNARKs в экосистеме Telos.

Какова основная цель сотрудничества между Telos и IOHK, как описано в их недавнем White Paper о масштабируемости блокчейна?

Учитывая все возрастающую потребность zk-SNARKS в блокчейн-пространстве, например, для защиты данных пользователей, улучшения масштабируемости и обеспечения совместимости, очевидно, что текущим блокчейн-системам требуется более масштабируемый способ верификации доказательств SNARKs.

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

Можете ли вы объяснить практические применения zk-SNARKs простыми словами и как они влияют на технологию блокчейна?

Нулевое Знание играет решающую роль в возможности использования случаев, где защита данных пользователя является фундаментальной в приложениях, таких как Зарплатная ведомость, Бизнес-платежи, Голосование, Аукционы, Медицинские приложения и многие другие.

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

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

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

В чем отличие протокола SNARKtor от предыдущих подходов к верификации zk-SNARK, и почему он считается прорывным?

SNARKtor - это полностью децентрализованный протокол, использующий рекурсивную композицию доказательств для агрегации множества доказательств для разных транзакций в единое уникальное доказательство. Транзакции могут быть совершенно независимыми (например, некоторые транзакции могут использовать ZK для защиты конфиденциальности данных пользователей, некоторые - для целей соблюдения, а другие - с использованием ZK для проверки обновления состояния zk-rollup) и даже могут использовать различные системы доказательств.

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

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

Альберто Гароффоло, руководитель отдела технологий ZK в Telos

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

Как интеграция zk-SNARKs через протокол SNARKtor приносит пользу разработчикам и улучшает использование в экосистеме Telos?

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

Как Telos планирует интегрировать zk-SNARKs в свою экосистему?

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

Конкретно разработчики смогут использовать общеиспользуемый язык высокого уровня для написания логики, гарантирующей конфиденциальность данных пользователей, в то время как протокол SNARKtor будет обрабатывать процесс агрегации и представления доказательств в полностью децентрализованный способ. Кроме того, мы внедряем zkEVMs для улучшения масштабируемости цепочки Telos.

Каковы конкретные проблемы, которые решает технология zk-SNARK в терминах масштабируемости, конфиденциальности и совместимости в блокчейн-технологии?

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

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

Как вы предвидите, что интеграция zk-SNARKs через протокол SNARKtor повлияет на широкое принятие технологии блокчейн и ее различных приложений?

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

`Используя zkVMs наряду с протоколом SNARKtor, у нас есть потенциал преодолеть эти препятствия, потенциально разблокируя множество прикладных случаев в реальном мире.`

Альберто Гароффоло, руководитель отдела технологий ZK в Telos

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