Что такое Тезос? Обязательно читать Окончательное руководство

Rajarshi Mitra

4 months ago
 Что такое Тезос? Обязательно читать Окончательное руководство
en flag
zh flag
de flag
ja flag
ko flag
ru flag

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

Согласно сайту Tezos, “Tezos - это новый децентрализованный блокчейн, который управляет собой, создавая истинное цифровое содружество”.

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

В Tezos есть много функций, что делает его уникальным. Мы осветим их позже в путеводителе. На данный момент давайте дадим вам немного справочной информации о проекте.

Краткая история Тезоса

Соучредители, Артур Брайтман и Кэтлин Брайтман, разрабатывают Tezos с 2014 года с основной группой разработчиков. Головной офис компании находится в Швейцарии. Как мы уже говорили, они собрали 232 миллиона долларов в незакрытом ICO всего за 2 недели, принимая взносы как биткоина, так и эфира. Вскоре после своего исторического ICO Tezos столкнулся с множеством проблем управления. Чтобы понять эти проблемы управления, вы должны знать, что компания, основанная Tezos, называется DLS (Dynamic Ledger Solutions), а компания, которая хранит все средства, собранные во время ICO, называется “Tezos Foundation”.

Артур и Кэтлин Брайтман вступили в публичную ссору с президентом Фонда Тезос Иоганном Геверсом. Судя по всему, Геверс, который контролировал средства, отказался передать средства Брайтману. Этот спор привел к хаосу внутри общины и, по оценкам, резко упал обменный курс. Breitmans выпустили устрашающее заявление о Геверсе, которое включало такие слова, как “самообладание, самопродвижение и конфликт интересов”.

В конце концов, после большой драмы и нежелательного внимания СМИ, Геверс покинул компанию, получив более 400 000 долларов в виде выходного пособия. Теперь дела, наконец, плывут гладко. Итак, на этой ноте, давайте вдаваться в обнаглые детали.

Архитектура Тезоса

Вы не можете правильно ответить на вопрос “что такое тезос?” Блокчейн Tezos использует агонистическое промежуточное программное обеспечение под названием “Network Shell”. Это позволяет им разработать модульный стиль с самоизменяющейся бухгалтерской книгой. Общий протокол блокчейна разделен на три слоя:

Сетевой протокол: Это протокол сплетен, который отвечает за прослушивание сверстников и вещание между узлами.

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

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

В Tezos последние два протокола, Транзакция и Консенсус, объединены вместе, чтобы называться Blockchain Protocol. Сетевая оболочка помогает в связи между сетевым протоколом и протоколом blockchain. Сетевая оболочка агностика протокола транзакций и протокола консенсуса.

Два счета Тезоса

Два вида учетных записей, которые вы можете использовать в Tezos:

Неявные учетные записи.

Происхождение учетных записей.

Неявные учетные записи

Это наиболее распространенные аккаунты в Tezos. Они начинаются с tz1 (например: tz1cJywnhho2iGwfrs5gHCQs7stAVFMnRHc1). Это простая учетная запись, которая генерируется из пары открытых/закрытых ключей. Публичный адрес tz1 получен из открытого ключа, и каждая учетная запись tz1 имеет свой собственный закрытый ключ. Эти счета имеют владельца счета и баланс счета.

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

Учетные записи

Наряду с неявными учетными записями у вас также есть учетные записи для ваших смарт-контрактов, которые называются исходными учетными записями. Они начинаются с KT1 (например: KT1Wv8Ted4b6raZDMoepkCPT8MkNFxyT2Ddo). Эти учетные записи имеют следующие поля:

Manager - это закрытый ключ аккаунта

Сумма - Сумма Tz на этом счете

Delegatable - Если средства этого счета могут быть делегированы для выпечки

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

Зарождение счета может делегировать свои средства на неявный счет пекаря. Мы поговорим о пекарях позже.

Tezos обладает тремя уникальными возможностями:

Управление на цепочке и самоизменение.

Механизм консенсуса, подтверждающий наличие ликвидных ставок

Смарт-контракты с формальной верификацией.

Давайте рассмотрим каждый из них один за другим.

Управление на цепочке и самоизменение

Чтобы понять важность управления в цепочке и самоизменения, вам нужно сначала понять “F-слово” в криптосообществе, вилки.

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

Что такое мягкая вилка?

Всякий раз, когда цепочка нуждается в обновлении, есть два способа сделать это: мягкая вилка или твердая вилка. Подумайте о мягкой вилке как обновлении в программном обеспечении, которое обратно совместимо. Что это значит? Предположим, вы используете MS Excel 2005 на вашем ноутбуке, и вы хотите открыть электронную таблицу, встроенную в MS Excel 2015, вы все равно можете открыть ее, потому что MS Excel 2015 обратно совместим.

НО, сказав, что есть разница. Все обновления, которые вы можете наслаждаться в более новой версии, не будут видны вам в старой версии. Возвращаясь к аналогии MS excel снова, предположим, что есть функция, которая позволяет размещать GIF-файлы в электронной таблице в версии 2015 года, вы не увидите эти GIF-файлы в версии 2005 года. Таким образом, в основном, вы увидите весь текст, но не увидите GIF.

Что такое Hard Fork?

Основное различие между мягкой вилкой и твердой вилкой заключается в том, что она не совместима с обратной связью. После того, как он используется, нет абсолютно никакого пути назад. Если вы не присоединитесь к обновленной версии блокчейна, то вы не получите доступа ни к одному из новых обновлений или взаимодействуете с пользователями новой системы вообще. Подумайте о PlayStation 3 и PlayStation 4. Вы не можете играть в игры PS3 на PS4 и не можете играть в игры PS4 на PS3.

What is Tezos? The Ultimate Guide

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

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

Наиболее очевидным примером этого являются все хардфорки, через которые прошли Bitcoin и Bitcoin Cash. Биткойн был разделен на Bitcoin и Bitcoin Cash, в то время как Bitcoin Cash сам был впоследствии разделен на Bitcoin Cash и Bitcoin SV. Сплит Bitcoin Cash и Bitcoin SV был особенно уродливым. Это вызвало так называемые “хэш-войны”.

Хеш-война была в основном этими двумя цепями, используя свою хеш-силу, чтобы добывать самую длинную цепочку. Тот, с самой длинной цепочкой, предположительно, становится доминирующей цепочкой Bitcoin Cash. Это ненужное постинг погрузило все криптосообщество, поскольку весь рынок упал в стоимости. Хуже того, это разделило сообщество Bitcoin Cash на две части.

Именно этого Тезос хотел избежать.

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

Как Тезос смягчает это?

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

Хорошо, так как это работает?

Разработчики самостоятельно представляют предложения по апгрейду протокола и требуют компенсации за свою работу.

Запрос на компенсацию гарантирует, что разработчики имеют сильный экономический стимул внести свой вклад в экосистему

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

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

После принятия решения о законном обновлении в протоколе происходит “горячая замена”, которая инициирует новую версию протокола.

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

Жидкое доказательство ставки

Механизм консенсуса является сердцем и душой децентрализованной сети. Нет смысла соединять несколько узлов по широкой вычислительной сети, если не было конкретных методов для общения друг с другом и принятия решения. Когда Сатоши Накамото создал Bitcoin, он интегрировал в него механизм консенсуса, подтверждающего работу. Идея механизма POW довольно проста:

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

Награждение шахтеров, которые смогли решить эти головоломки.

Все так просто. Эти головоломки настолько сложны, что обычно занимает много ваших вычислительных возможностей. Хотя POW определенно был эффективным, когда он начинался, у него есть много проблем:

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

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

POW приводит к централизации.

Чтобы противостоять проблемам POW, был создан новый консенсусный протокол под названием “Доказательство ставки” или POS.

Что такое Доказательство ставки?

Доказательство ставки сделает весь процесс майнинга виртуальным и заменит шахтеров валидаторами.

Вот как будет работать процесс:

Валидаторы должны будут заблокировать некоторые из своих монет в качестве ставки.

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

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

Однако это может быть проблемой, поскольку оно по-прежнему включает в себя все сообщество и может быть не самым масштабируемым из методов. Вот почему многие современные блокчейны, такие как EOS, Cardano, Lisk, NEO и т. Д., Построены с использованием делегированного протокола. EOS и Lisk используют делегированный протокол proof-of-stake, в котором фиксированное количество делегатов избирается заранее. Именно эти делегаты отвечают за консенсус и общее благополучие сети.

Механизм консенсуса Тезоса аналогичен этому, но с небольшой разницей. Вместо хардкорной делегации Тезос включает в свой консенсус модель жидкой демократии.

Как работает жидкая демократия?

What is Tezos? The Ultimate Guide

Это система, которая плавные переходы между прямой демократией и представительной демократией.

Процесс имеет следующие особенности:

Люди могут голосовать за свою политику напрямую.

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

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

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

Итак, каковы преимущества жидкой демократии?

Мнение каждого отдельного человека считается и играет свою роль в окончательном формировании политики.

Чтобы стать делегатом, все, что нужно сделать, это завоевать доверие человека. Им не нужно тратить миллионы долларов на дорогую избирательную кампанию. Из-за этого барьер для входа является относительно низким.

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

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

Что такое жидкое доказательство ставки?

В отличие от DPoS (Делегированное доказательство доли), нет жесткого и быстрого правила, что делегаты обязательно должны быть выбраны. Все зависит от того, что они хотят сделать. Хорошо, давайте начнем с LPoS.

Tezos - это жидкое доказательство системы ставок, которая требует, чтобы поставить определенное количество токенов Tezos для участия в консенсусе по блокчейну. Процесс стакирования токенов Tezos (XTZ) называется выпечкой.

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

Блоки для выпечки

Вы находите и добавляете блоки в блокчейн Tezos через процесс под названием “выпечка”. Вот как это работает:

Пекарки получают права на публикацию блоков в зависимости от их доли.

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

Если блок хорош, то блок добавляется в блокчейн.

Успешный пекарь получает вознаграждение за блок и может взимать плату за транзакции за все транзакции внутри блока.

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

Умные контракты и формальная верификация

Тезос был закодирован с помощью OCaml. Умные контракты, которые будут работать на Tezos, будут созданы с помощью Michelson. Итак, что особенного в этих языках? Они оба являются функциональными языками.

Когда дело доходит до языков, они принадлежат к двум семьям:

Императивный

Функциональный.

Языки императивного программирования

В императивном подходе, кодер должен поставить все шаги, которые компьютер должен предпринять для достижения цели. Все наши традиционные языки программирования, такие как C + +, Java и даже Solidity, являются обязательными языками программирования. Такой подход к программированию также называется алгоритмическим программированием.

Возьмем пример того, что мы подразумеваем под этим. Давайте посмотрим на C + +. Предположим, мы хотим добавить 5 и 3.

int a = 5;

int b = 3;

int c;

c = a + b;

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

Процесс добавления состоял из четырех шагов, и следующие шаги:

Объявление целого числа a и присвоение ему значения 5.

Объявление целого числа b и присвоение ему значения 3.

Объявление целого числа c.

Добавление значений и b и сохранение их в с.

Языки функционального программирования

Второе семейство языков программирования — Функциональные языки. Этот стиль программирования был создан для построения функционального подхода к решению проблем. Такой подход называется декларативным программированием.

Итак, как работает функциональное программирование?

Предположим, что есть функция f (x), которую мы хотим использовать для вычисления функции g (x), а затем мы хотим использовать ее для работы с функцией h (x). Вместо того, чтобы решать все из них в последовательности, мы можем просто объединить их вместе в одной функции, как это:

ч (g) f (x))

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

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

Предположим, мы кодируем программу, которая контролирует воздушное движение.

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

Именно поэтому функциональный подход так желателен. Вот почему Tezos использует OCaml, а их смарт-контракты используют Michelson.

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

What is Tezos? The Ultimate Guide

Кредит изображений: Docs.Microsoft.com

Итак, давайте посмотрим на преимущества функционального подхода:

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

Увеличивает читаемость и ремонтопригодность, поскольку каждая функция предназначена для выполнения конкретной задачи. Эти функции также независимы от государства.

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

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

Подробнее о Микельсон

Michelson - это строго типизированный язык на основе стека.

В Ethereum смарт-контракты написаны на Solidity или Viper, и они компилируются в байтовый код EVM, который затем выполняется в виртуальной машине Ethereum (EVM). В Tezos нет лишнего шага, и сам код Michelson запускается в виртуальной машине Tezos.

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

Ниже приведен пример контракта Michelson

параметр (пара (лямбда-int) (список int));

возврат (список int);

блок хранения;

код {DIP {NIL int};

АВТОМОБИЛЬ;

ВЫКАПЫВАНИЕ;

DIP {CAR; PAIR}; # Распаковка данных и настройка аккумулятора

CDR;

ЛАМБДА (пара int (пара (лямбда int) (список int)))

(пара (лямбда-int) (список int))

# Применить лямбда и добавить новый элемент в список

{DUP; CDAR;

DIP {DUP; DIP {CDAR}; DUP;

АВТОМОБИЛЬ; ПАДЕНИЕ {CDDR; СВОП}; EXEC; МИНУСЫ};

ПАРА};

СОКРАЩЕНИЕ; CDR; DIP {NIL int}; # Первое сокращение

ЛАМБДА (пара int (список int))

(список int)

{DUP; АВТОМОБИЛЬ; DIP {CDR}; МИНУСЫ};

REDUCE; # Правильный порядок списка

UNIT; SWAP; PAIR} # Соглашение о вызове

Заключение

Итак, вот оно у тебя. Tezos - чрезвычайно интригующий проект, который, к сожалению, омрачен всей закулисной драмой. Этот проект заслуживает более тщательного анализа, поскольку он вносит в блокчейн-пространство какую-то интересную утилиту. Теперь нам нужно подождать и выяснить, могут ли они оправдать ажиотаж, который они создали после ICO.

Tezos ворвался в криптопространство, собрав 232 миллиона долларов в своем тогдашнем рекордном ICO. С момента проведения ICO дата их запуска постоянно задерживалась из-за закулисной драмы и других конфликтов. Tezos официально запущен в сентябре 2018 года и сейчас самое подходящее время для того, чтобы заглянуть в этот захватывающий проект. Так что такое Тезос? Согласно сайту Tezos, “Tezos - это новый децентрализованный блокчейн, который управляет собой, создавая истинное цифровое содружество”. Содружество — это группа, которая решает быть связанной друг с другом из-за своих общих целей и интересов. Основная цель Tezos - заставить их держателей токенов работать вместе, чтобы принимать решения, которые со временем улучшат их протокол. Родным токеном Tezos является XTZ. В Tezos есть много функций, что делает его уникальным. Мы осветим их позже в путеводителе. На данный момент давайте дадим вам немного справочной информации о проекте. Краткая история Tezos Соучредители, Артур Брайтман и Кэтлин Брайтман, разрабатывают Tezos с 2014 года вместе с основной группой разработчиков. Головной офис компании находится в Швейцарии. Как мы уже говорили, они собрали 232 миллиона долларов в незакрытом ICO всего за 2 недели, принимая взносы как биткоина, так и эфира. Вскоре после своего исторического ICO Tezos столкнулся с множеством проблем управления. Чтобы понять эти проблемы управления, вы должны знать, что компания, основанная Tezos, называется DLS (Dynamic Ledger Solutions), а компания, которая хранит все средства, собранные во время ICO, называется “Tezos Foundation”. Артур и Кэтлин Брайтман вступили в публичную ссору с президентом Фонда Тезос Иоганном Геверсом. Судя по всему, Геверс, который контролировал средства, отказался передать средства Брайтману. Этот спор привел к хаосу внутри общины и, по оценкам, резко упал обменный курс. Breitmans выпустили устрашающее заявление о Геверсе, которое включало такие слова, как “самообладание, самопродвижение и конфликт интересов”. В конце концов, после большой драмы и нежелательного внимания СМИ, Геверс покинул компанию, получив более 400 000 долларов в виде выходного пособия. Теперь дела, наконец, плывут гладко. Итак, на этой ноте, давайте вдаваться в обнаглые детали. Tezos Architecture Вы не можете правильно ответить на вопрос “что такое tezos?” Блокчейн Tezos использует агонистическое промежуточное программное обеспечение под названием “Network Shell”. Это позволяет им разработать модульный стиль с самоизменяющейся бухгалтерской книгой. Общий протокол blockchain разделен на три слоя: Сетевой протокол: Это протокол сплетен, который отвечает за прослушивание сверстников и вещание между узлами. Протокол транзакций: Это транзакционный слой, который определил модель учета, которая реализуется блочной цепочкой. Консенсус Протокол: довольно необъяснима. Это определяет протокол консенсуса, который поможет нашей блокчейне достичь договоренностей о состоянии наших транзакций. В Tezos последние два протокола, Транзакция и Консенсус, объединены вместе, чтобы называться Blockchain Protocol. Сетевая оболочка помогает в связи между сетевым протоколом и протоколом blockchain. Сетевая оболочка агностика протокола транзакций и протокола консенсуса. Два счета Tezos Два вида учетных записей, которые вы можете использовать в Tezos являются: Неявные учетные записи. Происхождение учетных записей. Неявные учетные записи Это наиболее распространенные учетные записи в Tezos. Они начинаются с tz1 (например: tz1cJywnhho2iGwfrs5gHCQs7stAVFMnRHc1). Это простая учетная запись, которая генерируется из пары открытых/закрытых ключей. Публичный адрес tz1 получен из открытого ключа, и каждая учетная запись tz1 имеет свой собственный закрытый ключ. Эти счета имеют владельца счета и баланс счета. Неявные учетные записи не могут иметь делегата. Чтобы делегировать средства, они должны будут перевести средства на исчисленный счет, а затем должен быть установлен делегат. Начатые учетные записи Наряду с неявными учетными записями у вас также есть учетные записи для ваших смарт-контрактов, которые называются исходными учетными записями. Они начинаются с KT1 (например: KT1Wv8Ted4b6raZDMoepkCPT8MkNFxyT2Ddo). Эти счета имеют следующие поля: Менеджер - Это закрытый ключ счета Сумма - Сумма Tz в этом аккаунте Delegatable - Если средства этого счета могут быть делегированы для выпечки полей делегата - Информация о том, кто этот счет делегировал для выпечки. Зарождение счета может делегировать свои средства на неявный счет пекаря. Мы поговорим о пекарях позже. Tezos обладает тремя уникальными возможностями: сетевое управление и самоизменение. Механизм консенсуса Liquid Proof-of-Stake Smart контракты с формальной проверкой. Давайте рассмотрим каждый из них один за другим. Управление на цепочке и самоизменение Чтобы понять важность управления на цепочке и самоизменения, вам нужно сначала понять “F-слово” в криптосообществе, вилки. Вилка - это условие, при котором состояние блокчейна расходится на цепи, где часть сети имеет другой взгляд на историю транзакций, чем другая часть сети. Это в основном то, что такое вилка, это дивергенция в перспективе состояния блокчейна. Вилка может быть достигнута мягкой вилкой или твердой вилкой. Что такое мягкая вилка? Всякий раз, когда цепочка нуждается в обновлении, есть два способа сделать это: мягкая вилка или твердая вилка. Подумайте о мягкой вилке как обновлении в программном обеспечении, которое обратно совместимо. Что это значит? Предположим, вы используете MS Excel 2005 на вашем ноутбуке, и вы хотите открыть электронную таблицу, встроенную в MS Excel 2015, вы все равно можете открыть ее, потому что MS Excel 2015 обратно совместим. НО, сказав, что есть разница. Все обновления, которые вы можете наслаждаться в более новой версии, не будут видны вам в старой версии. Возвращаясь к аналогии MS excel снова, предположим, что есть функция, которая позволяет размещать GIF-файлы в электронной таблице в версии 2015 года, вы не увидите эти GIF-файлы в версии 2005 года. Таким образом, в основном, вы увидите весь текст, но не увидите GIF. Что такое Hard Fork? Основное различие между мягкой вилкой и твердой вилкой заключается в том, что она не совместима с обратной связью. После того, как он используется, нет абсолютно никакого пути назад. Если вы не присоединитесь к обновленной версии блокчейна, то вы не получите доступа ни к одному из новых обновлений или взаимодействуете с пользователями новой системы вообще. Подумайте о 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. Это ненужное постинг погрузило все криптосообщество, поскольку весь рынок упал в стоимости. Хуже того, это разделило сообщество Bitcoin Cash на две части. Именно этого Тезос хотел избежать. Как отмечает Кэтлин Брайтман, “Великая ирония биткоина заключается в том, что он в конечном итоге является инструментом для консенсуса сообщества, но он [омрачен] огромным количеством враждебности. Tezos позволяет внедрять инновации в систематизированном виде, в отличие от того, что рождается политика. Вы не найдете двух людей, которые ненаряжают политику больше, чем Артур и я. Именно в этом состоит идея Tezos: давайте формализуем этот необычайно неформальный процесс”. Как Тезос смягчает Это? Tezos смягчает спорные жесткие форки с помощью самопоправок и управления на цепочке. Самоизменение помогает в обновлении блокчейна без прохождения жесткого форка. Управление на цепочке просто означает голосование на платформе над предлагаемой поправкой. Благодаря сочетанию управления на цепочке и самоизменения процесс голосования может быть изменен так же, как и в случае необходимости. Заинтересованные стороны системы (о чем мы поговорим позже) позаботятся о голосовании. Конструкция этой системы позволяет плавно эволюционировать блокчейн вместо того, чтобы иметь жесткий форк. Хорошо, так как это работает? Разработчики самостоятельно представляют предложения по апгрейду протокола и требуют компенсации за свою работу. Запрос на компенсацию гарантирует, что разработчики имеют сильный экономический стимул внести свой вклад в экосистему. Предложение проходит через испытательный период, когда сообщество тестирует протокол и критикует его за возможные улучшения. После повторного тестирования держатели токенов Tezos могут голосовать за то, должно ли предложение быть одобрено или нет. После принятия решения о законном обновлении в протоколе происходит “горячая замена”, которая инициирует новую версию протокола. Из-за этой системы протокол обновляется пассивно в децентрализованном порядке. Каждое обновление протокола проходит через несколько периодов тестирования и получает соответствующую обратную связь от сообщества. Это гарантирует, что любое улучшение происходит, имеет штамп одобрения со стороны большинства сообщества. Это предотвращает любую возможность разделения сообщества хардфорка. Механизм Liquid Proof of Stake Consensus — это сердце и душа децентрализованной сети. Нет смысла соединять несколько узлов по широкой вычислительной сети, если не было конкретных методов для общения друг с другом и принятия решения. Когда Сатоши Накамото создал Bitcoin, он интегрировал в него механизм консенсуса, подтверждающего работу. Идея механизма POW довольно проста: Пусть шахтеры используют свои вычислительные мощности для решения криптографически сложных головоломок. Награждение шахтеров, которые смогли решить эти головоломки. Все так просто. Эти головоломки настолько сложны, что обычно занимает много ваших вычислительных возможностей. Хотя POW был определенно эффективным, когда он начинался, у него есть много проблем: во-первых, доказательство работы является чрезвычайно неэффективным процессом из-за огромного количества энергии и энергии, которые он съедает. Люди и организации, которые могут позволить себе более быстрые и мощные ASIC, обычно имеют больше шансов на добычу полезных ископаемых, чем другие. POW приводит к централизации. Чтобы противостоять проблемам POW, был создан новый консенсусный протокол под названием “Доказательство ставки” или POS. Что такое Доказательство ставки? Доказательство ставки сделает весь процесс майнинга виртуальным и заменит шахтеров валидаторами. Вот как будет работать процесс: валидаторы должны будут заблокировать некоторые из своих монет в качестве ставки. После этого они начнут проверять блоки. То есть, когда они обнаруживают блок, который, по их мнению, может быть добавлен в цепочку, они подтвердят его, сделав ставку на него. Если блок будет добавлен, валидаторы получат вознаграждение, пропорциональное их ставкам. Однако это может быть проблемой, поскольку оно по-прежнему включает в себя все сообщество и может быть не самым масштабируемым из методов. Вот почему многие современные блокчейны, такие как EOS, Cardano, Lisk, NEO и т. Д., Построены с использованием делегированного протокола. EOS и Lisk используют делегированный протокол proof-of-stake, в котором фиксированное количество делегатов избирается заранее. Именно эти делегаты отвечают за консенсус и общее благополучие сети. Механизм консенсуса Тезоса аналогичен этому, но с небольшой разницей. Вместо хардкорной делегации Тезос включает в свой консенсус модель жидкой демократии. Как работает жидкая демократия? Это система, которая плавные переходы между прямой демократией и представительной демократией. Процесс имеет следующие особенности: Люди могут голосовать за свою политику напрямую. Люди могут делегировать свои обязанности по голосованию делегату, который может голосовать за свою политику за них. Сами делегаты могут делегировать свои право голоса другому делегату, который может голосовать от их имени. Это свойство, в котором делегат может назначить своего собственного делегата называется транзитивностью. Если человеку, который делегировал свое голосование, не нравится голосование, которое выбрали его делегаты, то он может просто забрать свой голос и проголосовать за политику самостоятельно. Итак, каковы преимущества жидкой демократии? Мнение каждого отдельного человека считается и играет свою роль в окончательном формировании политики. Чтобы стать делегатом, все, что нужно сделать, это завоевать доверие человека. Им не нужно тратить миллионы долларов на дорогую избирательную кампанию. Из-за этого барьер для входа является относительно низким. В силу возможности колебаться между прямой и делегированной демократией группы меньшинств могут быть более справедливо представлены. Наконец, он имеет масштабируемую модель. Любой, у кого нет времени голосовать за свою политику, может просто делегировать свои полномочия по голосованию. Что такое жидкое доказательство ставки? В отличие от DPoS (Делегированное доказательство доли), нет жесткого и быстрого правила, что делегаты обязательно должны быть выбраны. Все зависит от того, что они хотят сделать. Хорошо, давайте начнем с LPoS. Tezos - это жидкое доказательство системы ставок, которая требует, чтобы поставить определенное количество токенов Tezos для участия в консенсусе по блокчейну. Процесс стакирования токенов Tezos (XTZ) называется выпечкой. Владельцы токенов, ака “bakers”, могут делегировать свои права проверки другим держателям токенов без передачи права собственности. В отличие от EOS, делегирование является необязательным. Выпечка Блоки Вы находите и добавляете блоки в блок-цепочку Tezos через процесс под названием “выпечка”. Вот как это работает: пекари получают права на публикацию блоков на основе их доли. Каждый блок выпекается случайным пекарем, а затем нотариально заверяется 32 другими случайными пекарями. Если блок хорош, то блок добавляется в блокчейн. Успешный пекарь получает вознаграждение за блок и может взимать плату за транзакции за все транзакции внутри блока. Как мы уже говорили ранее, держатели токенов имеют возможность делегировать свои права на выпечку другим держателям, не отпуская право собственности на свои токены. По завершении процесса выпечки пекаря поделится своими наградами с остальными делегатами. Умные контракты и формальная проверка Tezos были закодированы с помощью OCaml. Умные контракты, которые будут работать на Tezos, будут созданы с помощью Michelson. Итак, что особенного в этих языках? Они оба являются функциональными языками. Когда дело доходит до языков, они принадлежат к двум семействам: императивные функциональные. Императивные языки программирования В императивном подходе, кодер должен поставить все шаги, которые компьютер должен предпринять, чтобы достичь цели. Все наши традиционные языки программирования, такие как C + +, Java и даже Solidity, являются обязательными языками программирования. Такой подход к программированию также называется алгоритмическим программированием. Возьмем пример того, что мы подразумеваем под этим. Давайте посмотрим на C + +. Предположим, мы хотим добавить 5 и 3. int a = 5; int b = 3; int c; c = a + b; Итак, как вы можете видеть, процесс сложения занимает несколько шагов, и каждый шаг постоянно меняет состояние программы, поскольку все они выполняются по очереди индивидуально. Процесс сложения взял четыре шага и шаги: Объявление целого числа a и присвоение ему значения 5. Объявление целого числа b и присвоение ему значения 3. Объявление целого числа c. Добавление значений и b и сохранение их в с. Функциональные языки программирования Второе семейство языков программирования является функциональными языками. Этот стиль программирования был создан для построения функционального подхода к решению проблем. Такой подход называется декларативным программированием. Итак, как работает функциональное программирование? Предположим, что есть функция f (x), которую мы хотим использовать для вычисления функции g (x), а затем мы хотим использовать ее для работы с функцией h (x). Вместо того, чтобы решать все из них в последовательности, мы можем просто объединить их вместе в одной функции, как это: h (g (f (x))) Это упрощает функциональный подход математически. Вот почему функциональная должны быть более безопасным подходом к созданию смарт-контрактов. Это также помогает в более простой формальной проверке, что в значительной степени означает, что легче математически доказать, что программа делает и как она действует. Давайте возьмем реальный пример этого и посмотрим, почему он может стать чрезвычайно критическим и даже спасающим жизнь в определенных условиях. Предположим, мы кодируем программу, которая контролирует воздушное движение. Как вы можете себе представить, кодирование такой системы требует высокой степени точности и точности. Мы не можем просто слепо кодировать что-то и надеяться на лучшее, когда жизнь людей находится под угрозой. В подобных ситуациях нам нужен код, который можно доказать, что работает с высокой степенью математической определенности. Именно поэтому функциональный подход так желателен. Вот почему Tezos использует OCaml, а их смарт-контракты используют Michelson. В следующей таблице сравнивается императивный подход с функциональным подходом. Image Credit: Docs.Microsoft.com Итак, давайте посмотрим на преимущества функционального подхода: Помогает с созданием кода высокой гарантии, потому что легче доказать, как код будет вести себя математически. Увеличивает читаемость и ремонтопригодность, поскольку каждая функция предназначена для выполнения конкретной задачи. Эти функции также независимы от государства. Код легче рефрактор, и любые изменения в коде проще реализовать. Это облегчает повторное развитие. Отдельные функции могут быть легко изолированы, что облегчает их тестирование и отладку. Подробнее о Michelson Michelson - это строго типизированный язык, основанный на стеках. В Ethereum смарт-контракты написаны на Solidity или Viper, и они компилируются в байтовый код EVM, который затем выполняется в виртуальной машине Ethereum (EVM). В Tezos нет лишнего шага, и сам код Michelson запускается в виртуальной машине Tezos. В чем преимущество такого подхода? Он может быть легко прочитан людьми, что поможет в построении доказательств правильности и поможет избежать ошибок. Ниже приведен пример параметра контракта Микельсона (пара (лямбда-int int) (список int)); возврат (список int); блок хранения; код {DIP {NIL int}; CAR; DUP; DIP {CAR; PAIR}; # Распаковка данных и настройка аккумулятора CDR; LAMBDA (пара int (пара (лямбда-int int) (список int))))) (пара (лямбда-int) (list int)) # Применить лямбда и добавить новый элемент в список {DUP; CDAR; DIP {DUP; DIP {CDAR}; DUP; CAR; DIP {CDDR; SWAP}; EXEC; CONS}; PAIR}; REDUCE; CDR; DIP {NIL int}; # Сначала уменьшить LAMBDA (пара int (list int))) (list int) {DUP; CAR; IP {CDR}; CONS}; СОКРАЩЕНИЕ; # Правильный порядок списка UNIT; SWAP; PAIR} # Заключение соглашения о вызове Итак, вот оно у тебя. Tezos - чрезвычайно интригующий проект, который, к сожалению, омрачен всей закулисной драмой. Этот проект заслуживает более тщательного анализа, поскольку он вносит в блокчейн-пространство какую-то интересную утилиту. Теперь нам нужно подождать и выяснить, могут ли они оправдать ажиотаж, который они создали после ICO.

Like what you read? Give us one like or share it to your friends

196
3

3
Discussion

Please to comment
newest oldest most voted
Hungry for knowledge?
New guides and courses each week
Looking to invest?
Market data, analysis, and reports
Just curious?
A community of blockchain experts to help

Get started today and earn 4 bonus blocks

Already have an account? Sign In