Тезос ворвался в криптографическое пространство, собрав 232 миллиона долларов в своей тогдашней записи ICO. После его ICO дата его запуска постоянно откладывалась из-за закулисных драматических событий и других конфликтов. Компания «Тезос» была официально запущена в сентябре 2018 года, и сейчас самое время увидеть этот увлекательный проект. Так что такое Тезос?
Как сообщает сайт Tezos, «Tezos — это новая децентрализованная блочная цепь, которая управляет собой, создавая настоящее цифровое Содружество».
Содружество — это группа, которая выбирает единство в силу своих общих целей и интересов. Главная цель компании Тезос — заставить владельцев токенов работать вместе для принятия решений, которые со временем улучшат их протокол. Родной жетон Тезоса — XTZ. Есть много особенностей в Тезосе, которые делают его уникальным. Мы посмотрим на них позже в этом путеводителе. А пока давайте посмотрим кое-какую информацию о проекте. Если вы уже знаете Тезос, и хотите получить этот криптомон, вы можете получить Тезос по ссылке ниже.
Краткая история того, что такое Тезос
Соучредители Артур Брайтман и Кэтлин Брайтман разрабатывают Tezos с 2014 года вместе с основной группой разработчиков. Компания базируется в Швейцарии. Как уже упоминалось, они собрали 232 млн. долл. в рамках открытого МКО всего за две недели, приняв взносы как от bitcoin, так и от ether. Вскоре после своего исторического ICO компания «Тезос» столкнулась со многими управленческими проблемами. Чтобы понять эти вопросы управления, вы должны знать, что компания-основатель Тезос называется DLS (Dynamic Ledger Solutions), а компания, которая владеет всеми средствами, собранными во время ICO, называется «Fundación Tezos» (Фонд Тезос).
Артур и Кэтлин Брайтман публично поссорились с президентом фонда «Тезос» Иоганном Геверсом. Видимо, Геверс, который контролировал эти средства, отказался выплачивать их Брейтманам. Этот спор привел к хаосу в обществе, а расчетный обменный курс рухнул. Брейтманы выступили с язвительным заявлением по поводу Геверса, которое включало в себя такие слова, как «самоинтервенция, самореклама и конфликт интересов».
В конце концов, после долгих драматических событий и нежелательного внимания со стороны СМИ, Геверс покинул компанию, получив более $400,000 в качестве компенсации. Теперь все наконец-то наладилось. Итак, на этой ноте, давайте поговорим о деталях.
архитектура Тезос
Вы не можете правильно ответить на вопрос «что такое цвет лица»? В цепочке блоков Тезос используется агонистическое нативное промежуточное программное обеспечение под названием «Network Shell». Это позволяет им разработать модульный стиль с самобуферной бухгалтерской книгой. Общий протокол цепочки блоков разделен на три слоя:
- Сетевой протокол: Это протокол сплетен, который отвечает за прослушивание и передачу данных между узлами.
- Протокол транзакции: Это трансакционный слой, который определяет модель учета, реализующую блочную цепь.
- Протокол о консенсусе: Довольно самоочевидно. Это определяет протокол консенсуса, который поможет нашей блочной цепочке достичь соглашения о статусе наших сделок.
В компании «Тезос» два последних протокола, «Сделка» и «Консенсус», объединены и называются протоколом блочной цепи. Network Shell помогает в обмене данными между сетевым протоколом и протоколом блокировки. Network Shell является агностицей по отношению к протоколам о сделках и консенсусе.
Оба счета Тезоса
Два типа аккаунтов, которые вы можете использовать в Tezos, это
- Неявные счета.
- Оригинальные счета.
Неявные счета
Это самые распространенные счета в Тезосе. Они начинаются с tz1 (например: tz1cJywnhho2iGwfrs5gHCQs7stAVFMnRHc1). Это простая учетная запись, которая генерируется из пары публичный/частный ключ. Публичный адрес tz1 берется из публичного ключа, и каждый аккаунт tz1 имеет свой личный ключ. У этих счетов есть владелец и остаток на счете.
Неявные счета не могут иметь делегата. Для делегирования средств они должны быть переведены на счет, с которого они были переведены, а затем должен быть назначен делегат.
Первоначально созданные аккаунты
Наряду с подразумеваемыми учетными записями у вас также есть учетные записи для ваших интеллектуальных контрактов, которые называются оригинальными учетными записями. Они начинаются с KT1 (Ex: KT1Wv8Ted4b6raZDMoepkCPT8MkNFxyT2Ddo). Эти счета имеют следующие поля:
Менеджер — это личный ключ клиента.
Сумма — Tz сумма на этом счету
Делегируемый — если средства на этом счету могут быть делегированы для выпечки
Удаленные поля — информация о том, кому делегирована эта учетная запись для выпечки.
Оригинальный счет может делегировать свои средства на имплицитный счет пекаря. Поговорим о пекарях позже.
Тезос обладает тремя уникальными возможностями:
- Управление в цепочке и самокоррекция.
- Механизм консенсуса по жидкостному доказательству
- Умные контракты с формальной проверкой.
- Давайте пройдемся по каждому из них один за другим.
Управление в цепочке и самокоррекция
Чтобы понять важность цепного управления и самореформирования, необходимо сначала понять слово на букву «F» в криптографическом сообществе, вилки.
Вилка — это условие, при котором состояние цепочки блоков отличается в цепочках, в которых одна часть сети имеет иной взгляд на историю транзакций, чем другая часть сети. По сути, это вилка, это расхождение в перспективе состояния блочной цепи. Вилка может быть выполнена с помощью мягкой вилки или жесткой вилки.
Что такое мягкая вилка?
Всякий раз, когда цепь нуждается в обновлении, есть два способа сделать это: мягкая вилка или жесткая вилка. Думайте о программной вилке как об обновлении программного обеспечения, совместимого со старыми версиями. Что это значит? Предположим, что на вашем ноутбуке работает MS Excel 2005, и вы хотите открыть электронную таблицу, встроенную в MS Excel 2015, вы все еще можете открыть ее, потому что MS Excel 2015 совместима со старыми версиями.
Но, сказав, что есть разница. Все обновления, которыми вы сможете наслаждаться в новой версии, не будут видны вам в предыдущей версии. Возвращаясь к нашей аналогии с MS Excel, предположим, что есть функция, которая позволяет поместить GIF-файлы в электронную таблицу в версии 2015, вы не увидите эти GIF-файлы в версии 2005. Так что, в основном, вы увидите весь текст, но не GIF.
Что такое тяжелая вилка?
Основное отличие мягкой и жесткой вилки в том, что она не совместима с предыдущей версией. Как только ты им воспользуешься, пути назад вообще не будет. Если вы не присоединитесь к обновленной версии цепочки блокировки, вы не будете иметь доступ ни к одному из новых обновлений или сможете взаимодействовать с пользователями новой системы. Думайте PlayStation 3 и PlayStation 4. Вы не можете играть в игры на PS3 на PS4 и вы не можете играть в игры на PS4 на PS3.
Андреас Антонопулос описывает разницу между жесткой вилкой и мягкой вилкой вроде этой: если в вегетарианском ресторане решили добавить в меню свинину, то это будет считаться сложной вилкой. Если они решили добавить вегетарианские блюда, то каждый вегетарианец может есть вегетарианские блюда, не обязательно быть вегетарианцем, чтобы есть там, можно быть вегетарианцем, чтобы есть там и мясоедов, так что это мягкая вилка.
Здесь должно быть ясно одно. Вилки — неплохая штука. Высококачественная платформа должна постоянно развиваться и обновляться. Для этого абсолютно необходимо, чтобы система проходила через постоянные жесткие и мягкие вилки. Главная проблема заключается в спорных вилках, которые разделяют общество.
Самый очевидный пример этого — все жёсткие вилки, через которые прошли Bitcoin и Bitcoin Cash. Биткойн был разделен на Биткойн и Биткойн Кэш, в то время как Биткойн Кэш был позже разделен на Биткойн Кэш и Биткойн СВ. Разделение между Bitcoin Cash и Bitcoin SV было особенно уродливым. Это спровоцировало так называемые «войны за гашиш».
Гаштабные войны были в основном этими двумя цепями, использующими свою хэш-мощь, чтобы извлечь самую длинную цепь. Тот, у кого длинная цепочка якобы становится доминирующей в цепочке Bitcoin Cash. Эта ненужная позиция потопила все криптографическое сообщество, так как весь рынок упал в цене. Хуже того, это разделило сообщество Bitcoin Cash на две части.
Это именно то, чего Тезос хотел избежать.
Как говорит Кэтлин Брайтман (Kathleen Breitman): «Великая ирония bitcoin заключается в том, что это, в конечном счёте, инструмент для достижения консенсуса сообщества, но это [запятнано] огромной враждебностью». Тезос позволяет внедрять инновации систематизированно, а не по принципу «рожденный политикой». Ты не найдешь двух людей, которые ненавидят политику больше, чем мы с Артуром. Это идея Тезоса: формализовать этот необычайно неформальный процесс.
Как Тезос смягчает это?
Тезос» смягчает противоречивые бифуркации за счет самореформирования и цепного управления. Самореформование помогает улучшить цепь блокировки без необходимости проходить через жесткую вилку. Управление цепочками означает просто голосование на платформе по предложенной поправке. Сочетание управления цепочкой и мероприятия по самореформированию позволяет по мере необходимости вносить изменения в процесс голосования, также известные как поправки. Заинтересованные стороны в системе (обсуждается ниже) несут ответственность за голосование. Конструкция этой системы позволяет не использовать жесткую вилку, а плавно эволюционировать блокировочную цепь.
Хорошо, и как именно это работает?
- Разработчики самостоятельно подают предложения по обновлению протоколов и запрашивают компенсацию за свою работу.
- Запрос на компенсацию гарантирует, что у разработчиков есть сильный экономический стимул вносить свой вклад в экосистему.
- Предложение проходит через период тестирования, в ходе которого сообщество тестирует протокол и критикует его за возможные улучшения.
- После повторного тестирования обладатели жетонов Тезос могут проголосовать за принятие или отклонение предложения.
Как только принимается решение о легитимном обновлении, в протоколе происходит «горячая замена», которая инициирует новую версию протокола.
Благодаря этой системе протокол обновляется пассивным и децентрализованным способом. Каждое обновление протокола проходит через несколько периодов тестирования и получает соответствующую обратную связь от сообщества. Это гарантирует, что любые происходящие улучшения будут одобрены большинством населения. Это предотвращает возможность разделения общины с помощью жесткой вилки.
Испытание с помощью жидкого кола
1
Механизм консенсуса является сердцем и душой децентрализованной сети. Нет смысла соединять несколько узлов через широкую сеть, если для них нет конкретных методов связи друг с другом и принятия решения. Когда Сатоши Накамото создал Bitcoin, он интегрировал в него механизм консенсуса по рабочим тестам. Идея PWM довольно проста:
Пусть шахтеры используют свои компьютерные мощности для решения криптографически сложных головоломок.
Награждайте шахтеров, которые смогли разгадать эти головоломки.
Всё так просто. Эти головоломки настолько сложны, что обычно они потребляют много энергии компьютера. Несмотря на то, что P.O.W. был определенно эффективным, когда он начинал, у него было много проблем:
Прежде всего, пробный прогон является крайне неэффективным процессом из-за большого количества потребляемой энергии и мощности.
Частные лица и организации, которые могут позволить себе более быстрые и мощные ASIC, обычно более склонны заниматься добычей полезных ископаемых, чем другие.
Пленник войны ведет к централизации.
Для противодействия проблемам военнопленных был создан новый консенсус-протокол под названием «Тест участия» или POS.
Что такое Тест участия?
Тестирование участия сделает весь процесс добычи виртуальным и заменит шахтеров валидаторами.
Вот как этот процесс будет работать:
- Валидаторы должны будут сохранить некоторые из своих монет в качестве ставки.
- После этого они начнут проверку блоков. То есть, когда они обнаруживают блок, который, по их мнению, может быть добавлен в цепочку, они подтверждают его, делая на него ставку.
- При добавлении блока валидаторы получат вознаграждение, пропорциональное их ставкам.
Однако, это может быть проблемой, так как он все еще включает в себя все сообщество и может быть не самым масштабируемым методом. Поэтому многие современные цепочки блоков, такие как EOS, Cardano, Lisk, NEO и т.д., построены по делегированному протоколу. EOS и Lisk используют протокол тестирования делегированного участия, в котором заранее выбирается фиксированное количество делегатов. Эти делегаты отвечают за консенсус и общее благополучие сети.
Механизм консенсуса Тезоса похож на этот, но с небольшой разницей. Вместо хардкорной делегации Тезос включает в свой консенсус модель ликвидной демократии.
Как работает ликвидная демократия?
Это система, которая плавно переходит от прямой демократии к представительной.
Процесс имеет следующие характеристики:
- Люди могут голосовать непосредственно за свою политику.
- Люди могут делегировать свои обязанности по голосованию делегату, который может голосовать за их политику.
- Сами делегаты могут делегировать свои обязанности по голосованию другому делегату, который может голосовать от их имени. Это свойство, где делегат может назвать своего собственного делегата, называется переходным.
Если человеку, который делегировал свой голос, не нравится голос, который выбрали его делегаты, то он может просто получить свой голос и проголосовать за политику самостоятельно.
Так каковы преимущества жидкой демократии?
Мнение каждого отдельного человека имеет значение и играет важную роль в создании окончательной политики.
Чтобы стать делегатом, нужно лишь завоевать доверие человека. Тебе не нужно тратить миллионы долларов на дорогие предвыборные кампании. В связи с этим, барьер для входа относительно низкий.
Благодаря выбору между прямой и делегированной демократией группы меньшинств могут быть более справедливо представлены.
Наконец, у него есть масштабируемая модель. Любой, кто не успевает проголосовать за свою политику, может просто делегировать свои обязанности по голосованию.
Что такое тест на жидкий кол?
В отличие от DPoS (Тест на участие делегатов), не существует жесткого и быстрого правила, согласно которому делегаты должны быть выбраны. Это полностью зависит от участника, что он хочет сделать. Хорошо, давайте начнем с LPoS.
Тезос является жидким доказательством системы ставок, которая требует, чтобы один из них поставил определенное количество чипов Тезос для участия в консенсусе цепочки блоков. Процесс выпечки чипсов (XTZ) называется выпечкой.
Владельцы токенов, также известные как «пекари», могут делегировать свои права на валидацию другим владельцам токенов без передачи права собственности. В отличие от EOS, делегирование необязательно.
Блоки для выпечки
Вы находите и добавляете блоки в цепочку блоков Тезос через процесс, называемый «выпечка». Вот как это работает:
- Пекари получают блок-права на основе своего участия.
- Каждый блок выпекается случайным пекарем, а затем нотариально заверяется 32 другими случайными пекарями.
- Если блок готов к работе, то он добавляется в цепочку блоков.
Успешный пекарь получает вознаграждение в виде блока и может взимать плату за все транзакции в пределах блока.
Как уже упоминалось выше, владельцы токенов имеют возможность делегировать свои права на выпечку другим владельцам без передачи прав собственности на свои токены. По окончании процесса выпечки пекарь поделится своими наградами с другими делегатами.
Интеллектуальные контракты и формальная проверка
Тезос был закодирован с помощью OCaml. Умные контракты, которые будут выполняться на Тезосе, будут созданы с использованием Michelson. Так что же такого особенного в этих языках? Они оба оказываются функциональными языками.
Когда речь заходит о языках, они принадлежат к двум семьям:
Императивный сайт
Функциональный.
Императивное программирование Языки
При императивном подходе кодировщик должен записывать все шаги, которые компьютер должен предпринять для достижения цели. Все наши традиционные языки программирования, такие как C++, Java и даже Solidity, являются незаменимыми языками программирования. Такой подход к программированию также называют алгоритмическим программированием.
Давайте возьмем пример того, что мы имеем в виду. Давайте посмотрим на С++. Допустим, мы хотим добавить 5 и 3.
int a = 5;
int b = 3;
в;
c= a + b;
Таким образом, как видите, процесс добавления состоит из нескольких этапов, и каждый из них постоянно меняет состояние программы, так как все они выполняются индивидуально.
Один дополнительный процесс состоял из четырех этапов.
- Объявление целого числа a и присвоение ему значения
- Объявление целого числа b и присвоение ему значения
- Объявляя целое число С.
Добавление значений и b и сохранение их в c.
Функциональные языки программирования
Второе семейство языков программирования — это функциональные языки. Этот стиль программирования был создан для построения функционального подхода к решению проблем. Такой подход называется декларативным программированием.
Итак, как работает функциональное программирование?
Предположим, что есть функция f(x), которую мы хотим использовать для вычисления функции g(x), а затем мы хотим использовать ее для работы с функцией h(x). Вместо того, чтобы решать их все в одной последовательности, мы можем просто сгруппировать их все вместе в одну функцию:
h(g(f(x))
Это делает функциональный подход более простым в математическом рассуждении. Именно поэтому функциональные программы должны быть более безопасным подходом к созданию «умных» контрактов. Это также помогает упростить формальную верификацию, а это значит, что легче математически продемонстрировать, что делает программа и как она действует.
Возьмем реальный пример и посмотрим, почему при определенных условиях это может быть чрезвычайно критично и даже жизненно важно.
Предположим, мы кодируем программу, которая управляет воздушным движением.
Как вы можете себе представить, кодирование такой системы требует высокой точности и аккуратности. Мы не можем просто слепо кодировать что-то и надеяться на лучшее, когда на кону жизнь людей. В подобных ситуациях нам нужен код, который можно показать, чтобы работать с высокой степенью математической определенности.
Именно поэтому так желателен функциональный подход. Вот почему Тезос использует OCaml, а его умные контракты используют Michelson.
В следующей таблице сравнивается Императивный подход с Функциональным подходом.
Итак, давайте посмотрим на преимущества функционального подхода:
Это помогает создавать код с высокой степенью защиты, потому что легче проверить, как будет вести себя код математически.
Это повышает удобочитаемость и ремонтопригодность, поскольку каждая функция предназначена для выполнения определенной задачи. Функции также не зависят от государства.
Код легче преломлять, а любые изменения в коде проще осуществлять. Это облегчает повторное развитие.
Отдельные функции могут быть легко изолированы, что облегчает их тестирование и отладку.
Подробнее о Микельсоне
Майкельсон — это тяжело набранный, основанный на стеке язык.
В Ethereum умные контракты пишутся на Solid или Viper и компилируются в байтовый код EVM, который затем запускается в виртуальной машине Ethereum (EVM). В Тезосе нет лишних лишних шагов, а собственный код Майкельсона запускается на виртуальной машине Тезоса.
В чем преимущество такого подхода? Она легко читается человеком, что поможет построить тесты на вычитку и избежать ошибок.
Заключение
Ну вот. Тезос — чрезвычайно интригующий проект, который, к сожалению, был омрачен всеми закулисными драмами. Этот проект заслуживает дальнейшего анализа, так как он приносит интересную полезность в пространство цепочки блоков. Теперь мы должны подождать и выяснить, могут ли они оправдать шумиху, которую они сгенерировали после своего ICO.
Если вы хотите получить Тезос по лучшей цене, вы можете найти его, нажав чуть ниже.
