Основы Tezos

Общие часто задаваемые вопросы (FAQ)

Что такое Tezos?

Tezos - это криптовалюта на основе блокчейна, а также платформа смарт-контрактов, направленная на создание (разработку) децентрализованных приложений (dApps).

Что такое XTZ?

XTZ, tez, или ꜩ (\ua729, "Латинская маленькая буква tz") - нативная валюта Tezos. XTZ - это программируемые деньги, созданные смарт-контрактом на блокчейне Tezos.

Чем уникален Tezos?

  1. Самоизменение и возможность усовершенствования

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

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

    Подробнее о механизме внесения изменений см. пост.

  2. Proof-of-Stake

    Бейкинг для Tezos сродни майнингу для Bitcoin. В Tezos участники (т.е. «ноды») предоставляют вычислительные ресурсы, необходимые для обслуживания сети. Доказательство владения (Proof-of-Stake, PoS) - это механизм, с помощью которого участники Tezos достигают консенсуса по состоянию блокчейна. Для сравнения, механизм консенсуса Bitcoin основан на Proof-of-Work (доказательстве выполнения работы, т.е. майнинге).

    Механизм Tezos, основанный на Proof-of-Stake, известен также как бейкинг и предлагает опциональное делегирование, позволяя любому стейкхолдеру участвовать в консенсусе, не отказываясь при этом от хранения своих токенов. Подход Tezos к консенсусу был описан как Liquid Proof of Stake.

    Proof-of-Stake улучшает масштабируемость и согласование стимулов-поощрений. Он также способствует увеличению стоимости атаки 51% и позволяет избежать нерациональных Proof-of-Work.

    Проект Tezos был запущен в июне 2018 года как одна из первых крупных сетей Proof-of-Stake. По состоянию на 19 января 2019 года в Tezos насчитывается около 440 бейкеров и более 200 сервисов публичного делегирования.

  3. Безопасность смарт-контрактов и Формальная Верификация

    Ни одна система не может гарантировать всеобъемлющую и безусловную безопасность. Тем не менее, Tezos и его язык смарт-контрактов Michelson были разработаны с учетом требований безопасности и формальной верификации.

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

Почему формальное управление?

Децентрализованные сети блокчейнов (и большинство открытых ПО) сталкиваются с проблемами устойчивости, возможности усовершенствования и согласования стимулов:

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

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

  • Обычно обновления требуют, чтобы каждый оператор ноды скачал и запустил новое ПО (хардфорк), что в свою очередь требует массовой координации в соцсетях и других каналах для уведомления пользователей о новых изменениях. Из-за высокой стоимости координации, обновления зачастую объединяют и продвигают гораздо реже.

  • У майнеров (или валидаторов) сети могут быть стимулы, не соответствующие общей сети.

То, как (или если) сеть решает эти проблемы, определяет развитие сети и влияет на все разрабатываемые проекты.

Tezos был разработан для решения этих проблем с помощью механизма встроенного управления (управления внутри блокчейна) и алгоритма консенсуса, основанного на Proof-of-Stake:

  • Владельцы токенов могут участвовать в процессе внесения изменений, чтобы утвердить или отклонить обновление (апгрейд), путем избрания бейкера

  • Tezos ноды автоматически переключатся на последнюю версию протокола без необходимости коммуникации вне сети

  • Liquid proof-of-stake в Tezos был разработан с целью согласования стимулов участников сети, благодаря чему каждый держатель токена может избежать ослабления инфляцией.

Какие пользовательские сценарии совместимы с Tezos?

Платформы смарт-контрактов, полные по Тьюрингу, такие как Tezos или Ethereum, позволяют выполнять произвольный код по принципу минимального доверия. Тем не менее, некоторые приложения могут быть совместимы с Tezos на основе формального управления и сосредоточены на безопасности смарт-контрактов. Ниже - некоторые предварительные примеры:

  1. Цифровые активы

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

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

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

  2. Финансовые контракты с минимальным доверием

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

    • Скандально известный взлом The DAO на сумму $150 млн. произошел из-за ошибки, известной как рекурсивный вызов, в результате чего сообщество Ethereum разделилось на Ethereum и Ethereum Classic.

    • Ошибка в Multi-Sig кошельке Parity привела к замораживанию

      500 000 ETH ($150 млн. на то время), что привело к прениям вокруг EIP-999. Перечень проблем, с которыми столкнулись Ethereum вследствие потери или зависания средств, можно найти здесь.

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

      Tezos стремится перенести этот высокие стандарты на ценные смарт-контракты и децентрализованные приложения.

Материалы разработаны TQ Tezos переведены на русский язык Tezos Ukraine