Tezos ru

Tezos — платформа для смарт-контрактов, работа над которой началась еще в 2014 году. Tezos обладает рядом особенностей, которые выделяют ее среди других платформ: 

• Возможность формальной верификации программного кода смарт-контрактов.
• Возможность обновления сети без выполнения разветвления (форка).

Tezos стремится построить блокчейн с развитой системой управления и внутренней экономикой токена, которые будут способствовать заинтересованности пользователей в принятии решений относительно функционирования и развития сети.

Tezos привлек широкое внимание общественности летом 2017 года и провел одно из наиболее успешных ICO, в ходе которого было собрано около $232 млн по курсу на тот момент. Осенью 2017 стало известно о конфликте руководителей проекта, после чего началась волна коллективных исков против проекта от ICO инвесторов. Основная сеть была запущена в сентябре 2018 года, примерно на год позже, чем было указано в первоначальной White Paper. Несмотря на пошатнувшуюся репутацию, проект постепенно развивается и достаточно высоко оценивается многими разработчиками.

Нативный токен блокчейна — Tezzies. Тикер токена — ХТZ. 

На 2 августа 2019 общее количество токенов в циркуляции составляет 802,57 млн XTZ.

Tezos работает на базе инфляционной модели, при этом годовая инфляция должна составлять около 5,5% в год. Новые XTZ эмитируются в процессе создания новых блоков, при этом часть XTZ может уничтожаться в рамках штрафных санкций за недобросовестное поведение валидаторов. Подробнее в разделе “Механизмы обеспечения консенсуса”.

ICO проекта состоялось в июле 2017 года. В ходе ICO было продано около 607,8 млн токенов XTZ на общую сумму (по курсу на тот момент) около $232 млн. Всего в ICO приняли участие около 32’000 пользователей. Токены были созданы и распределены в момент создания генезисного (самого первого) блока в сети Tezos при запуске бета версии.

Согласно данным на сайте Tezos Foundation распределение токенов носило следующий характер:

• Участники ICO ~ 88,43% ( 607’489’040,89 XTZ);
• Ранние спонсоры и подрядчики ~ 0,46% (3’156’502,85);
• Tezos Foundation и Dynamic Ledger Solution, Inc. (DLS).

Токены XTZ могут использоваться по следующим направлениям:

• Участие в создании новых блоков: непосредственное участие пользователя или делегирование токенов (подробнее в разделе “Механизмы обеспечения консенсуса”).
• Участие в системе децентрализованного управления (подробнее в разделе “Встроенные механизмы и функции”).
• Использование в качестве платежного инструмента для передачи ценности.
• Оплата газа — единицы стоимости для уплаты комиссий. В Tezos, как и в Ethereum, используется газ (Gas) для уплаты комиссий. Газ переводится в XTZ, стоимость единицы газа устанавливает пользователь, при этом стоимость операции в газе известна. Подробнее о модели с использованием газа можно прочитать в анализе платформы Ethereum.

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

Tezos работает на базе механизма консенсуса Liquid Proof of Stake (LPoS) — алгоритма, в котором новые блоки создаются случайно выбранным участником (делегатом) и одобряются 32 другими случайными участниками. 

В Tezos вместо термина майнинг введен термин baking, обозначающий создание новых блоков, и, соответственно, baker вместо майнера. В русскоязычных материалах нередко можно встретить перевод “выпекание”, при этом майнеров называют “пекарями”.

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

Для повышения скорости выбора делегатов токены XTZ агрегируются в роллы (rolls), при этом 1 ролл = 8’000 XTZ. Роллы агрегируются на уровне  делегатов и “мощность” делегата в токенах округляется снизу. То есть, если у делегата 8’000 XTZ, то у него есть 1 ролл, если 15’999 XTZ, то у него 1 ролл, а если 16’000 XTZ, то 2 ролла.

Так как не все участники сети могут быть заинтересованы в создании новых блоков (baking), в Tezos участник может делегировать свои токены другим участникам без передачи права собственности: делегат не может потратить токены. Делегированные токены становятся частью “ставки” делегата.

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

• Создатели блоков (Baker) — 1 участник для каждого блока, который создает и подписывает новый блок.
• Подтверждающие узлы (Endorser) — 32 участника для каждого нового блока, которые подтверждают, что увидели и провалидировали новый блок.

За свою деятельность делегаты получают вознаграждение:

• 16 XTZ + комиссии создателю блока (baker).
• 2 XTZ за подтверждение узлам endorsers.

Таким образом, вознаграждение за создание нового блока составляет 80 XTZ.

Для повышения безопасности сети и снижения вероятности недобросовестной работы делегатов в Tezos используется гарантийный депозит (security deposit). Гарантийный депозит за создание каждого нового блока составляет 512 XTZ и 64 XTZ за подтверждение. 

В Tezos блоки группируются в циклы, один цикл равен 4’096 блоков. Гарантийный депозит замораживается на время  PRESERVED_CYCLES, которое равно пяти циклам в прошлом и составляет как минимум 14 дней, 5 часов и 20 минут. С учетом вероятности принятия участия в создании новых блоков при текущих параметрах сети делегат должен хранить в депозите около 8,25% от общего количества токенов, соответственно, делегату должно принадлежать более 8,25% от делегированных ему токенов. Подробнее в документации проекта и в статье на Medium.

Если делегат ведет себя недобросовестно, например, пытается создать два блока на одной высоте, это может быть замечено другими участниками сети. В этом случае участник, который обнаружил и предоставил свидетельства недобросовестной деятельности, получает половину гарантийного депозита в качестве вознаграждения, при этом вторая половина депозита сжигается.

В связи с тем что в алгоритме консенсуса используется делегирование, часто ошибочно указывается, что Tezos работает на базе Delegated Proof of Stake (DPoS), который используется, например, в EOS и TRON. Ранее в некоторых материалах Tezos использовалось обозначение “Proof of Stake with delegation”. Чтобы избежать путаницы было введено название Liquid Proof of Stake (LPoS). В статье на официальной странице Medium приводится сравнительная таблица DPoS и LPoS:

Несмотря на теоретически возможное большое количество валидаторов на текущий момент суточное количество разных создателей блоков составляет примерно 140 - 170, при этом их количество постепенно увеличивается:

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

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

Однако, нужно учитывать, что, когда пользователь делегирует токены, он также делегирует свои голоса в рамках системы управления (подробнее в разделе “Встроенные механизмы и функции”).

Платформа Tezos написана на языке программирования OCaml, при этом для написания смарт-контрактов используется язык программирования Michelson.

В документации приведена обобщенная схема архитектуры Tezos:

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

Оболочка (Shell), изображенная синим на схеме, знает о возможности наличия нескольких цепочек и отвечает за выбор предложений, поступивших от создателей блоков (baker). Оболочка выбирает и загружает альтернативные цепочки в протокол, чтобы тот проверил их на наличие ошибоки и присвоил абсолютную оценку. После этого оболочка выбирает валидную цепочку с наибольшей оценкой, эта часть оболочки называется валидатором (validator). Также оболочка содержит p2p слой, дисковую систему хранения блоков, операции для передачи данных блокчейна новым нодам и версионное состояние реестра.

RPC слой (Remote Procedure Call, сервис вызова удаленных процедур), изображенный желтым, является компонентом, поддерживающим формат JSON format и HTTP протокол, с помощью которого сторонние клиенты могут выполнять запросы и анализировать состояние узла.

Одна из наиболее важных особенностей Tezos — возможность протокола изменяться, улучшаться, эту особенность называют self-amending property. В протоколе реализованы две функции, которые могут устанавливать новую версию протокола в тестовую или основную сеть. Предложения по изменению сети могут вноситься с помощью системы управления (подробнее в разделе “Встроенные механизмы и функции”), при этом предложения могут содержать код, который на первом этапе устанавливается в тестовую сеть, а затем, после достаточной проверки может переноситься в основную сеть. Возможность изменения протокола в соответствии с потребностями сообщества должна способствовать минимизации количества форков и, соответственно, вероятности раскола сообщества.

Tezos работает с использованием криптографического алгоритма SHA 256.

В Tezos есть два типа аккаунтов:

• Originated account — аккаунты, которые могут содержать код и могут делегировать токены другому аккаунту. Адреса начинаются с KT.
• Implicit account / Manager — аккаунты, которые могут быть менеджерами для других аккаунтов и не могут выполнять код. Данные вид аккаунтов может стать делегатом и участвовать в LPoS. Адреса начинаются с TZ.

С помощью специальной операции из implicit аккаунта можно сделать originated аккаунт. Сравнительная таблица типов аккаунтов:

Фонд Tezos Foundation зарегистрирован в Цуге, Швейцария.

Осенью 2017 года после успешного завершения ICO стало известно о конфликте основателей проекта: в конфликте были задействованы компания разработчик и основатели проектаАртура и Кэтлин Брейтман и некоммерческий фонд Tezos Foundation, который контролирует доходы от крадусейла, под руководством Иоханна Геверса. Конфликт основателей привел к задержкам в работе над проектом и продемонстрировал неготовность руководства к грамотному целевому использованию средств, что в свою очередь вызвало недовольство участников ICO. В ноябре 2017 стало известно о подаче группового иска против связанных с Tezos компаний. Спустя несколько недель был подан новый групповой иск со схожими обвинениями: распространение незарегистрированных ценных бумаг и др. Судебные разбирательства до сих пор не закончены. В случае, если XTZ будет признан ценной бумагой, инвесторы получат право на возврат своих инвестиций в ходе ICO.

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

После запуска основной сети Tezos начался процесс получения токенов XTZ участниками ICO. При этом было введено обязательное прохождение процедуры KYC всеми пользователями. Стоит заметить, что, несмотря на судебные иски с обвинениями в нарушении законодательства о ценных бумагах США, ограничения на граждан США не накладывались, они также получили свою долю токенов.

Стоит заметить, что возможность делегирования токена XTZ c последующей получением вознаграждения юридически может трактоваться неоднозначно.

Текущий показатель пропускной способности основной сети составляет 40 TPS. 

Команда проекта работает над решением Marigold, которое базируется на решении Plasma, предложенным для Ethereum. Marigold должна позволить безопасно выполнять часть вычислений смарт-контрактов оффчейн, что позволит запускать высокомасштабируемые приложения.

Еще в 2017 году основатель Tezos опубликовал статью, посвященную проблеме масштабируемости, из которой стоит привести несколько идей:

• Первая версия сети намеренно сделана с невысокими параметрами пропускной способности, чтобы пользователям хватало обычных компьютеров для валидации блоков. По мнению основателей проекта это должно способствовать принятию Tezos. При этом в будущем требования к вычислительной мощности валидирующих устройств и параметры сети могут повышаться.
• Была предложена концепция использования доказательств с нулевым разглашением zk-SNARKs (succinct non-interactive zero-knowledge proofs of knowledge) для формирования доказательств выполнения транзакций вместо их упаковки в блоки с последующей валидацией. zk-SNARKs используется в криптовалюте Zcash для обеспечения функций приватности, в Tezos предлагают альтернативное применение. Предположим, что есть программный код, который проверяет транзакцию от A к B. Из этого кода можно сгенерировать доказательство с нулевым разглашением, что вам известна верная транзакция, которая передает токены от A к B. Вместо того, чтобы отправлять саму транзакцию майнеру, можно просто представить изменение баланса вместе с доказательством. Это доказательство может быть эффективно и очень быстро проверено любым валидатором независимо от сложности транзакции. Развивая эту идею можно представить блокчейн, в котором блоки состоят из корневого хэша реестра вместе с доказательством того, что были выполнены верные транзакции, которые привели реестр в новое текущее положение.
  
  Однако, в настоящее время генерация подобных доказательств является затратной операцией, которая занимает достаточно длительное время. Однако, Брейтман предполагает, что данная отрасль быстро развивается и через несколько лет прогресс будет достаточный для возможной реализации подобной технологии.
• Оффчейн решения, реализующие платежные каналы аналогичные Lightning сети Bitcoin, являются перспективным направлением для развития.

Осенью 2018 года примерно через неделю после запуска основной сети была обнаружена уязвимость, из-за которой увеличилось время выпуска блоков, и сеть замедлила работу. Позже уязвимость была устранена.

Tezos — децентрализованная блокчейн-платформа с поддержкой смарт-контрактов и возможностью создания децентрализованных приложений. 

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

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

Tezos поддерживает выпуск пользовательских токенов, но на текущем этапе в Tezos нет стандартов для “быстрого” выпуска токенов как, например, ERC-20 в Ethereum.

Стоит заметить, что Tezos Foundation поддержало проект SmartPy, который занимается разработкой библиотеки и среды для разработчиков, которые позволят создавать приложения для Tezos на одном из наиболее популярных языков программирования Python.

Также команда занимается разработкой языка программирования LIGO, который должен быть удобен для разработки объемных смарт-контрактов. Разработка языка ведется параллельно с разработкой второго уровня сети Marigold, который должен позволить запускать масштабные приложения на базе Tezos.

В Tezos реализована система децентрализованного управления сетью, которая позволяет обновлять протокол без выполнения форка. В Tezos пользователей можно разделить на делегатов и тех, кто делегирует свои токены другим пользователям. Делегация токенов означает не только передачу прав на участие в обеспечении консенсуса (подробнее в разделе “Механизмы обеспечения консенсуса”), но также и передачу права голоса в рамках системы управления. Вес голоса делегата определяется количеством роллов, при этом 1 ролл = 8’000 XTZ. Система управления Tezos реализована на базе ончейн голосования, которое проходит в 4 этапа:

1.Период внесения предложений (Proposal Period).
Делегаты могут вносить до 20 предложений в рамках периода, при этом при внесении предложения делегат автоматически голосует за него. Каждый делегат может голосовать за внесенные предложения (до 20 предложений). В конце периода выполняется подсчет голосов и предложения, лидирующие предложения переходят на следующий этап.

2.Тестовое голосование (Testing Vote).
В рамках этого периода делегаты могут проголосовать за 1 предложение. Если предложение поддержало подавляющее большинство голосов, то оно переходит на следующий этап, в противном случае система возвращается к этапу внесения предложений. Делегаты могут голосовать “за”, “против” или “воздерживаюсь”. При этом большинством считается случай, когда голоса “за” составляют более 80% от “за” + ”против”. Коэффициент участия = все полученные голоса / возможное количество голосов. Значение кворума начинается в размере 80% и затем обновляется на каждом голосовании по следующей формуле:
newQ = oldQ * 8/10 + participation * 2/10,
где newQ — новое значение кворума,
oldQ — старое значение кворума,
participation — коэффициент участия.

3.Тестовый период (Testing Period).
Цель этого периода — тестирование предложение на его работоспособность и корректность. В тестовой сети Tezos выполняется форк на 48 часов, в ходе которого предложение проверяется.

4.Финальное голосование (Promotion Vote Period).
В ходе этого периода делегаты могут оставить по одному голосу за предложение, прошедшее тестовый период. Делегат может голосовать либо за его внедрение, либо против. В случае достижения кворума предложение активируется в основной сети, в противном случае выполняется переход к этапу внесения предложений.

Каждый обозначенный выше этап длится около 3 недель, соответственно, полный цикл занимает около 3 месяцев.

Схема процесса из блога проекта:

Стоит заметить, что в марте 2019 начался первый цикл работы системы, в результате которого в мае было принято предложение, с помощью которого в том числе снижен размер ролла с 10’000 XTZ до 8’000 XTZ.

Помимо системы обновления протокола Tezos Foundation запустила программу выдачи грантов проектам в рамках экосистемы Tezos. Программа работает в “ручном режиме”. Проекты могут подавать заявки на получение гранта, после чего проходит несколько этапов отбора. С момента запуска сети до конца июля 2019 года Tezos Foundation выделил более $37 млн в рамках программы грантов академическим институтам, группам разработчиков и др. для проведения исследования и выполнения работ по развитию Tezos.

Стоит заметить, что в сообществе ведутся активные дискуссии на тему несовершенства текущей системы управления проектом, при этом основные обсуждаемые недостатки следующие:

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

Запуск бета-версии сети состоялся 1 июля 2018 года, тогда был создан генезисный блок и началось распределение токенов, проданных в ходе ICO.

Запуск основной сети Tezos состоялся 17 сентября 2018 года, с того момента было выполнено большое количество обновлений, в том числе обновление протокола посредством ончейн системы управления.

В документации проекта можно ознакомиться с доступными кошельками:

• Tezos CLI — кошелек с широким функционалом, доступный для работы из командной строки.
• TezBox — кошелек, доступный под macOS, Windows, Android, Web. Планируется, что в скором времени появятся версии под iOS и Linux.
• Galleon Wallet — десктопный кошелек под macOS, Windows и Linux.
• Аппаратные кошельки Trezor и Ledger.

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

Для взаимодействия с блокчейном Tezos доступен API, описание работы с которым приведено в документации.

По данным coinmarketcap на 9 августа 2019 XTZ представлен на 17 торговых площадках, при этом объем торгов распределен следующим образом:

На 9 августа 2019 по данным coinmarketcap капитализация проекта составляет $923'458'384 /78'814 BTC, что ставит проект на 15 место в общем ТОПе криптопроектов.

По данным coinmarketcap максимальное значение капитализации было достигнуто 9 июля 2018, тогда капитализация составляла около $1,5 млрд. Однако, тот период относится к запуску бета версии сети и началу распределения токенов между участниками ICO. Токены только стали выходить на рынок и максимум был достигнут в период обвала стоимости. После достижения максимального значения наблюдался период повышенной волатильности и начало отрицательной динамике. В ноябре 2018 наступило резкое падение, коррелирующее с общим поведением рынка. В период с начала декабря до середины марта 2018 капитализация была сравнительно стабильна и в среднем составляла $220 –250 млн. В середине марта начался прирост капитализации и повышение волатильности.

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

По данным coinmarketcap на 12 августа 2019 стоимость токена XTZ составляет $1,37 / 0,00012058 BTC.

До запуска сети и выпуска токенов XTZ на бирже Bitmex были представлены фьючерсы на XTZ и IOU на бирже HitBTC.

Максимум был достигнут в период общего подъема рынка в декабре 2017 года, при этом стоимость составила около $11,2. Выпуск токенов состоялся в начале июля 2018 года. До этого момента наблюдалась сильная волатильность. В преддверии запуска сети наблюдалось укрепление стоимости, однако, после ее запуска стоимость резко упала. Вероятно это связано с тем, что репутация Tezos была неоднозначной и многие пользователи решили продать купленные во время ICO токены сразу, как только это стало возможно. После резкого падения волатильность снизилась, но при это продолжился небольшой отрицательный тренд. В марте 2019 тренд сменился на положительный, возможно, это связано с запуском первого этапа работы системы управления, в результате которой были внесены изменения в протокол. Однако, к началу июля стоимость снизилась до прежнего уровня. Несмотря на отсутствие явной положительной динамики наблюдается увеличение объема торгов, коррелирующее с текущими тенденциями рынка.

На официальном сайте можно ознакомиться со второй версией White Paper, в которой отмечены изменения в реализации платформы в сравнении с первоначальными планами. Документ носит технический характер и содержит информацию об основных аспектах работы сети Tezos.

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

Команда ведет блог на Medium, в котором публикуются материалы высокого качества, посвященные разным аспектам проекта.

У проекта отсутствует Road Map, что вызывает вопросы у многих пользователей. В июне 2019 представители Tezos Foundation опубликовали пост на reddit с дорожной картой, в которой для каждого года единственным пунктом является “поддержка инициатив и усилий представителей сообщества по продвижению Tezos”. Видимо данным постом предполагалось сделать акцент на децентрализации Tezos и особенностях протокола, связанных с возможностью его обновления: участники сообщества могут выносить на голосование свои инициативы по обновлению протокола, которые будут приняты в случае получения большинства голосов (подробнее в разделе “Встроенные механизмы и функции”). Однако, подобный ответ не удовлетворил многих пользователей по ряду причин:

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

В новостном разделе на сайте Tezos Foundation публикуются еженедельные обзоры, посвященные развитию проекта.

Также стоит отметить, что компания Nomadic Labs, занимающаяся разработками для Tezos (подробнее в разделе “Анализ команды проекта и аффилированных лиц”), раз в несколько месяцев на своем официальном сайте публикует отчеты о проделанной работе.

В блоге Medium Paradigm Fund (сторонний проект) регулярно публикует обзоры о том, что произошло с Tezos за последние несколько недель. Обзоры могут быть интересны тем, кто следит за проектом.

Tezos был основан  Артуром Брейтманом (Arthur Breitman) и его женой  Кэтлин Брейтман (Kathleen Breitman) в 2014 году. Основным управляющим органом является фонд Tezos, который занимается контролем расходования средств, разработкой стратегии развития. В том числе фонд занимается поддержкой исследования для Tezos, выдачей грантов проектам. Разработчики Tezos работают независимо от фонда.

Также стоит заметить, что в декабре 2018 стало известно, что несколько ведущих архитекторов Tezos основали научно-исследовательскую компанию Nomadic Labs, которая занимается исследованиями и разработками для протокола Tezos. Компания состоит из более чем 30 человек, среди которых Benjamin Canou, Grégoire Henry и Pierre Chambart, которые были архитекторами Tezos и ранее участниками OCamlPro — ведущей компании в области разработки на языке программирования OCaml (на этом языке написан протокол Tezos).

• Arthur Breitman — сооснователь.
  Окончил École Polytechnique, специализируясь в математике, физике и компьютерных науках. Обладает опытом в финансовой сфере, работал в таких компаниях как Goldman Sachs, Morgan Stanley Google X и Waymo.
• Kathleen Breitman — сооснователь.
  Окончила Cornell University. Обладает опытом в разработке стратегии и консалтинга, работала в таких компаниях как R3 CEV, Accenture, Bridgewater Associates и Wall Street Journal. 

Участники совета Tezos Foundation:

• Ryan Jesperson — Президент Tezos Foundation.
  Ранее занимал пост COO в финтех компании DivvyPay, является соснователем компании JMS Technologies, занимающейся разработкой программного обеспечения, владелец консалтинговой и инвестиционной фирмы RNJ Management.
• Michel Mauny.
  Более 20 лет работала в Inria, Французском национальном институте компьютерных наук и прикладной математики, в качестве исследователя и внешнего сотрудника, занимаясь развитием языка программирования OCaml. Возглавляет OCaml Software Foundation и является главным научным сотрудником в Nomadic Labs.
• Marylène Micheloud.
  Вице-президент компании, занимающейся розничной торговлей топлива, Combustia, занимает пост Co-President Valais Academic Association.
• Lars Haussmann.
  Возглавляет корпоративное управление и администрирование в компании Haussmann Treuhand AG, занимающейся бухгалтерией и консультированием в области налогообложения. 
• Hubertus Thonhauser.
  Предприниматель и инвестор, управляющий партнер венчурной компании Enabling Future. Обладает опытом работы в игровой индустрии, был соонователем компании разработчика мобильных игр Babil Games.

В июне 2019 стало известно, что к команде фонда присоединился Директор по страхованию PwC SwitzerlandRoman Schnider в качестве Chief Financial Officer и Head of Operations. 

Партнеры

Среди партнеров Tezos есть разные проекты, многие партнерства заключены с исследовательскими лабораториями. Среди проектов партнеров:

• Фонд Tezos сотрудничает с поставщиком образовательных программ B9lab для создания обучающих программ по Tezos.
• Французский исследовательский институт  в области компьютерных наук Inria объявил о партнерстве с фондом Tezos, оторый объявил о поддержке фонда OCaml Foundation и выделил финансирование исследователям из Inria для проверки кодовой базы Tezos.
• Tezos профинансировал исследования  и заключил партнерство с научной лабораторией, занимающейся изучение языка программирования OCaml и в целом функционального программирования, OCaml Labs, базирующейся в компьютерной лаборатории University of Cambridge.
• Tezos заключил партнерство с IMDEA Software Institute по изучению технологий, связанных с Tezos.

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

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

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

Платформа Horizen (ребрендинг ZenCash) предлагает широкие возможности для разработки, при этом в ней реализована система децентрализованного управления и финансирования проекта.

Stellar является скорее решением для p2p платежей, но она востребована как инструмент для токенизации активов.

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

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

Цитируемость, соцсети

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

Популярность социальных аккаунтов на 14 августа 2019:

• Twitter — 44,2 тыс. читателей.
• Reddit — 15,8 тыс. подписчиков.
• Facebook — 1,4 тыс. подписчиков.
• Medium — 2,7 тыс. подписчиков.

Применяемость

На 14 августа 2019 по данным эксплорера tzscan в сети Tezos создано около 293 тыс. адресов, при этом к сети подключено 79 активных узлов:

Суточное количество транзакций варьируется в среднем от 2 до 11 тысяч, при этом несмотря на нестабильное количество транзакций в сутки в среднем показатель постепенно увеличивается:

В Tezos голоса пользователей в рамках системы голосования за обновления протокола и в рамках процесса достижения консенсуса считаются в роллах (1 roll = 8’000 XTZ). На 14 августа 2019 роллы распределены следующим образом:

Как видно из графика Tezos Foundation владеет около 26% голосов, что позволяет им значительно влиять на процесс голосования. С учетом того, что однажды в управляющем составе Tezos были разногласия (подробнее в разделе “Индекс доверия”), некоторых участников смущает подобное распределение. Однако, основная роль Tezos Foundation это поддержка и развитие экосистемы, поэтому вероятно фонд будет способствовать укреплению сети.

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

Проекты, работающие с Tezos

На сайте tezosprojects можно ознакомиться с проектами, которые занимаются разработкой решений для экосистемы Tezos, в том числе представлены 9 приложений, среди которых: Tezsure — платформа для страховых решений, Viaz — решение для p2p финансирования и другие. Небольшое количество приложений может быть связано с невысокой популярностью используемых в Tezos языков программирования. Однако, фонд Tezos старается способствовать расширению количества разработчиков, поддерживая обучающие программы и др.

Компания Elevated Returns в феврале 2019 объявила о намерении токенизировать недвижимость на общую сумму $1 млрд с использованием блокчейна Tezos. Выпуск токенов будет проводиться с обеспечением правового соответствия законодательству, к предложению будут допускаться только квалифицированные инвесторы.

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

Одним из интересных событий стали новости о том, что Bank of France тестирует ноду сети Tezos. Министр экономики и финансов Франции Bruno Le Maire неоднократно упоминал Tezos как перспективную технологию.

Криптовалютный брокер Bitcoin Suisse планирует предложить своим клиентам услуги по участию в создании новых блоков (baking) своим клиентам.

Крупнейший в Латинской Америке инвестиционный банк BTG Pactual совместно с Dalma Capital планируют размещение security-токенов (STO) на базе блокчейна Tezos, объем продаж которых превысит $1 млрд. Планируется использовать блокчейн Tezos для токенизации активов в различных отраслях, включая недвижимость, акционерный капитал и др.

Персоны в команде

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

Основатели проекта Артур и Кэтлин Брейтман занимаются разработкой Tezos с 2014 года. Летом 2017 года состоялось ICO проекта, которое стало одним из наиболее масштабных в истории: было собрано около $232 миллионов. Для проведения ICO была создана компания Tezos Foundation, зарегистрированная в Швейцарии, которая хранила собранные средства. При этом основной компанией разработчиком являлась компания основателей Артура и Кэтлин Брейтман DLS (Dynamic Ledger Solutions), зарегистрированная в США. Вскоре после завершения ICO начался публичный конфликт между Артуром и Кэтлин Брейтман и членом правления Tezos Foundation Иоганном Геверсом. Разногласия были связаны с обвинениями Брейтманов Иоганна Беверса в попытке завладеть интеллектуальной собственностью Tezos, ошибках в управлении, растрате средств и др. Новости о конфликте быстро распространились в СМИ, что способствовало формированию паники среди участников ICO.

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

Однако, после долгого периода слухов и сплетен вокруг проекта Иоганн Беверс покинул свой пост и получил $400’000 в качестве отступных, после чего был сформирован новый управляющий состав Tezos Foundation.

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

В апреле 2018 года основатель проекта Артур Брейтман был оштрафован Агентством по регулированию деятельности финансовых институтов (FINRA) в связи с тем, что в 2014-2015 он скрывал свою вовлеченность в проект Tezos, работая при этом в Morgan Stanley, а FINRA требует, чтобы профессиональные работники рынка ценных бумаг уведомляли работодателей о ведении коммерческой деятельности в других компаниях.

Стоит заметить, что в отличии от многих проектов Tezos не выпускал токены заполнители для проведения ICO. Участники ICO получили токены только после запуска сети: токены были созданы в первом генезисном блоке. В связи с длительной отсрочкой, судебными исками, конфликтом руководителей Tezos стал проектом, который воспринимался в сообществе практически без каких либо положительных надежд. Еще одной неожиданностью для участников ICO стало обязательное прохождение процедуры KYC для получения токенов. Обычно, KYC/AML процедуры проводятся непосредственно во время ICO и пользователи принимают решение об участии или неучастии с учетом этих вводных. В Tezos же процедура оказалась неприятным для некоторых сюрпризом. Судя по всему решение было принято в связи с развитием регуляторной базы для крипто отрасли с момента проведения ICO до распределения токенов.

В начале августа 2019 был опубликован отчет фонда Tezos, в котором приводятся сведения о развитии проекта с момента запуска сети. На 31 июля 2019 фонд владеет около $652 млн в разных активах, что делает проект одним из наиболее профинансированных проектов в отрасли.  Однако, в проекте, например, до сих пор отсутствуют кошельки с понятным графическим интерфейсом, с помощью которых можно участвовать в голосовании, что затрудняет участие пользователя в процессах, связанных с развитием Tezos. На текущий момент данные функции доступны только из клиента командной строки.

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

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

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

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

К преимуществам Tezos можно отнести:

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

К недостаткам можно отнести:

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

Ссылки

Официальный сайт:https://tezos.com/

Medium: https://medium.com/tezos

Reddit: https://www.reddit.com/r/tezos

Twitter: https://twitter.com/tezos

GitLab: https://gitlab.com/tezos/tezos