Меню Закрити

Що таке Tezos?

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

За даними веб-сайту Tezos, “Tezos – це новий децентралізований блокчейн, який керує собою шляхом створення справжньої цифрової Співдружності”.

Співдружність – це група, яка вирішує бути об’єднаною через спільні цілі та інтереси. Основна мета Tezos – змусити власників жетонів співпрацювати для прийняття рішень, які з часом покращують їх протокол. Власний маркер Tezos – XTZ. У Tezos є багато можливостей, які роблять його унікальним. Ми побачимо їх пізніше у цьому посібнику. На даний момент давайте подивимось трохи інформації про проект. Якщо ви вже знаєте Tezos і хочете отримати цю криптовалюту, ви можете отримати Tezos за посиланням нижче.

Коротка історія того, що таке Тезос

Співзасновники Артур Брайтман та Кетлін Брайтман розробляють Tezos з 2014 року разом із основною групою розробників. Компанія базується в Швейцарії. Як ми вже говорили, вони зібрали 232 мільйони доларів на ICO без обмежень лише за два тижні, приймаючи внески як від біткойна, так і від ефіру. Незабаром після історичного ICO Тезос зіткнувся з багатьма проблемами управління. Щоб зрозуміти ці проблеми управління, вам потрібно знати, що компанія-засновник Tezos називається DLS (Dynamic Ledger Solutions), а компанія, яка тримає всі кошти, зібрані під час ICO, називається „Tezos Foundation”.

Артур і Кетлін Брайтман влаштували публічну бійку з президентом Фонду Тезоса Йоганом Геверсом. Геверс, який контролював кошти, очевидно, відмовився виплачувати кошти Брейтманам. Ця суперечка призвела до хаосу в громаді, і передбачуваний обмінний курс стрімко впав. Брейтманс видав різку заяву про Геверса, яка включала такі слова, як “самовтручання, самореклама та конфлікт інтересів”.

Зрештою, після великої драми та небажаної уваги ЗМІ, Геверс залишив компанію, отримавши понад 400 000 доларів вихідної допомоги. Тепер нарешті справи йдуть добре. Отже, на цій ноті давайте розберемося в деталях.

Архітектура Tezos

Ви не можете правильно відповісти на питання “що таке тезос?” Блокчейн Tezos використовує агоністичне власне проміжне програмне забезпечення під назвою «Мережева оболонка». Це дозволяє їм розвивати модульний вигляд за допомогою самонарізної книги. Загальний протокол блокчейну ділиться на три рівні:

  • Мережевий протокол: це протокол пліток, який відповідає за прослуховування та передачу даних між вузлами.
  • Протокол транзакцій: Це транзакційний рівень визначає модель обліку, реалізовану ланцюгом блоків.
  • Протокол консенсусу: цілком зрозуміло. Це визначає консенсус-протокол, який допоможе нашому блокчейну досягти домовленостей про статус наших транзакцій.

У Tezos останні два протоколи, Транзакція та Консенсус, поєднуються, щоб їх називали протоколом блокчейн. Мережева оболонка допомагає у зв’язку між мережевим протоколом та протоколом блокування. Мережева оболонка є агностичною щодо протоколу транзакцій та консенсусного протоколу.

.

Два рахунки Тезоса

Два типи рахунків, якими ви можете користуватися в Tezos:

  • Приховані рахунки.
  • Початкові рахунки.

Приховані рахунки

Це найпоширеніші рахунки на Tezos. Вони починаються з tz1 (Приклад: tz1cJywnhho2iGwfrs5gHCQs7stAVFMnRHc1). Це простий обліковий запис, який генерується з пари відкритого / приватного ключів. Публічна адреса tz1 походить від відкритого ключа, і кожен акаунт tz1 має свій приватний ключ. Ці рахунки мають власника та залишок на рахунку.

Неявні облікові записи не можуть мати делегата. Щоб делегувати кошти, їм потрібно буде перевести їх на зареєстрований рахунок, а потім потрібно буде встановити делегата.

Початкові рахунки

Поряд із вбудованими обліковими записами у вас також є рахунки для смарт-контрактів, які називаються початковими рахунками. Вони починаються з KT1 (Наприклад: KT1Wv8Ted4b6raZDMoepkCPT8MkNFxyT2Ddo). Ці рахунки мають такі поля:

  • Менеджер – це приватний ключ облікового запису
  • Сума – Сума Tz на цьому рахунку
  • Делегувати – якщо кошти на цьому рахунку можна делегувати на випічку

Делеговані поля – інформація про те, кому цей обліковий запис делеговано для випікання.

Початковий рахунок може делегувати свої кошти на типовий рахунок пекаря. Про пекарів ми поговоримо пізніше.

Tezos має три унікальні можливості:

  • Управління ланцюгом та самокорекція.
  • Механізм консенсусу випробувань на затвердження рідин
  • Розумні контракти з офіційною верифікацією.
  • Давайте пройдемося по кожному з них по одному.

Управління ланцюгом та самокорекція

Щоб зрозуміти важливість мережевого управління та самореформування, спочатку потрібно зрозуміти слово «F» у крипто-спільноті, форки (fork).

Форк (fork) або форк (англ. Fork) – це умова, при якій стан блокчейну відрізняється ланцюгами, в яких одна частина мережі має інший погляд на історію транзакцій, ніж інша частина мережі. Це в основному те, що таке форк, це розбіжність у точки зору на стан блокчейну. Вилку можна досягти за допомогою м’якої або твердої виделки.

Що таке м’яка вилка?

Щоразу, коли ланцюжок потрібно оновлювати, це можна зробити двома способами: м’якою виделкою або жорсткою виделкою. Подумайте про soft fork як про оновлення програмного забезпечення, яке є сумісним із зворотною стороною. Що це означає? Припустимо, на вашому ноутбуці працює 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 і Bitcoin Cash, тоді як Bitcoin Cash згодом був розділений на Bitcoin Cash та Bitcoin SV. Розділення між Bitcoin Cash та Bitcoin SV було особливо потворним. Він розв’язав так звані “хеш-війни”.

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

Саме цього Тезос хотів уникнути.

Як зазначає Кетлін Брейтман, «велика іронія біткойна полягає в тому, що він, зрештою, є інструментом консенсусу спільноти, але він [заплямований] величезною кількістю ворожості. Tezos дозволяє систематизовано здійснювати інновації, на відміну від народжених політикою. Ви не знайдете двох людей, які ненавидять політику більше, ніж ми з Артуром. Це ідея, що лежить в основі Tezos: оформити цей надзвичайно неформальний процес ».

Як Tezos пом’якшує це?

Тезос пом’якшує суперечливі роздвоєння шляхом самореформування та ланцюгового управління. Самореформування допомагає вдосконалити блокчейн, не проходячи через хардфорк. Управління мережею просто означає голосування на платформі за запропоновану поправку. За допомогою комбінації урядового ланцюга та заходу самореформування процес голосування може бути модифікований, також відомий як поправка, за потреби. Зацікавлені сторони системи (про яку ми поговоримо пізніше) здійснюють голосування. Конструкція цієї системи дозволяє плавно розвивати ланцюг замків замість того, щоб використовувати жорстку вилку.

Добре, так як саме це працює?

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

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

Пропозиція проходить період тестування, в якому громада тестує протокол і критикує його за можливі вдосконалення.

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

Після прийняття рішення щодо законного оновлення відбувається «гаряча заміна» протоколу, яка запускає нову версію протоколу.

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

Тест на рідку ставку

1

 

Механізм консенсусу – це серце та душа децентралізованої мережі. Немає сенсу підключати декілька вузлів через глобальну мережу, якщо немає конкретних методів для їх взаємодії та прийняття рішення. Коли Сатоші Накамото створив біткойн, він вбудував механізм консенсусу на підтвердження роботи над ним. Ідея механізму військовополоненого досить проста:

Змусьте шахтарів використовувати свою обчислювальну потужність для вирішення криптографічно складних головоломок.

Нагороджуйте шахтарів, які змогли розгадати ці загадки.

Це так просто. Ці головоломки настільки жорсткі, що зазвичай забирають багато ваших обчислювальних здібностей. Незважаючи на те, що військовополонений, безумовно, був ефективним на початку, він має багато проблем:

Перш за все, доказ роботи – це надзвичайно неефективний процес через велику кількість енергії та енергії, яку він споживає.

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

Військовий полонений веде до централізації.

Для протидії проблемам військовополонених було створено новий консенсус-протокол під назвою “Доказ ставки” або POS.

Що таке доказ ставки?

Proof of Stake зробить весь процес видобутку віртуальним і замінить майнерів валідаторами.

  • Ось як буде працювати процес:
  • Валідатори повинні будуть зберегти частину своїх монет як ставку.

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

Якщо блок буде додано, валідатори отримають винагороду, пропорційну їхнім ставкам.

Однак це може бути проблемою, оскільки воно все ще включає всю спільноту і може бути не найбільш масштабованим методом. Ось чому багато сучасних блокчейнів, таких як EOS, Cardano, Lisk, NEO тощо. вони будуються за допомогою делегованого протоколу. EOS і Lisk використовують делегований протокол підтвердження частки, в якому заздалегідь обирається фіксована кількість делегатів. Ці делегати відповідають за консенсус та загальний добробут мережі.

Механізм консенсусу Тезоса подібний до цього, але з невеликою різницею. Замість жорсткого делегування Тезос включає в свій консенсус модель ліквідної демократії.

Як працює ліквідна демократія?

Це система, яка плавно переходить між прямою демократією та представницькою демократією.

Процес має такі характеристики:

  • Люди можуть голосувати безпосередньо за свою політику.
  • Люди можуть делегувати свої обов’язки щодо голосування делегату, який може проголосувати за їх політику.
  • Самі делегати можуть делегувати свої обов’язки щодо голосування іншому делегатові, який може голосувати від їх імені. Ця властивість, в якій делегат може назвати власного делегата, називається транзитивністю.
  • Якщо людині, яка делегувала свій голос, не сподобався голос, який обрали їхні делегати, тоді він може просто повернути свій голос і проголосувати за політику самостійно.

То які переваги ліквідної демократії?

  • Думка кожної окремої людини має важливе значення і відіграє важливу роль у формуванні остаточної політики.
  • Щоб стати стюардом, потрібно лише заслужити довіру людини. Їм не потрібно витрачати мільйони доларів на дорогі виборчі кампанії. Через це бар’єр для в’їзду є відносно низьким.
  • Через можливість коливання між прямою та делегованою демократією групи меншин можуть бути більш справедливо представленими.

Нарешті, у вас є масштабована модель. Той, хто не встигає проголосувати за їх політику, може просто делегувати свої обов’язки щодо голосування.

Що таке тест на рідку ставку?

На відміну від DPoS (делегований доказ ставки), не існує жорсткого правила про те, що делегати повинні бути обрані. Від учасника залежить повністю, що він хоче робити. Добре, почнемо з LPoS.

Tezos – це рідкий доказ системи ставок, який вимагає ставки на певну кількість жетонів Tezos для участі в консенсусі щодо блокчейну. Процес вибивання жетонів Tezos (XTZ) називається випічкою.

Власники токенів, також відомі як “пекарі”, можуть делегувати свої права перевірки іншим власникам токенів без передачі права власності. На відміну від EOS, делегування не є обов’язковим.

Кулінарні блоки

Ви знаходите та додаєте блоки до блокчейну Tezos за допомогою процесу, який називається “випічка”. Чи так це працює:

  • Пекарі заробляють масові права на публікацію на основі своєї участі.
  • Кожен блок випікається випадковим пекарем, а потім засвідчується 32 іншими випадковими пекарями.
  • Якщо блок готовий до роботи, тоді блок додається до блокчейну.
  • Успішний пекар отримує винагороду за блок і може стягувати комісію за транзакції за всі транзакції всередині блоку.

Як ми вже говорили раніше, власники жетонів мають можливість делегувати свої права на приготування їжі іншим власникам, не відмовляючись від права власності на свої жетони. В кінці процесу випікання пекар поділиться своїми винагородами з рештою делегатів.

Розумні контракти та формальна перевірка

Tezos був закодований за допомогою OCaml. Розумні контракти, які будуть виконуватися на Tezos, будуть створені за допомогою Майкельсона. То що особливого в цих мовах? Вони обидва є функціональними мовами.

Що стосується мов, вони належать до двох сімей:

  • Імператив
  • Функціональний.

Імперативні мови програмування

При імперативному підході кодеру потрібно записати всі кроки, необхідні комп’ютеру для досягнення мети. Усі наші традиційні мови програмування, такі як C ++, Java і навіть Solidity, є обов’язковими мовами програмування. Цей тип підходу до програмування також називають алгоритмічним програмуванням.

Візьмемо приклад того, що ми маємо на увазі під цим. Давайте розглянемо C ++. Припустимо, ми хочемо скласти 5 і 3.

 

int a = 5;

 

int b = 3;

 

int c;

 

c = a + b;

 

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

Процес додавання складався з чотирьох кроків, і це такі кроки:

  • Оголосивши ціле число a і присвоївши йому значення
  • Оголосивши ціле число b і присвоївши йому значення
  • Оголошення цілого числа c.

Додавання значень і b та збереження їх у c.

Функціональні мови програмування

Другою родиною мов програмування є функціональні мови. Цей стиль програмування був створений для побудови функціонального підходу до вирішення проблем. Цей тип підходу називається декларативним програмуванням.

 

Отже, як працює функціональне програмування?

 

Припустимо, є функція f (x), яку ми хочемо використовувати для обчислення функції g (x), а потім ми хочемо використовувати її для роботи з функцією h (x). Замість того, щоб вирішувати їх усіх послідовно, ми можемо просто згрупувати їх усіх в одну функцію, як це:

 

h (g (f (x)))

 

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

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

Припустимо, ми кодуємо програму, яка контролює повітряний рух.

Як ви можете собі уявити, кодування такої системи вимагає високого ступеня точності та точності. Ми не можемо просто сліпо кодувати щось і сподіватися на краще, коли життя людей знаходиться під загрозою. У таких ситуаціях нам потрібен код, який може продемонструвати, що він працює з високим ступенем математичної впевненості.

Саме тому функціональний підхід так бажаний. Ось чому Tezos використовує OCaml, а їхні смарт-контракти використовують Michelson.

Наступна таблиця порівнює імперативний підхід з функціональним.

Esta imagen tiene un atributo ALT vacío; su nombre de archivo es tabla-imperativo-codificar.png

Отже, давайте розглянемо переваги функціонального підходу:

Це допомагає створити код із високим захистом, тому що легше перевірити, як код буде поводитися математично.

Збільшує читабельність та ремонтопридатність, оскільки кожна функція призначена для виконання конкретного завдання. Функції також не залежать від держави.

Код легше заломлювати, а будь-які зміни в коді – легше впроваджувати. Це полегшує ітеративний розвиток.

Окремі функції можна легко ізолювати, що полегшує їх тестування та налагодження.

Детальніше про Майкельсона

Майкельсон – це сильно набрана мова на основі стеку.

В Ethereum смарт-контракти записуються в Solidity або Viper і компілюються в байт-код EVM, який потім працює на віртуальній машині Ethereum (EVM). У Tezos немає зайвих зайвих кроків, а власний код Майкельсона працює у віртуальній машині Tezos.

У чому перевага такого підходу? Його легко прочитати люди, що допоможе створити докази правильності та уникнути помилок.

висновок

Отже, у вас це є. Tezos – надзвичайно інтригуючий проект, який, на жаль, був затьмарений усією закулісною драмою. Цей проект заслуговує на більш глибокий аналіз, оскільки він привносить цікаву корисність у простір блокчейну. Тепер нам слід почекати і з’ясувати, чи зможуть вони виправдати ажіотаж, який вони створили після ICO.

Якщо ви хочете отримати Tezos за найкращою ціною, ви можете знайти його, натиснувши трохи нижче.

Залишити відповідь

Ваша e-mail адреса не оприлюднюватиметься. Обов’язкові поля позначені *