🔥 Tezos Wiki - курс XTZ, криптовалюта и многое другое!
Tezos ворвался в криптовалютное пространство, вложив 232 миллиона долларов в свое рекордное ICO. С момента их ICO дата их запуска постоянно откладывалась из-за закулисной драмы и других конфликтов. Tezos официально запущен в сентябре 2018 года, и сейчас, как и любой другой, хорошее время, чтобы принять участие в этом захватывающем проекте. Так что же такое Тезос?
Что такое монета Tezos?
На веб-сайте Tezos говорится: «Tezos - это новый децентрализованный блокчейн, который управляет собой, строя настоящее цифровое сообщество».
Tezos (XTZ) - это сеть блокчейнов, подключенная к цифровому токену, который называется tez или tezzie. Tezos не основан на майнинге tez. Вместо этого держатели токенов получают вознаграждение за участие в механизме консенсуса доказательства доли владения.
Содружество - это группа, которая объединяется на основе общих целей и интересов. Основная цель Tezos - заставить держателей токенов работать вместе, чтобы принимать решения, которые со временем улучшат их протокол. Родной токен Tezos - XTZ.
Tezos обладает множеством функций, которые делают его уникальным. Мы рассмотрим их позже в руководстве. А пока давайте немного расскажем о проекте.
Начните с eToro, победителя теста Bitcoin-News.one
ЗАРЕГИСТРИРУЙТЕСЬСЕЙЧАС
Краткая история того, что такое Tezos
Соучредители, Артур Брайтман и Кэтлин Брайтман, разрабатывают Tezos с 2014 года вместе с основной группой разработчиков. Головной офис компании находится в Швейцарии. Как мы уже говорили ранее, всего за 2 недели они собрали 232 миллиона долларов в рамках ICO без ограничений, принимая взносы как от Биткойна, так и от Ethereum. Вскоре после своего исторического ICO Tezos первым делом столкнулся с множеством управленческих проблем. Чтобы понять эти проблемы управления, вам необходимо знать, что компания, основанная Tezos, называется DLS (Dynamic Ledger Solutions), а компания, которая хранит все средства, собранные во время ICO, называется Tezos Foundation.
Артур и Кэтлин Брайтман вступили в публичный спор с президентом Tezos Foundation Иоганном Геверсом. Судя по всему, Геверс, контролировавший средства, отказался выплатить средства Брейтманам. Этот спор вызвал хаос в сообществе, и расчетный обменный курс резко упал. Брейтманы выступили с осуждающим заявлением по поводу Геверса, которое включало такие слова, как «самоуправство, самореклама и конфликт интересов».
В конце концов, после драмы и нежелательного внимания средств массовой информации, Геверс покинул компанию, получив более 400.000 долларов в качестве выходного пособия. Теперь все наконец наладилось. Имея это в виду, давайте перейдем к основным деталям.
Архитектура Tezos
Вы можете спросить "Что такое Тезос?" не отвечаю правильно. Блокчейн Tezos использует агонистическое нативное промежуточное программное обеспечение под названием «Network Shell». Это позволяет им разработать модульный стиль с самоизменяющейся бухгалтерской книгой. Общий протокол цепочки блоков разделен на три уровня:
- Сетевой протокол: это протокол слухов, который отвечает за одноранговое прослушивание и передачу между узлами.
- Протокол транзакции: это уровень транзакции, который определил модель биллинга, реализуемую блокчейном.
- Протокол консенсуса: довольно понятный. Он определяет протокол консенсуса, который поможет нашей цепочке блоков достигать соглашений о статусе наших транзакций.
В Tezos последние два протокола, транзакция и консенсус, суммируются и называются протоколом блокчейна. Сетевая оболочка поддерживает связь между сетевым протоколом и протоколом цепочки блоков. Сетевая оболочка не зависит от протокола транзакции и протокола консенсуса.
Два аккаунта Tezos
В Tezos можно использовать два типа учетных записей:
- Неявные учетные записи; и
- Оригинальные аккаунты.
Неявные учетные записи
Это самые распространенные аккаунты в Tezos. Они начинаются с tz1 (например, tz1cJywnhho2iGwfrs5gHCQs7stAVFMnRHc1). Это простая учетная запись, созданная из пары открытых / закрытых ключей. Открытый адрес tz1 является производным от открытого ключа, и каждая учетная запись tz1 имеет свой собственный закрытый ключ. У этих счетов есть владелец счета и остаток на счете.
Неявные учетные записи не могут иметь делегата. Чтобы делегировать средства, они должны перевести средства на исходный счет, а затем должен быть назначен делегат.
Начните с eToro, победителя теста Bitcoin-News.one
ЗАРЕГИСТРИРУЙТЕСЬСЕЙЧАС
Исходные аккаунты
В дополнение к неявным учетным записям у вас также есть учетные записи для ваших смарт-контрактов, называемые исходными учетными записями. Они начинаются с KT1 (например, KT1Wv8Ted4b6b6raZDMoepkCPT8MkNFxyT2Ddo). Эти учетные записи имеют следующие поля:
- Менеджер - это закрытый ключ аккаунта.
- Amount - сумма Tz на этом счете
- Делегируемый - если средства с этого счета могут быть делегированы на выпечку
- Делегированные поля - информация о том, кому эта учетная запись делегирована для выпечки.
Исходный счет может делегировать свои средства на неявный счет Бейкера. Мы поговорим о Бейкере подробнее позже.
Тезос обладает тремя уникальными способностями:
- Ончейн-управление и самоизменения.
- Механизм консенсуса с жидким доказательством ставки
- Смарт-контракты с формальной проверкой.
Давайте рассмотрим каждый из них по очереди.
1. Сетевое управление и самоизменение
Чтобы понять важность управления цепочкой и самоизменения, вам сначала нужно понять «F-слово» в криптосообществе, вилки.
Форк - это состояние, при котором состояние цепочки блоков разбивается на цепочки, в которых одна часть сети имеет другой взгляд на историю транзакций, чем другая часть сети. По сути, это и есть форк, это расхождение во взглядах на состояние блокчейна. Вилку можно получить с помощью софт-вилки или хард-вилки.
Что такое софт-форк?
Когда цепочку нужно обновить, есть два варианта: софт-форк или хард-форк. Думайте о софт-форке как об обновлении программного обеспечения, которое имеет обратную совместимость. Что это значит? Предполагая, что вы используете MS Excel 2005 на своем ноутбуке и хотите открыть электронную таблицу, интегрированную в MS Excel 2015, вы все равно можете открыть ее, потому что MS Excel 2015 имеет обратную совместимость.
НО после сказанного есть разница. Любые обновления, которые вы можете получить в новой версии, не будут видны вам в старой версии. Вернемся к нашей аналогии с MS Excel: если есть функция, позволяющая вставлять GIF-файлы в таблицу в версии 2015 года, вы больше не увидите эти GIF-файлы в версии 2005 года. Таким образом, вы видите весь текст, но не GIF.
Начните с eToro, победителя теста Bitcoin-News.one
ЗАРЕГИСТРИРУЙТЕСЬСЕЙЧАС
Что такое хард-форк?
Основное различие между софт-форком и хард-форком заключается в том, что он не имеет обратной совместимости. После использования нет абсолютно никакого возврата. Если вы не присоединитесь к обновленной версии блокчейна, вы не получите доступа к новым обновлениям или взаимодействия с пользователями новой системы, как бы то ни было. Подумайте, PlayStation 3 и PlayStation 4. Вы не можете играть в игры для PS3 на PS4, и вы не можете играть в игры для PS4 на PS3.
Вот как Андреас Антонопулос описывает разницу между хард-форком и софт-форком: если вегетарианский ресторан решит включить в меню свинину, это будет считаться хард-форком. Если он решит добавить веганские блюда, каждый вегетарианец по-прежнему сможет есть веган, вам не нужно быть веганом, чтобы есть там, вы все равно можете быть вегетарианцем, чтобы есть там, и мясоеды тоже могут есть там, так что это мягкая вилка .
Что ж, здесь должно быть ясно одно. Вилки - неплохая вещь. Качественная платформа должна постоянно развиваться и обновляться. Для этого абсолютно необходимо, чтобы система проходила постоянные вилки, жесткие и мягкие. Основная проблема заключается в неоднозначных хард-форках, разделяющих сообщество.
Самый очевидный пример этого - все жесткие испытания, которые прошли Bitcoin и Bitcoin Cash. Биткойн был разделен на Bitcoin и Bitcoin Cash, а сам Bitcoin Cash позже был разделен на Bitcoin Cash и Bitcoin SV. Раскол между Bitcoin Cash и Bitcoin SV был особенно уродливым. Это вызвало так называемые «хэш-войны».
Хэш-война в основном состояла из этих двух цепочек, использующих свою хеш-мощность для майнинга самой длинной цепочки. Считается, что самая длинная цепочка становится доминирующей цепочкой наличных биткойнов. Эта ненужная суета погрузила все криптосообщество в пропасть, поскольку вся рыночная капитализация потеряла ценность. Хуже того, это разделило сообщество Bitcoin Cash на две части.
Это именно то, чего Tezos хотел избежать.
Как выразилась Кэтлин Брейтман: «Великая ирония биткойна в том, что он, в конечном счете, является инструментом для достижения консенсуса сообщества, но он [омрачен] огромной враждебностью. Tezos обеспечивает систематические инновации, и что Wise происходит в противоположность один рожден политикой. Вы не найдете двух людей, которые ненавидят политику больше, чем Артур и я. Это идея Tezos: давайте формализуем этот чрезвычайно неформальный процесс ».
Как это можно смягчить с помощью Tezos?
Tezos смягчает спорный хард-форк за счет самоизменения и сетевого управления. Самоизменение помогает обновить блокчейн без хард-форка. Ончейн-управление просто означает голосование по предложенному изменению на платформе. Благодаря сочетанию управления в цепочке и самоуправления процесс координации может быть модифицирован или изменен по мере необходимости. О голосовании берут на себя заинтересованные стороны системы (о которых мы поговорим позже). Дизайн этой системы позволяет блокчейну развиваться плавно, вместо того, чтобы делать хард-форк.
Так как же это работает?
- Разработчики самостоятельно подают предложения по обновлению протокола и запрашивают компенсацию за свою работу.
- Требование компенсации гарантирует, что у разработчиков есть сильный экономический стимул вносить свой вклад в экосистему.
- Предложение проходит фазу тестирования, на которой сообщество тестирует протокол и критикует его за возможные улучшения.
- После повторных тестов держатели токенов Tezos могут проголосовать за то, принять это предложение или нет.
- Как только принято решение о законном обновлении, в протоколе происходит «горячая замена», которая инициирует новую версию протокола.
Благодаря этой системе протокол обновляется пассивно и децентрализованно. Каждое отдельное обновление протокола проходит несколько этапов тестирования и получает соответствующие отзывы от сообщества. Это гарантирует, что любое улучшение будет одобрено большинством сообщества. Это предотвращает раскол сообщества.
2. Механизм консенсуса Proof-of-Work - как он работает в Tezos?
Механизм консенсуса сообщества - это сердце и душа децентрализованной сети. Нет смысла соединять несколько узлов в глобальной сети, если нет конкретных методов, как они могут общаться друг с другом и принимать решение. Когда Сатоши Накамото создал Биткойн, он встроил в него механизм консенсуса Proof-of-Work. Идея механизма POW довольно проста:
- Позвольте майнерам использовать свои вычислительные мощности для решения сложных криптографических задач.
- Награждайте шахтеров, сумевших решить эти головоломки.
Это так просто.Эти головоломки настолько сложны, что для них обычно используются многие ваши навыки счета. Хотя POW определенно был эффективен вначале, у него много проблем:
- Прежде всего, Proof-of-Work - чрезвычайно неэффективный процесс из-за огромного количества сил и энергии, которые он потребляет.
- Люди и организации, которые могут позволить себе более быстрые и мощные ASIC, обычно имеют больше шансов на майнинг, чем другие.
- Военнопленные ведут к централизации.
Чтобы противостоять проблемам POW, был создан новый протокол консенсуса под названием «Proof of Stake» или POS.
Начните с eToro, победителя теста Bitcoin-News.one
ЗАРЕГИСТРИРУЙТЕСЬСЕЙЧАС
Что такое доказательство ставки?
Доказательство доли сделает весь процесс майнинга виртуальным и заменит майнеры валидаторами. Вот как пойдет процесс:
- Аудиторам придется заблокировать часть своих монет в качестве POS.
- Затем они начинают проверять блоки. То есть, когда они обнаруживают блок, который, по их мнению, может быть добавлен в цепочку, они подтверждают его, делая на него ставку.
- Когда блок прикреплен, экзаменаторы получают вознаграждение, пропорциональное их ставкам.
Однако это может быть проблемой, поскольку он по-прежнему охватывает все сообщество и может быть не самым масштабируемым методом. По этой причине многие современные блокчейны, такие как EOS, Cardano, Lisk, NEO и т. Д., Построены с использованием делегированного протокола. EOS и Lisk используют протокол делегирования «доказательства доли владения», в котором предварительно избирается определенное количество делегатов. Эти делегаты несут ответственность за консенсус и общее благополучие сети.
Механизм консенсуса Tezos похож на этот, но с одним небольшим отличием. Вместо жесткой делегации Tezos включает в свой консенсус гибкую модель демократии.
Как работает жидкая демократия?
Это система, которая течет между прямой демократией и представительной демократией. Процесс имеет следующие характеристики:
- Люди могут напрямую голосовать за свою политику.
- Люди могут делегировать право голоса делегату, который может голосовать за их политику.
- Сами делегаты могут делегировать право голоса другому делегату, который может голосовать от их имени. Это свойство, в котором делегат может назвать своего собственного делегата, известно как транзитивность.
- Если человеку, который делегировал свое право голоса, не нравится голос, выбранный его делегатами, он может просто отозвать свой голос и проголосовать за политику самостоятельно.
Итак, каковы преимущества жидкой демократии?
- Мнение каждого человека имеет значение и играет роль в выработке окончательной политики.
- Чтобы стать делегатом, вам просто нужно заслужить чье-то доверие. Необязательно тратить миллионы долларов на дорогостоящие избирательные кампании. Из-за этого входной барьер относительно низкий.
- Из-за возможности колебания между прямой и делегированной демократией группы меньшинств могут быть представлены более справедливо.
- В конце концов, у него есть масштабируемая модель. Любой, у кого нет времени на голосование по своей политике, может просто делегировать свои полномочия по голосованию.
Что такое жидкое доказательство ставки?
В отличие от DPoS (Delegated Proof of Stake), не существует жесткого правила, согласно которому делегаты должны обязательно выбираться. То, что они хотят делать, полностью зависит от участников. Хорошо, давайте начнем с LPoS.
Tezos - это ликвидная система подтверждения доли, которая требует наличия определенного количества токенов Tezos для участия в консенсусе по блокчейну. Процесс «майнинга» токенов Tezos (XTZ) известен как выпечка.
Держатели токенов, псевдоним Baker, могут делегировать свои права проверки другим держателям токенов без передачи права собственности. В отличие от EOS, делегирование не является обязательным.
XTZ блоки для выпечки
Вы находите и добавляете блоки в цепочку блоков Tezos с помощью процесса, называемого «запеканием». И вот как это работает:
- Бейкер получает права на блок-публикацию в зависимости от своей доли.
- Каждый блок «выпекается» случайным пекарем, а затем сертифицируется 32 другими случайными пекарями.
- Когда блок готов к использованию, он добавляется в цепочку блоков.
- Успешный пекарь получает «вознаграждение за блок» и может взимать комиссию за все транзакции внутри блока.
Как мы уже говорили ранее, держатели токенов выпечки имеют возможность делегировать свои права на выпечку другим держателям, не отказываясь от владения своими токенами. После того, как выпечка будет завершена, пекарь поделится наградой с остальными делегатами.
Начните с eToro, победителя теста Bitcoin-News.one
ЗАРЕГИСТРИРУЙТЕСЬСЕЙЧАС
3. Смарт-контракты и формальная проверка
Tezos был написан с помощью OCaml. Смарт-контракт, который будет работать на Tezos, будет создан с Майкельсоном. Так что же особенного в этих языках? Оба они являются функциональными языками. Что касается языков, они принадлежат к двум семействам:
- императив
- Функциональный
Императивные языки программирования
Императивный подход требует, чтобы кодировщик записал все шаги, которые компьютер должен предпринять для достижения цели. Все наши традиционные языки программирования, такие как C ++, Java и даже Solidity, являются обязательными языками программирования. Такой подход к программированию также называется алгоритмическим программированием.
Давайте рассмотрим, что мы под этим подразумеваем. Посмотрим на C ++. Предположим, мы хотим сложить 5 и 3.
инт а = 5;
интервал б = 3;
int c;
с = а + Ь;
Итак, как вы можете видеть, процесс добавления состоит из нескольких шагов, и каждый шаг постоянно меняет состояние программы, поскольку все они выполняются по очереди. Процесс добавления состоял из четырех этапов:
- Объявите целое число a и присвойте значение 5.
- Объявите целое число b и присвойте значение 3.
- Объявить целое число c.
- Значения и b складываются и сохраняются в c.
Функциональные языки программирования
Второе семейство языков программирования - это функциональные языки. Этот стиль программирования был создан для обеспечения функционального подхода к решению проблем. Такой подход называется декларативным программированием. Так как же работает функциональное программирование?
Предположим, есть функция f (x), которую мы хотим использовать для вычисления функции g (x), а затем мы хотим использовать эту функцию для работы с функцией h (x). Вместо того, чтобы решать все эти функции в одной последовательности, мы можем просто объединить их все в одну функцию, подобную этой:
h (g (f (x)))
Это упрощает математическое обоснование функционального подхода. По этой причине функциональные программы должны быть более безопасным подходом к созданию смарт-контрактов. Это также способствует более простой формальной проверке, что в значительной степени означает, что легче математически доказать, что программа делает и как она себя ведет.
Давайте возьмем пример из реальной жизни и посмотрим, почему это может быть чрезвычайно важным и даже спасти жизнь при определенных условиях.
Предположим, мы кодируем программу, которая контролирует воздушное движение. Как вы понимаете, кодирование такой системы требует большой точности и аккуратности. Мы не можем просто слепо что-то кодировать и надеяться на лучшее, когда жизни людей в опасности. В таких ситуациях нам нужен код, работающий с высокой степенью математической достоверности.
Именно поэтому так желателен функциональный подход. Вот почему Tezos использует OCaml и свои смарт-контракты Michelson.
Итак, давайте посмотрим на преимущества функционального подхода:
- Помогает в создании высоконадежного кода, так как легче продемонстрировать математическое поведение кода.
- Повышает удобочитаемость и ремонтопригодность, поскольку каждая функция предназначена для выполнения определенной задачи. Функции также не зависят от государства.
- Код легче реформировать, и любые изменения в коде легче реализовать. Это облегчает повторное развитие.
- Отдельные функции можно легко изолировать, что упрощает тестирование и отладку.
Подробнее о Майкельсоне
Michelson - это язык со строгой типизацией, основанный на стеке. В Ethereum смарт-контракты написаны на Solidity или Viper и скомпилированы в байт-код EVM, который затем выполняется в виртуальной машине Ethereum (EVM). В Tezos нет лишних дополнительных шагов, а сам код Майкельсона запускается в виртуальной машине Tezos.
В чем преимущество такого подхода? Люди могут легко прочитать его, что помогает установить доказательства правильности и избежать ошибок.
Начните с eToro, победителя теста Bitcoin-News.one
ЗАРЕГИСТРИРУЙТЕСЬСЕЙЧАС
Ниже приводится пример контракта Майкельсона.
Параметры (пара (лямбда int int) (список int));
Возврат (список int);
Единица хранения;
Код {DIP {NIL int};
МАШИНА;
ДУП;
DIP {CAR; ПАРА}; # Распаковать данные и настроить аккумулятор
ЦДР;
ЛЯМБДА (пара int (пара (лямбда int) (список int)))
(Пара (лямбда int int) (список int))
# Применяем лямбду и добавляем новый элемент в список
{DUP; CDAR;
DIP {DUP; DIP {CDAR}; DUP;
АВТОМОБИЛЬ; DIP {CDDR; ЗАМЕНА}; EXEC; МИНУСЫ};
ПАРА};
УМЕНЬШИТЬ; CDR; DIP {NIL int}; # Сначала уменьшить
ЛЯМБДА (пара int (список int))
(Список int)
{DUP; АВТОМОБИЛЬ; DIP {CDR}; НЕДОСТАТОК};
УМЕНЬШИТЬ; # Правильный порядок в списке
ЕДИНИЦА ИЗМЕРЕНИЯ; ОБМЕН; PAIR} # Convene Congress
Наш вывод о Tezos
Вот и все. Tezos - чрезвычайно увлекательный проект, который, к сожалению, был омрачен всей закулисной драмой. Этот проект заслуживает более подробного анализа, потому что он приносит интересное применение пространству блокчейнов. Теперь нам нужно подождать и посмотреть, смогут ли они оправдать ажиотаж, который они создали после своего ICO.