Tezos – смарт-контрактная платформа, созданная супругами Кэтлин и Артуром Брайтман. Проект контролируется независимым от семейства Брайтманов Фондом Tezos, который управляет капиталом на $232 млн, полученным в результате успешно завершившегося в июле 2017 года ICO. При этом Брайтманы основали компанию Dynamic Ledger Solutions, у которой есть контракт с фондом на создание сети Tezos. После того, как сеть была запущена и работала в течение согласованного периода времени, фонд приобрел исходный код и товарный знак Tezos за 10% всех токенов и около $20 млн наличных (или 8,5% от ICO).
Несмотря на успешное ICO, проект имел несколько неуклюжий старт, сопровождающийся спорами между Брайтманами и Джоханом Геверсом, президентом Фонда Tezos, который почти единоличной властью; Геверс был единственным основателем фонда, контролирующим капитал, полученный в результате ICO. Противостояние длилось несколько месяцев, но, в конце концов, Геверс покинул пост президента в феврале. Сейчас проект вернулся в прежнее русло, а бета-сеть была запущена как раз в начале этого месяца.
Как работает Tezos
Концепция Tezos очень схожа с идеей Ethereum – в основе обоих проектов лежит желание расширить функциональность Биткоина с помощью смарт-контрактов. Однако ключевое различие между Tezos и Ethereum заключается в том, что команда Tezos сосредоточила свое внимание на создании блокчейна, который может меняться и адаптироваться через консенсус сообщества с минимальным, насколько это возможно, нарушением сети. Протокол достигает этого посредством двух механизмов: внутреннего управления (пользователь предлагает изменение кода, владельцы нод решают, принимать обновление или нет – если 80% согласны, то код автоматически меняется) и системы самокорректировки. Внутреннее управление демократизирует принятие решений об изменениях протокола, в то время как система самокорректировки позволяет Tezos самостоятельно вносить изменения без хардфорков (разделение сети на два блокчейна). Есть мнение, что Ethereum не хватает обеих этих систем.
Ответственность за принятие решений об изменении протокола в Ethereum в значительной степени остается на плечах группы основных разработчиков. В том случае, если пользователи не согласны с командой проекта, у них практически нет возможности повлиять на решение. Кроме того, когда протокол Ethereum изменяется, блокчейну часто требуется хардфорк, который разбивает сеть две части, что также может расколоть сообщество, если какая-то его часть продолжает использовать старый блокчейн (как, например, это произошло с первым форком Биткоина Bitcoin Cash). Это может негативно сказаться на ценностном значении сети. Система самокорректировки Tezos снижает этот риск, значительно уменьшая потребность в форке для обновления сети.
Внутреннее управление и система самокорректировки
Система управления Tezos ориентирована на изменение протоколов. Любой разработчик может предложить изменение протокола и включить запрос о компенсации за свою работу. Если предложение будет принято, запрос на компенсацию будет обработан. Процесс принятия заявки работает следующим образом:
– Разработчик вносит предложение об изменении протокола.
– Владельцы Tezos голосуют за или против предложения.
– Если предложение проходит голосование, то изменение протокола автоматически осуществляется в тестовой сети Tezos.
– Изменение протокола существует в тестовой сети в течение определенного заранее периода времени. За это время владельцы Tezos могут в любой момент отменить изменение.
– В конце данного периода проводится голосование по вопросу внедрения изменения, и в случае одобрения, изменение распространяется на основную сеть.
Этот процесс использует блокчейн для демократизации принятия решений и автоматизации изменений протокола. Пользователи могут даже использовать этот механизм для внесения изменений в сам процесс. При такой системе Tezos теоретически должен иметь гораздо меньше форков, что также должно снизить шансы раскола сообщества.
Делегированный Proof Of Stake
Tezos использует делегированный алгоритм достижения консенсуса PoS (Подробнее о PoS читайте в нашем материале). Его производители блоков называются «бейкерами», а сам процесс бейкинга – это, по факту, валидация блока. В сети Биткоина право публикации блока связано с решением задач proof-of-work. В Tezos право публикации блока можно сравнить с победой в блокчейн-лотерее. Шансы на победу бейкера пропорциональны количеству принадлежащих ему Tezzies плюс количество Tezzies, делегированных ему другими пользователями Tezos. После бейкинга, блок должны одобрить 32 узла одобрения, эндорсера[Б1] .
Бейкер блока, эндорсеры и случайный выбранный делегат из пула. Делегаты – это обладатели Tezos, которые либо владеют большим количеством Tezzies, либо имеют большое количество Tezzies, делегированных им другими пользователями. Порог входа – 10 000 Tezzies.
Для одобрения блока делегату необходимо внести гарантийный депозит, который блокируется на фиксированное количество циклов и уже потом возвращается делегату вместе с вознаграждением. Гарантийный депозит для бейкинга блока составляет 512 TZ, а залог для одобрения блока – 64 TZ.
Формальная проверка смарт-контрактов
Команда Tezos заявила, что они рассматривают Tezos «скорее как способ реализовать элементы бизнес-логики, чем как универсальный мировой компьютер». Команда также хочет, чтобы эти части бизнес-логики имели высокий уровень безопасности. С учетом этих целей команда представила новый смарт-контрактный язык под названием Michelson.
Michelson специально создан простым. В нем не хватает многих функций, которые являются основными для других языков, таких как полиморфизм и стандартная библиотека. Однако это не мешает кодерам создавать простые программы, но затрудняет создание произвольных программ. Простота Michelson также облегчает выполнение формальной верификации кода программ, для которой язык также оптимизирован. Простой процесс проверки делает программы более безопасными. Не стоит забывать, что безопасность очень важна для смарт-контрактов, поскольку они часто обрабатывают большие суммы денег.
Команда Tezos
Как упоминалось выше, проект Tezos контролируется Фондом Tezos, организацией, созданной в Швейцарии и регулируемой по законам этой страны. Основная функция фонда – распределять средства, полученные в ходе ICO, для развития проекта. У Фонда есть контракт с Dynamic Ledger Solutions, компанией, принадлежащей чете Брайтман, которой было поручено создать исходный код Tezos. Несмотря на то, что Tezos является детищем Брайтманов, эта запутанная связь между Фондом и супругами была создана для соблюдения юридической дистанции между проектом и законами.
Артур Брайтман имеет опыт работы в области математики, информатики и экономики. В 18 лет он выиграл бронзовую медаль на Международной олимпиаде по информатике во Франции, а Он ученую степень получил в области прикладной математики и информатики в École Polytechnique, одном из лучших университетов Франции. Совсем недавно он работал в качестве специалиста по высокочастотному трейдингу в Goldman Sachs. Артур проявлял большой интерес к криптовалюте на ранней стадии развития индустрии и внимательно следил за Биткоином и Эфириумом. Этот интерес заставил его написать два документа в 2014 году, в которых излагались недостатки вышеупомянутых сетей, и он предложил решение в виде новой криптовалюты Tezos. Артур в настоящее время является техническим директором Dynamic Ledger Solutions и возглавляет команду ученых и программистов, строящих Tezos.
Кэтлин получила степень бакалавра в Корнельском университете. Она работала менеджером по управлению в Bridgewater и ассоциированным партнером по стратегии в Accenture и R3. Кэтлин в настоящее время является генеральным директором Dynamic Ledger Solutions и руководит деятельностью компании.
Недостатки проекта
Критика механизма управления
Известные личности криптомира написали обзорные статьи о проекте, некоторые из которых критиковали стартап. Список критиков возглавили Влад Замфир, Виталик Бутерин, Хасиб Куреши и Дин Эйгенман. И многие склонны согласиться с тем, что концепция сомнительна. Эта система управления может дать каждому пользователю Тезоса голос, но централизация богатства и апатия пользователей могут привести к тому, что система станет неэффективной в тех же местах, что Биткоин, Эфириум и EOS. Кроме того, никакая система управления не сможет удовлетворить потребности всех; в результате принимается только одно решение, и неудовлетворенные пользователи могут организовать форк.
Незначительные отличия от Ethereum
Tezos слабо отличается от Ethereum и сильно отстает в развитии. Некоторые представители криптосообщества считают, что система управления и самокорректировка не являются значительными улучшениями Ethereum (многие даже не верят в on-cahin управление). Кроме того, помимо инцидента DAO, который произошел более 2 лет назад, Ethereum не сталкивался с какими-либо другими серьезными проблемами с управлением вне сети.
Другими ключевыми функциями, которые Tezos рекламирует как шаг вперёд для Ethereum, являются: делегированный алгоритм proof-of-stake и более формально проверяемый язык смарт-контрактов. К сожалению, это те функции, над реализацией которых работает Ethereum. Фактически, Ethereum уже на пути к внедрению алгоритма PoS под названием Casper. Также не составляет труда создавать новые языки для виртуальной машины Ethereum. Таким образом, любые преимущества, которые Michelson предоставляет для Tezos, легко переносимы в Ethereum.
Без сильной отличительной черты Tezos придется долго и упорно конкурировать с Ethereum. Хуже того, Tezos также должен соперничать со всеми конкурентами Ethereum.
Заключение
Tezos – это перспективная смарт-контрактная платформа. Проект привлек почти $232 млн в ходе ICO, став одним из успешных первичных предложений монет. Несмотря на массовое вливание капитала, проект некоторое время находился в застое из-за отсутствия опыта его соучредителей в паре с некомпетентным президентом фонда со слишком большой властью. В феврале ситуация была окончательно исправлена, и стартап вернулся к жизни.
Как смарт-контрактная платформа, Tezos конкурирует с Ethereum. Он улучшает Ethereum, внедряя внутреннее управление, систему самокорректировки, делегированный алгоритм PoS и удобный язык контрактов, предназначенный для формальной проверки. Однако основная проблема проекта заключается в том, что он слабо отличаетcя от Ethereum и, таким образом, будет вынужден столкнуться с гигантом криптоиндустрии в тяжелой битве за талантливых разработчиков и пользователей.