Tezos włamał się do kryptograficznej przestrzeni zbierając 232 miliony dolarów w swoim wtedy nagranym ICO. Od czasu jego ICO data jego uruchomienia stale się opóźnia z powodu zakulisowych dramatów i innych konfliktów. Tezos został oficjalnie zainaugurowany we wrześniu 2018 roku i teraz jest dobry czas, aby zobaczyć ten ekscytujący projekt. Więc czym jest Tezos?
Według strony internetowej Tezos, „Tezos jest nowym zdecentralizowanym łańcuchem blokowym, który rządzi się poprzez ustanowienie prawdziwej cyfrowej Wspólnoty Narodów.
Wspólnota Narodów jest grupą, która decyduje się na zjednoczenie ze względu na swoje wspólne cele i interesy. Głównym celem firmy Tezos jest skłonienie jej symbolicznych właścicieli do współpracy przy podejmowaniu decyzji, które z czasem doprowadzą do poprawy protokołu. Rodzimy token Tezosa to XTZ. W Tezos jest wiele cech, które czynią go wyjątkowym. Przyjrzymy się im później w tym przewodniku. Na razie przyjrzyjmy się kilku informacjom o projekcie. Jeśli znasz już Tezosa, a chcesz mieć możliwość zdobycia tej kryptomoney, możesz zdobyć Tezosa pod poniższym linkiem.
Krótka historia tego, czym jest Tezos
Współzałożyciele Arthur Breitman i Kathleen Breitman rozwijają Tezos od 2014 roku wraz z główną grupą deweloperów. Firma ma swoją siedzibę w Szwajcarii. Jak wspomniano, zebrali 232 miliony dolarów w otwartym ICO w ciągu zaledwie dwóch tygodni, przyjmując wpłaty zarówno od bitcoin i eteru. Wkrótce po historycznym ICO, Tezos stanął przed wieloma wyzwaniami związanymi z zarządzaniem. Aby zrozumieć te kwestie związane z zarządzaniem, należy wiedzieć, że firma założycielska Tezos nazywa się DLS (Dynamic Ledger Solutions), a firma, która posiada wszystkie fundusze zebrane podczas ICO, nazywa się „Fundación Tezos”.
Arthur i Kathleen Breitman stoczyli publiczną walkę z prezesem Fundacji Tezos, Johannem Geversem. Najwyraźniej Gevers, który sprawował kontrolę nad funduszami, odmówił wypłacenia ich Breitmanom. Spór ten doprowadził do chaosu we wspólnocie, a szacowany kurs walutowy załamał się. Breitmanie wydali druzgocące oświadczenie o Geversie, które zawierało takie słowa jak „samokontrola, autopromocja i konflikt interesów”.
Ostatecznie, po wielu dramatach i niechcianym zainteresowaniu mediów, Gevers odszedł z firmy po otrzymaniu ponad 400.000 dolarów odszkodowania. Teraz wszystko w końcu się układa. Więc, w tej kwestii, przejdźmy do szczegółów.
Tezos Architektura
Nie potrafisz poprawnie odpowiedzieć na pytanie „czym jest cera?” Łańcuch blokowy Tezos wykorzystuje agonistyczne, natywne oprogramowanie pośredniczące zwane „Network Shell”. Pozwala im to na rozwinięcie modularnego stylu z samobudującą się księgą. Ogólny protokół łańcucha blokowego jest podzielony na trzy warstwy:
- Protokół sieciowy: Jest to protokół plotkarski, który jest odpowiedzialny za podsłuchiwanie i przesyłanie między węzłami.
- Protokół transakcyjny: Jest to warstwa transakcyjna, która definiuje model księgowy wdrażający łańcuch blokowy.
- Protokół konsensusu: Całkiem oczywiste. Określa to protokół porozumienia, który pomoże naszemu łańcuchowi blokowemu osiągnąć porozumienie w sprawie statusu naszych transakcji.
W Tezos dwa ostatnie protokoły, Transaction and Consensus, są łączone i określane jako Block Chain Protocol. Network Shell pomaga w komunikacji pomiędzy protokołem sieciowym a protokołem blokującym. Shell sieciowy jest agnostyczny w stosunku do protokołów transakcyjnych i konsensualnych.
Oba konta Tezosa
Dwa rodzaje kont, z których możesz korzystać w Tezos to
- Rachunki dorozumiane.
- Pochodzące z kont.
Rachunki dorozumiane
To są najczęstsze konta w Tezos. Zaczynają się od tz1 (ex: tz1cJywnhho2iGwfrs5gHCQs7stAVFMnRHc1). Jest to proste konto, które jest generowane z pary kluczy publicznych/prywatnych. Nagłośnienie tz1 pochodzi z klucza publicznego i każde konto tz1 ma swój własny klucz prywatny. Rachunki te mają posiadacza i stan konta.
Rachunki ukryte nie mogą mieć delegata. Aby przekazać środki, muszą one zostać przelane na rachunek rodzimy, a następnie należy ustanowić osobę przekazującą środki.
Pochodzące rachunki
Wraz z kontami dorozumianymi posiadasz również konta dla swoich inteligentnych umów, które są nazywane kontami oryginalnymi. Zaczynają się one od KT1 (np. KT1Wv8Ted4b6raZDMoepkCPT8MkNFxyT2Ddo). Konta te posiadają następujące pola:
- Manager – To jest klucz prywatny konta
- Kwota – Tz kwota na tym rachunku
- Przekazane – Jeśli środki na tym rachunku mogą być przekazane do pieczenia
- Pola delegowane – informacje o tym, komu delegowano to konto wypiekowe.
Zainicjowane konto może przekazać swoje środki na domyślne konto piekarza. Porozmawiamy o piekarzach później.
Tezos ma trzy wyjątkowe możliwości:
- Zarządzanie w łańcuchu i samokorekta.
- Mechanizm płynnego potwierdzania konsensusu
- Inteligentne umowy z formalną weryfikacją.
Przejrzyjmy każdy z nich jeden po drugim.
Zarządzanie w łańcuchu i samokorekta
Aby zrozumieć znaczenie zarządzania łańcuchem i samoreformowania się, należy najpierw zrozumieć słowo „F” w kryptograficznej społeczności, widelce.
Widelec jest warunkiem, przez który stan łańcucha bloków różni się w łańcuchach, w których jedna część sieci ma inne spojrzenie na historię transakcji niż inna część sieci. To jest w zasadzie to, co jest widelcem, to jest rozbieżność w perspektywie stanu łańcucha blokowego. Widelec można uzyskać za pomocą miękkiego widelca lub widelca twardego.
Co to jest miękki widelec?
Zawsze, gdy trzeba zaktualizować łańcuch, można to zrobić na dwa sposoby: miękkim widelcem lub twardym widelcem. Pomyśl o soft widelcu jako o aktualizacji oprogramowania, która jest kompatybilna ze starszymi wersjami. Co to oznacza? Załóżmy, że uruchamiasz MS Excel 2005 na swoim laptopie i chcesz otworzyć arkusz kalkulacyjny zbudowany w MS Excel 2015, nadal możesz go otworzyć, ponieważ MS Excel 2015 jest kompatybilny ze starszymi wersjami.
Ale po tym, jak powiedziałem, że jest różnica. Wszystkie aktualizacje, którymi możesz się cieszyć w nowej wersji, nie będą dla Ciebie widoczne w poprzedniej wersji. Wracając do naszej analogii z MS Excel, załóżmy, że istnieje funkcja, która pozwala na umieszczenie GIF-ów w arkuszu kalkulacyjnym w wersji 2015, nie zobaczysz tych GIF-ów w wersji 2005. Więc w zasadzie, zobaczysz cały tekst, ale nie GIF.
Co to jest twardy widelec?
Główna różnica pomiędzy widelcem miękkim a twardym polega na tym, że nie jest on kompatybilny z poprzednią wersją. Kiedy już go użyjesz, nie ma już odwrotu. Jeśli nie dołączysz do zaktualizowanej wersji łańcucha blokady, nie będziesz miał dostępu do żadnej z nowych aktualizacji ani możliwości interakcji z użytkownikami nowego systemu. Pomyśl o PlayStation 3 i PlayStation 4. Nie możesz grać w gry na PS3 na PS4 i nie możesz grać w gry na PS4 na PS3.
Andreas Antonopoulos opisuje różnicę między twardym widelcem a miękkim widelcem w ten sposób: Gdyby restauracja wegetariańska zdecydowała się dodać wieprzowinę do swojego menu, zostałaby ona uznana za trudny widelec. Jeśli zdecydują się dodać dania wegetariańskie, każdy kto jest wegetarianinem może jeść po wegetariańsku, nie trzeba być wegetarianinem aby tam jeść, można być wegetarianinem aby tam jeść i mięsożercy też mogą tam jeść, więc to jest miękki widelec.
Jedna rzecz powinna być tu jasna. Widelce nie są złe. Wysokiej jakości platforma musi być stale rozwijana i aktualizowana. Aby to zrobić, konieczne jest, aby system przechodził przez stałe, twarde i miękkie widelce. Główny problem leży w kontrowersyjnych widelcach, które dzielą wspólnotę.
Najbardziej oczywistym tego przykładem są wszystkie twarde widelce, przez które przeszły Bitcoin i Bitcoin Cash. Bitcoin został podzielony na Bitcoin i Bitcoin Cash, natomiast Bitcoin Cash został później podzielony na Bitcoin Cash i Bitcoin SV. Podział na Bitcoin Cash i Bitcoin SV był szczególnie brzydki. Wywołało to tak zwane „wojny haszowe”.
Wojny haszowe były w zasadzie tymi dwoma łańcuchami wykorzystującymi swoją moc haszyszową do wydobycia najdłuższego łańcucha. Ten z dłuższym łańcuchem podobno staje się dominującym łańcuchem Bitcoin Cash. Ta niepotrzebna postawa zatopiła całą społeczność kryptograficzną, ponieważ cały rynek stracił na wartości. Co gorsza, podzieliło to społeczność Bitcoinów Cashów na dwie części.
To jest dokładnie to, czego Tezos chciał uniknąć.
Jak mówi Kathleen Breitman: „Wielką ironią bitcoinu jest to, że jest on ostatecznie narzędziem konsensusu społecznego, ale jest [skażony] ogromną ilością animozji. Tezos pozwala, by innowacje pojawiały się w sposób usystematyzowany, w przeciwieństwie do tych, które rodzą się z polityki. Nie znajdziesz dwóch ludzi, którzy nienawidzą polityki bardziej niż Artur i ja. Taka jest idea Tezosa: sformalizować ten niezwykle nieformalny proces.
Jak Tezos to łagodzi?
Tezos łagodzi kontrowersyjne rozwarstwienia poprzez samoregulację i zarządzanie łańcuchem. Samoreformacja pomaga usprawnić łańcuch blokowania bez konieczności przechodzenia przez twardy widelec. Zarządzanie łańcuchem oznacza po prostu głosowanie na platformie w sprawie proponowanej zmiany. Dzięki połączeniu zarządzania łańcuchem i samoreformowania się, proces głosowania może być w razie potrzeby modyfikowany, nazywany również zmianą. Za głosowanie odpowiedzialni są uczestnicy systemu (omówieni poniżej). Konstrukcja tego systemu pozwala na płynną ewolucję łańcucha blokującego bez konieczności stosowania sztywnego widelca.
Okej, więc jak to dokładnie działa?
- Deweloperzy samodzielnie składają propozycje aktualizacji protokołów i żądają wynagrodzenia za swoją pracę.
- Wniosek o rekompensatę zapewnia deweloperom silną motywację ekonomiczną do wniesienia wkładu w ekosystem.
- Wniosek przechodzi okres testowy, w którym społeczność testuje protokół i krytykuje go za ewentualne ulepszenia.
- Po wielokrotnych testach, posiadacze żetonów Tezos mogą głosować nad tym, czy wniosek powinien zostać zatwierdzony, czy też nie.
Po podjęciu decyzji o legalnej aktualizacji, w protokole następuje „hot swap”, który inicjuje nową wersję protokołu.
Dzięki temu systemowi, protokół jest aktualizowany w sposób pasywny i zdecentralizowany. Każda aktualizacja protokołu przechodzi przez wiele okresów testowych i otrzymuje odpowiednią informację zwrotną od społeczności. Gwarantuje to, że wszelkie wprowadzane ulepszenia będą miały pieczęć zatwierdzenia przez większość społeczności. Zapobiega to możliwości podzielenia społeczności twardym widelcem.
Test stosu cieczy
1
Mechanizm konsensusu jest sercem i duszą zdecentralizowanej sieci. Nie ma sensu łączyć wielu węzłów za pomocą sieci rozległej, jeśli nie ma konkretnych metod komunikacji między nimi i podejmowania decyzji. Kiedy Satoshi Nakamoto stworzył Bitcoina, włączył do niego mechanizm konsensusu w sprawie testu pracy. Idea PWM jest dość prosta:
- Niech górnicy używają swoich mocy komputerowych do rozwiązywania kryptograficznie trudnych zagadek.
- Nagradzać górników, którzy potrafili rozwiązać te zagadki.
- To takie proste. Te łamigłówki są tak trudne, że zazwyczaj zabierają dużo mocy komputera. Chociaż P.O.W. był zdecydowanie skuteczny, kiedy zaczynał, ma wiele problemów:
Przede wszystkim przejazd próbny jest niezwykle nieefektywnym procesem ze względu na dużą ilość zużywanej przez niego energii i mocy.
Osoby i organizacje, które mogą sobie pozwolić na szybsze i potężniejsze ASIC, są zazwyczaj bardziej skłonne do angażowania się w wydobycie niż inne.
Jeniec wojenny prowadzi do centralizacji.
Aby przeciwdziałać problemom jeńców wojennych, stworzono nowy protokół porozumienia zwany „Testem Uczestnictwa” lub POS.
Co to jest Test Uczestnictwa?
Test Partycypacyjny sprawi, że cały proces wydobywczy stanie się wirtualny i zastąpi górników walidatorami.
Tak właśnie będzie przebiegał ten proces:
- Walidatorzy będą musieli zapisać część swoich monet jako zakład.
- Potem zaczną zatwierdzać bloki. Oznacza to, że kiedy odkryją blok, który ich zdaniem można dodać do łańcucha, zatwierdzają go poprzez postawienie zakładu na niego.
- Jeśli blok zostanie dodany, walidatorzy otrzymają nagrodę proporcjonalną do ich zakładów.
Może to jednak stanowić problem, ponieważ nadal obejmuje całą społeczność i może nie być najbardziej skalowalną metodą. Dlatego też wiele nowoczesnych łańcuchów blokowych, takich jak EOS, Cardano, Lisk, NEO, itp. jest budowanych z wykorzystaniem protokołu delegowanego. EOS i Lisk używają protokołu testu uczestnictwa delegowanego, w którym określona liczba delegatów jest wybierana z góry. Delegaci ci są odpowiedzialni za konsensus i ogólne dobro sieci.
Mechanizm zgody Tezosa jest podobny do tego, ale z niewielką różnicą. Tezos włącza do swojego konsensusu model płynnej demokracji zamiast delegacji hardcorowej.
Jak działa płynna demokracja?
Jest to system, który płynnie przechodzi od demokracji bezpośredniej do demokracji przedstawicielskiej.
Proces ten ma następujące cechy:
- Ludzie mogą bezpośrednio głosować nad swoją polityką.
- Ludzie mogą przekazać swoje obowiązki związane z głosowaniem delegatowi, który może głosować na ich politykę.
- Sami delegaci mogą przekazać swoje obowiązki związane z głosowaniem innemu delegatowi, który może głosować w ich imieniu. Ta właściwość, gdzie delegat może nazwać własnego delegata, nazywana jest tranzytem.
Jeśli osobie, która delegowała swój głos, nie podoba się głos, który wybrali jej delegaci, może ona po prostu odzyskać swój głos i sama zagłosować nad polityką.
Jakie są więc zalety płynnej demokracji?
- Opinia każdego z osobna liczy się i odgrywa ważną rolę w tworzeniu ostatecznej polityki.
- Aby zostać delegatem, trzeba tylko zdobyć zaufanie danej osoby. Nie musisz wydawać milionów dolarów na drogie kampanie wyborcze. Z tego powodu bariera wejścia jest stosunkowo niska.
- Ze względu na wybór między demokracją bezpośrednią a delegowaną, grupy mniejszościowe mogą być bardziej sprawiedliwie reprezentowane.
Wreszcie, ma skalowalny model. Każdy, kto nie ma czasu na głosowanie nad swoją polityką, może po prostu delegować swoje obowiązki związane z głosowaniem.
Co to jest test na ciekłą stawkę?
W przeciwieństwie do DPoS (Testu Uczestnictwa Uczestników), nie ma twardej i szybkiej reguły, że należy wybierać delegatów. To od uczestnika zależy, co chce zrobić. Dobra, zacznijmy od LPoS.
Tezos jest płynnym dowodem na to, że system bukmacherski wymaga postawienia określonej liczby żetonów Tezos, aby uczestniczyć w konsensusie dotyczącym łańcucha blokowego. Proces wybijania wiórów tezos (XTZ) nazywany jest pieczeniem.
Posiadacze tokenów, zwani również „piekarzami”, mogą przekazać swoje prawa do walidacji innym posiadaczom tokenów bez przenoszenia własności. W przeciwieństwie do EOS, przekazanie uprawnień jest opcjonalne.
Klocki do pieczenia
Znajdujesz i dodajesz bloki do łańcucha bloków Tezos poprzez proces zwany „pieczeniem”. Tak to działa:
- Piekarzom przysługują prawa blokowe na podstawie ich udziału.
- Każdy blok jest pieczony przez losowego piekarza, a następnie notarialnie przez 32 innych losowych piekarzy.
- Jeśli blok jest gotowy do pracy, to jest on dodawany do łańcucha bloku.
- Udany piekarz otrzymuje nagrodę blokową i może pobierać opłaty transakcyjne za wszystkie transakcje w ramach bloku.
Jak wspomniano powyżej, posiadacze żetonów mają możliwość delegowania swoich praw do pieczenia na innych posiadaczy bez przenoszenia własności żetonów. Po zakończeniu procesu pieczenia, piekarz podzieli się swoją nagrodą z innymi delegatami.
Inteligentne umowy i weryfikacja formalna
Tezos został zakodowany przy użyciu OCaml. Inteligentne kontrakty, które będą realizowane na Tezos, będą tworzone przy użyciu Michelsona. Więc co jest takiego specjalnego w tych językach? Oba okazują się być językami funkcjonalnymi.
Jeśli chodzi o języki, to należą one do dwóch rodzin:
- Konieczna
Obowiązkowe języki programowania
W podejściu imperatywnym, koder musi zapisać wszystkie kroki, które musi podjąć komputer, aby osiągnąć cel. Wszystkie nasze tradycyjne języki programowania, takie jak C++, Java, a nawet Solidity są niezbędnymi językami programowania. Ten rodzaj podejścia do programowania nazywany jest również programowaniem algorytmicznym.
Weźmy przykład, co przez to rozumiemy. Spójrzmy na C++. Załóżmy, że chcemy dodać 5 i 3.
int a = 5;
int b = 3;
int c;
c= a + b;
Tak więc, jak widać, proces dodawania ma wiele kroków i każdy z nich stale zmienia stan programu, ponieważ wszystkie są uruchamiane indywidualnie.
Jeden proces dodawania składał się z czterech kroków i są to następujące kroki
- Zadeklarowanie liczby całkowitej a i przypisanie jej wartości 5.
- Zadeklarowanie liczby całkowitej b i przypisanie jej wartości 3.
- Zgłaszając liczbę całkowitą c.
Dodanie wartości i b i zapisanie ich w c.
Języki programowania funkcjonalnego
Druga rodzina języków programowania to języki funkcjonalne. Ten styl programowania został stworzony w celu zbudowania funkcjonalnego podejścia do rozwiązywania problemów. Ten rodzaj podejścia nazywany jest programowaniem deklaratywnym.
Więc, jak działa programowanie funkcjonalne?
Załóżmy, że istnieje funkcja f(x), której chcemy użyć do obliczenia funkcji g(x), a następnie chcemy użyć jej do pracy z funkcją h(x). Zamiast rozwiązywać je wszystkie w jednej sekwencji, możemy po prostu zgrupować je wszystkie razem w jedną funkcję w taki sposób:
h(g(f(x))
Dzięki temu podejście funkcjonalne jest łatwiejsze do rozumowania matematycznego. Dlatego programy funkcjonalne mają być bezpieczniejszym podejściem do tworzenia inteligentnych umów. Pomaga to również w uproszczeniu formalnej weryfikacji, co oznacza, że łatwiej jest matematycznie wykazać, co program robi i jak działa.
Weźmy z tego prawdziwy przykład i zobaczmy, dlaczego w pewnych warunkach może to być niezwykle krytyczne, a nawet ratujące życie.
Załóżmy, że kodujemy program, który kontroluje ruch lotniczy.
Jak można sobie wyobrazić, kodowanie takiego systemu wymaga dużej precyzji i dokładności. Nie możemy po prostu ślepo zakodować czegoś i mieć nadzieję na najlepsze, gdy w grę wchodzi życie ludzi. W takich sytuacjach potrzebujemy kodu, który można pokazać do pracy z wysokim stopniem pewności matematycznej.
To właśnie dlatego podejście funkcjonalne jest tak pożądane. Dlatego Tezos korzysta z OCaml, a jego inteligentne kontrakty wykorzystują Michelsona.
Poniższa tabela porównuje podejście imperatywne z podejściem funkcjonalnym.
Spójrzmy więc na zalety funkcjonalnego podejścia:
Pomaga to w tworzeniu kodu o wysokim poziomie bezpieczeństwa, ponieważ łatwiej jest przetestować, jak kod będzie zachowywał się matematycznie.
Zwiększa to czytelność i łatwość konserwacji, ponieważ każda funkcja jest zaprojektowana do wykonania określonego zadania. Funkcje są również niezależne od państwa.
Kod jest łatwiejszy do złamania i wszelkie zmiany w kodzie są łatwiejsze do wdrożenia. Ułatwia to powtarzalny rozwój.
Poszczególne funkcje mogą być łatwo odizolowane, co ułatwia ich testowanie i usuwanie błędów.
Więcej o Michelsonie
Michelson jest językiem mocno pisanym na maszynie, opartym na stosie.
W Ethereum inteligentne umowy są zapisywane w Solid lub Viper i kompilowane do kodu bajtowego EVM, który następnie uruchamia się w wirtualnej maszynie Ethereum (EVM). W Tezos nie ma zbędnych dodatkowych kroków, a własny kod Michelsona działa w wirtualnej maszynie Tezos.
Jaka jest zaleta tego podejścia? Może być łatwo odczytywany przez ludzi, co pomoże zbudować testy korekcyjne i uniknąć błędów.
Wniosek
Więc, proszę bardzo. Tezos to niezwykle intrygujący projekt, który niestety został przyćmiony przez wszystkie zakulisowe dramaty. Projekt ten zasługuje na dalszą analizę, ponieważ wnosi do przestrzeni łańcucha blokowego pewną ciekawą użyteczność. Teraz musimy poczekać i dowiedzieć się, czy są w stanie uzasadnić szum, jaki wytworzyli po swoim ICO.
Jeśli chcesz otrzymać Tezos w najlepszej cenie, możesz go znaleźć klikając tuż poniżej.
