Основы Tezos
Tezos - это криптовалюта на основе блокчейна, а также платформа смарт-контрактов, направленная на создание (разработку) децентрализованных приложений (dApps).
XTZ, tez, или ꜩ (\ua729, "Латинская маленькая буква tz") - нативная валюта Tezos. XTZ - это программируемые деньги, созданные смарт-контрактом на блокчейне Tezos.
Самоизменение и возможность усовершенствования
Tezos может обновляться (совершенствоваться) путем внесения изменений в протокол без хардфорка. Это делается с целью ускорения инноваций, снижения вероятности спорных сплитов и координации стейкхолдеров в рамках одной сети в течение длительного периода времени.
Для разработчиков, работающих на Tezos, возможность обновления обеспечивает надежную гарантию работы протоколов без сбоев в будущем. Tezos был построен, чтобы выдержать испытание временем.
Подробнее о механизме внесения изменений см. пост.
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 сервисов публичного делегирования.
Безопасность смарт-контрактов и Формальная Верификация
Ни одна система не может гарантировать всеобъемлющую и безусловную безопасность. Тем не менее, Tezos и его язык смарт-контрактов Michelson были разработаны с учетом требований безопасности и формальной верификации.
Формальная верификация позволяет разработчикам математически доказать правильность работы кода, в соответствии с его формальной спецификацией и свойствами. Данный вид верификации подходит для работы с финансовыми смарт-контрактами, представляющими значительную реальную ценность (например, токенизированные активы, займы и т. д.), и требующими гарантий того, что средства не будут утеряны или заморожены из-за ошибок в коде.
Децентрализованные сети блокчейнов (и большинство открытых ПО) сталкиваются с проблемами устойчивости, возможности усовершенствования и согласования стимулов:
Зачастую, открытые проекты поддерживаются несколькими волонтерами за небольшое или нулевое вознаграждение, что в свою очередь приводит к замедлению прогресса и даже стагнации. В некоторых случаях поставщики инфраструктуры и общественных благ вынуждены прибегать к поиску пожертвований (донатов), корпоративного спонсорства или венчурного финансирования. Все это может привести к возникновению стимулов, не соответствующих общей сети.
Технические дорожные карты (или их отсутствие) определяются небольшой группой, которая может иметь или не иметь интересы, связанные с более крупной сетью.
Обычно обновления требуют, чтобы каждый оператор ноды скачал и запустил новое ПО (хардфорк), что в свою очередь требует массовой координации в соцсетях и других каналах для уведомления пользователей о новых изменениях. Из-за высокой стоимости координации, обновления зачастую объединяют и продвигают гораздо реже.
У майнеров (или валидаторов) сети могут быть стимулы, не соответствующие общей сети.
То, как (или если) сеть решает эти проблемы, определяет развитие сети и влияет на все разрабатываемые проекты.
Tezos был разработан для решения этих проблем с помощью механизма встроенного управления (управления внутри блокчейна) и алгоритма консенсуса, основанного на Proof-of-Stake:
Владельцы токенов могут участвовать в процессе внесения изменений, чтобы утвердить или отклонить обновление (апгрейд), путем избрания бейкера
Tezos ноды автоматически переключатся на последнюю версию протокола без необходимости коммуникации вне сети
Liquid proof-of-stake в Tezos был разработан с целью согласования стимулов участников сети, благодаря чему каждый держатель токена может избежать ослабления инфляцией.
Платформы смарт-контрактов, полные по Тьюрингу, такие как Tezos или Ethereum, позволяют выполнять произвольный код по принципу минимального доверия. Тем не менее, некоторые приложения могут быть совместимы с Tezos на основе формального управления и сосредоточены на безопасности смарт-контрактов. Ниже - некоторые предварительные примеры:
Цифровые активы
Такие активы, как цифровые деньги, токенизированная недвижимость, стейблкоин, цифровые предметы коллекционирования и т. д., особенно хорошо подходят для работы в Tezos.
Вероятно, в блокчейнах, не использующих механизмы формального управления, широко применяемые проекты активов, получат значительную мягкую силу в управлении протоколами. Активы теоретически существуют на обеих вилках в спорном, устойчивом сплите, но эмитент скорее всего будет реализовывать актив только с одной вилки. Избежание спорных вилок может сохранить ценность и координацию в пределах одной сети, делая Tezos привлекательной платформой для выпуска цифровых активов.
Не смотря на то, что ни одна система не может быть безусловно безопасной, Michelson, язык смарт-контрактов Tezos, был разработан с учетом требований безопасности и формальной верификации. Это особенно актуально для смарт-контрактов, представляющих ценные активы, учитывая не допускающий отклонений характер ошибок смарт-контрактов.
Финансовые контракты с минимальным доверием
Финансовые контракты, такие как децентрализованные биржи, свопы, кредиты и т. д., требуют высокого уровня точности. Ценность децентрализованных блокчейн-сетей обусловлена отсутствием доверенной третьей стороны, что делает потерю средств из-за ошибки в коде особенно недопустимой. Эксплойты смарт-контрактов в больших масштабах могут быть угрозой для управления блокчейном:
Скандально известный взлом 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
