テゾスとは? 究極のガイドを読む必要があります

Rajarshi Mitra

4 months ago
 テゾスとは? 究極のガイドを読む必要があります
en flag
zh flag
de flag
ja flag
ko flag
ru flag

Tezosは、記録的なICOで232 百万ドルを集めることによって暗号空間に突入しました。 彼らのICO 以来、舞台裏のドラマやその他の紛争のために、彼らの発売日は常に遅れています。 Tezosは2018 年 9 月に正式に発売され、今ではこのエキサイティングなプロジェクトを検討する良い時期です。 テゾスとは?

Tezosのウェブサイトによると、「Tezosは真のデジタル連邦を確立することによって支配する新しい分散型ブロックチェーンです。」

コモンウェルスは、共通の目標と利益のために一緒にリンクすることを選択したグループです。 Tezosの主な目的は、トークン所有者が協働して、時間の経過とともにプロトコルを改善する決定を下すことです。 ネイティブの Tezos トークンは XTZ です。

Tezosにはユニークな機能がたくさんあります。 これらについては、ガイドの後半で説明します。 ここでは、プロジェクトの背景を少し説明しましょう。

テゾスの簡単な歴史

共同設立者であるアーサー・ブライトマンとキャスリーン・ブライトマンは、2014 年からテゾスを開発し、デベロッパーのコアグループと共に開発しています。 同社はスイスに本社を置いています。 すでに述べたように、彼らはビットコインとエーテルの両方の貢献を受け入れて、わずか2 週間で232 百万ドルを調達しました。 彼らの歴史的なICOの直後、Tezosは最初に多くの管理上の問題に頭を上げました。 これらの管理上の問題を理解するには、Tezosの創設会社がDLS(動的元帳ソリューション)と命名され、ICO 中に収集されたすべての資金を保有する会社が「Tezos 財団」と命名されていることを知る必要があります。

アーサーとキャスリーン・ブライトマンは、テゾス財団の会長であるヨハン・ゲヴァースと公衆の争いになりました。 どうやら、資金を管理していたゲヴァースは、ブライトマンズに資金を支払うことを拒否しました。 この紛争は、コミュニティ内の騒乱につながり、推定為替レートは急落した。 ブライトマンズは、「自己取引、自己宣伝、利益相反」のような言葉を含むGeversに関する傷跡の声明を発表しました。

最終的に、多くのドラマと望ましくないメディアの注目の後、Geversは退職で40 万ドル以上を受け取った後、会社を去りました。 今、物事は最終的にスムーズに航行しています。 だから、そのノートでは、裸の詳細に入りましょう。

テゾス

「テゾとは何ですか?」という質問に正しく答えられません。 Tezosブロックチェーンは、「ネットワークシェル」と呼ばれるアゴニティックなネイティブミドルウェアを使用しています。 これにより、自己改正元帳を備えたモジュラースタイルを開発することができます。 一般的なブロックチェーンプロトコルは3つの層に分かれています。

ネットワークプロトコル:これは、ノード間のピアリスニングとブロードキャストを担当するゴシッププロトコルです。

トランザクションプロトコル:これは、ブロックチェーンによって実装される会計モデルを定義したトランザクションレイヤーです。

コンセンサス・プロトコル:かなり自明です。 これは、ブロックチェーンが取引の状態に関する合意に達するのを助けるコンセンサスプロトコルを定義します。

Tezosでは、最後の2つのプロトコル、トランザクションとコンセンサスが組み合わされ、ブロックチェーンプロトコルと呼ばれます。 ネットワークシェルは、ネットワークプロトコルとブロックチェーンプロトコル間の通信を支援します。 ネットワークシェルは、トランザクションプロトコルとコンセンサスプロトコルに依存しません。

テゾスの二つのアカウント

Tezos で使用できるアカウントには、次の 2 種類があります。

暗黙的な勘定科目。

元のアカウント。

暗黙的な勘定科目

これらはTezosで最も一般的なアカウントです。 これらは、tz1 から始まります (例: tz1)。 これは、公開鍵と秘密鍵のペアから生成される単純なアカウントです。 tz1 パブリックアドレスは公開キーから派生し、各 tz1 アカウントには独自のプライベートキーがあります。 これらのアカウントには、アカウント所有者とアカウント残高があります。

暗黙的なアカウントには代理人を持つことはできません。 資金を委任するには、資金を元の口座に振り込み、代理人を設定する必要があります。

元のアカウント

暗黙的なアカウントと一緒に、あなたのスマートコントラクトのアカウントも持っています。これは、元のアカウントと呼ばれます。 これらは、KT1で始まります (例: KT1Wv8Ted4b6raZDMoepkCPT8MkNFxyT2Dド). これらのアカウントには、次のフィールドがあります。

Manager-これはアカウントの秘密キーです。

金額-この勘定科目のTzの金額

委任可能-このアカウントの資金をベーキングのために委任できる場合

委任フィールド-このアカウントがベーキング用に委任された人に関する情報。

元の口座は、その資金をパン屋の暗黙の口座に委譲することができます。 私たちは後でパン屋についてもっと話します.

Tezosには、次の3つのユニークな機能があります。

オンチェーンガバナンスと自己改正。

液体ステーク証明コンセンサスメカニズム

正式な検証を伴うスマートな契約。

のは、それらのそれぞれを一つずつ見ていきましょう。

オンチェーン・ガバナンスと自己修復機能

オンチェーンガバナンスと自己改正の重要性を理解するには、まず暗号コミュニティ、フォークの「F-word」を理解する必要があります。

フォークは、ブロックチェーンの状態が、ネットワークの一部がトランザクションの履歴に関してネットワークの異なる部分とは異なる視点を持つチェーンに分岐する状態です。 それは基本的にフォークであり、ブロックチェーンの状態の観点からの発散です。 フォークは、ソフトフォークまたはハードフォークによって達成することができる。

ソフトフォークとは?

チェーンを更新する必要があるときはいつでも、ソフトフォークとハードフォークの2つの方法があります。 ソフトフォークは、下位互換性のあるソフトウェアの更新と考えてください。 どういう意味だ? あなたのラップトップでMS Excel 2005を実行していて、MS Excel 2015で構築されたスプレッドシートを開きたいとします。MS Excel 2015は下位互換性があるため、まだそれを開くことができます。

しかし、違いがあると言った。 新しいバージョンで楽しむことができるすべての更新プログラムは、古いバージョンでは表示されません。 私たちのMSエクセルアナロジーに戻って、2015 年のバージョンでスプレッドシートにGIFを入れることができる機能があると仮定すると、2005 年のバージョンではこれらのGIFは表示されません。 基本的には、すべてのテキストが表示されますが、GIFは表示されません。

ハードフォークとは何ですか?

ソフトフォークとハードフォークの主な違いは、下位互換性がないことです。 一度それが利用されると、絶対に戻ることはありません。 アップグレードされたバージョンのブロックチェーンに参加しないと、新しいアップデートにアクセスしたり、新しいシステムのユーザーと対話したりすることはできません。 プレイステーション3とプレイステーション4を考えてみましょう。 PS4でPS3ゲームをプレイすることはできませんし、PS3でPS4ゲームをプレイすることはできません。

What is Tezos? The Ultimate Guide

Andreas Antonopoulosは、このようなハードフォークとソフトフォークの違いを説明します。ベジタリアンのレストランがメニューに豚肉を追加することを選択した場合、ハードフォークと見なされます。ビーガン料理を追加することを決めた場合、ベジタリアンであるすべての人はまだビーガンを食べることができますが、ビーガンである必要はありません。 そこに食べる、あなたはまだそこに食べるために菜食主義者であることができ、肉を食べる人もそこに食べることができますので、それは柔らかいフォークです。

ここで一つのことは明らかになるはずです。 フォークは悪いことではありません。 高品質のプラットフォームは常に進化し、それ自体を更新する必要があります。 これを行うには、システムが硬くて柔らかい一定のフォークを通過することが絶対に必要です。 主な問題は、コミュニティを分割する論争のハードフォークにあります。

この最も明白な例は、BitcoinとBitcoin Cashが通過したすべてのハードフォークです。 ビットコイン現金は、それ自体が後でビットコイン現金とビットコインSVに分割されながら、ビットコインは、ビットコインとビットコイン現金に分割されました. ビットコインキャッシュとビットコインSVの分割は、特に醜いです. これは、いわゆる「ハッシュ戦争」を呼び起こしました。

ハッシュ戦争は、基本的に最長のチェーンを採掘するためにハッシュパワーを使用してこれらの2つのチェーンでした。 最も長いチェーンを持つチェーンは、おそらく支配的なBitcoin Cashチェーンになります。 この不必要な姿勢は、市場全体が価値を低下させたため、暗号コミュニティ全体を急落させました。 さらに悪いことに、Bitcoin Cashコミュニティを2つに分割しました。

これはまさにTezosが避けたいものです。

キャスリーン・ブライトマンが述べているように、「ビットコインの偉大な皮肉は、それが最終的にコミュニティのコンセンサスのためのツールだということですが、それは膨大な量の敵意に苦しんでいます。 Tezosは、政治から生まれた人とは対照的に、体系化された方法で革新を起こすことができます。 アーサーと私より政治的な嫌悪感を抱く二人は見つけられません。 これがTezosの背後にある考え方です。この非常に非公式なプロセスを正式化しましょう。」

Tezosはどのようにこれを軽減しますか?

Tezosは自己改正とオンチェーンガバナンスを通じて、競合するハードフォークを軽減します。 自己修正は、ハードフォークを受けることなくブロックチェーンをアップグレードするのに役立ちます。 オンチェーン・ガバナンスは、単に修正案に基づいてプラットフォームに投票することを意味します。 オンチェーンガバナンスと自己改正イベントの組み合わせにより、投票プロセスは必要に応じて改正することができます。 システムの利害関係者(後で話します)が投票を行います。 このシステムの設計は、ハードフォークではなく、ブロックチェーンのスムーズな進化を可能にします。

では、これはどのように正確に機能しますか?

開発者は、プロトコルアップグレードの提案を独立して提出し、作業に対する報酬を要求します。

補償の要求は、開発者が生態系に貢献するための強力な経済的インセンティブを持っていることを確認します

この提案は、コミュニティがプロトコルをテストし、可能な改善のためにそれを批判するテスト期間を経ます。

テストを繰り返した後、Tezosトークン所有者は、提案が承認されるべきかどうかについて投票することができます。

正当なアップグレードが決定されると、プロトコル上で「ホットスワップ」が発生し、新しいバージョンのプロトコルが開始されます。

このシステムのために、プロトコルは分散型の方法で受動的にアップグレードされます。 各プロトコルのアップグレードは、複数のテスト期間を経て、コミュニティから関連するフィードバックを受け取ります。 これにより、どのような改善が起こっても、コミュニティの大多数からの承認が得られます。 これにより、コミュニティ分割ハードフォークが発生する可能性を防ぐことができます。

ステークの液体プルーフ

コンセンサスメカニズムは、分散型ネットワークの心と魂です。 相互に通信して決定を下す具体的な方法がない場合、広域ネットワーク上で複数のノードを接続する意味はありません。 中本聡がBitcoinを作成したとき、彼はそれに作業証明のコンセンサスメカニズムを統合しました。 POWメカニズムのアイデアは非常に簡単です:

鉱夫に計算力を使って暗号的に難しいパズルを解くようにしましょう。

これらのパズルを解くことができた鉱夫に報酬を与えます。

それはそれと同じくらい簡単です。 これらのパズルは、それは通常、あなたの計算能力の多くを占めるほど難しいです。 POWが始まったときには間違いなく効果的でしたが、多くの問題があります。

まず第一に、仕事の証明は、それが食べる膨大な量の電力とエネルギーのために非常に非効率的なプロセスです。

より速く、より強力なASICを手に入れることができる人や組織は、通常、他のものよりも鉱業の可能性が高くなります。

POWは集中化につながります。

POWの問題に対抗するために、「ステークの証明」またはPOSと呼ばれる新しいコンセンサスプロトコルが作成されました。

ステークの証明とは何ですか?

ステークの証明は、鉱業プロセス全体を仮想にし、鉱夫をバリデータに置き換えます。

これはプロセスの仕組みです:

バリデータは、彼らのコインの一部をステークとしてロックアップする必要があります。

その後、ブロックの検証を開始します。 つまり、彼らはチェーンに追加できると思うブロックを発見したとき、彼らはそれにベットを置くことによってそれを検証します。

ブロックが追加された場合、バリデータは彼らのベットに比例した報酬を得るでしょう。

しかし、これは依然としてコミュニティ全体を含み、最も拡張性の高いメソッドではないため、問題になる可能性があります。 このため、EOS、Cardano、Lisk、NEOなどの多くの最新のブロックチェーンが委任されたプロトコルを使用して構築されています。 EOSとLiskは、一定量の代理人が事前に選出される委任証明プロトコルを使用します。 これらの代理人は、コンセンサスと一般的なネットワークの幸福を担当するものです。

Tezosのコンセンサスメカニズムはこれに似ていますが、少し違いがあります。 ハードコア代表団の代わりに、Tezosはそのコンセンサスに液体民主主義モデルを組み込んでいます。

液体民主主義はどのように機能しますか?

What is Tezos? The Ultimate Guide

直接的な民主主義と代表的な民主主義の間を流動的に移行する制度です。

このプロセスには次の機能があります。

人々は自分のポリシーに直接投票することができます。

ユーザーは、自分のポリシーに投票できる代理人に議決権を委任できます。

代理人自身は、自分の代わりに投票できる別の代理人に、自分の議決権を委任することができます。 デリゲートは、独自のデリゲートを任命することができ、このプロパティは、推移性と呼ばれています。

彼らの投票を委任した人は、その代理人が選択した投票が好きではない場合、彼らは単に自分の投票を取り戻し、ポリシー自体に投票することができます。

だから、液体民主主義の利点は何ですか?

個々の人々の意見は、最終的な政策作成に関与し、役割を果たしています。

デリゲートになるためには、人の信頼を勝ち取ることだけです。 彼らは高価な選挙キャンペーンに数百万ドルを費やす必要はありません。 このため、参入障壁は比較的低い。

直接民主主義と委任された民主主義の間で振動するオプションのために、少数派グループはより公平に表現することができます。

最後に、スケーラブルなモデルがあります。 ポリシーに投票する時間がない人は、単に議決権を委任することができます。

ステークの液体プルーフとは何ですか?

DPoS(委任された株式の証明)とは異なり、デリゲートを絶対に選択する必要があるという難しく迅速なルールはありません。 彼らがやりたいことについて、参加者は完全に決まります。 それでは、LPoS について始めましょう。

Tezosは、ブロックチェーンのコンセンサスに参加するために、特定の数のTezosトークンを賭ける必要があるステークシステムの液体の証拠です。 Tezosトークン(XTZ)を賭ける過程をベーキングと呼びます。

トークン保有者は、所有権を譲渡することなく、検証権を他のトークン保有者に委任することができます。 EOS とは異なり、委任はオプションです。

ベーキングブロック

「ベーキング」と呼ばれるプロセスを通じて、Tezosブロックチェーンにブロックを見つけて追加します。 これが動作する方法です:

パン屋は、株式に基づいてブロック公開権を取得します。

各ブロックは、ランダムなパン屋によって焼き付けられ、その後、32 他のランダムなパン屋によって公証されます。

ブロックが良好であれば、ブロックはブロックチェーンに追加されます。

成功したパン屋は、ブロック報酬を取得し、ブロック内のすべての取引のための取引手数料を請求することができます。

前に述べたように、トークン所有者は、トークンの所有権を放棄することなく、ベーキング権を他の所有者に委任するオプションを持っています。 ベーキングプロセスが完了すると、パン屋は残りの代表者と報酬を共有します。

スマート契約と正式な検証

Tezos は OCaml を使用してコード化されています。 Tezosで実行されるスマートコントラクトは、Michelsonを使用して作成されます。 では、これらの言語について何が特別ですか? どちらも関数型言語です。

言語に関しては、2つの家族に属します。

命令型

機能的。

命令型プログラミング言語

命令的なアプローチでは、コーダは、コンピュータが目標を達成するために必要なすべてのステップを置く必要があります。 C + +、Java、さらにはSolidityのような従来のプログラミング言語はすべて命令型プログラミング言語です。 プログラミングアプローチのこの種は、アルゴリズムプログラミングとも呼ばれます。

それでは、我々がそれによって何を意味するのかの例を見てみましょう。 C + + を見てみましょう。 5と3を追加するとします。

int 型 a = 5;

整数 b = 3;

int 型 c;

C = A + B;

したがって、ご覧のように、加算プロセスは複数のステップを引き継ぎ、各ステップは常にプログラムの状態を変えています。

追加プロセスには 4 つのステップが必要で、手順は次のとおりです。

整数 aを宣言し、それに値 5を代入する。

整数 bを宣言し、それに値 3を代入する。

整数 cを宣言します。

と b の値を追加し、c に格納します。

関数型プログラミング言語

プログラミング言語の第 2のファミリは関数型言語です。 このスタイルのプログラミングは、問題解決への機能的なアプローチを構築するために作成されました。 この種のアプローチを宣言型プログラミングと呼びます。

では、関数型プログラミングはどのように機能しますか?

我々は関数 g(x)を計算するために使用したい関数 f(x)があり、その後、我々は関数 h(x)で動作するようにそれを使用したいとします。 これらのすべてを順番に解決する代わりに、次のような単一の機能でそれらのすべてを一緒にクラブすることができます。

h (g (f (x)))

これにより、機能的なアプローチが数学的に推論しやすくなります。 これは、機能的なプログラムがスマートな契約作成のためのより安全なアプローチであると考えられる理由です。 これはまた、単純な正式な検証を支援します。これは、プログラムが何をしているのか、それがどのように機能するかを数学的に証明する方が簡単であることを意味します。

のは、この実際の生活の例を見て、それが特定の条件で非常に重要な、さらには命を救うことができる理由を見てみましょう。

航空交通を制御するプログラムをコーディングしているとします。

ご想像のとおり、このようなシステムをコーディングするには、高度な精度と精度が必要です。 私たちは盲目的に何かをコーディングすることはできず、人々の生活が危険にさらされている時に最善を尽くすことを望んでいます。 このような状況では、我々は数学的な確実性の高度に動作することが証明できるコードが必要です。

これは、機能的なアプローチが非常に望ましい理由です。 これが、TezosがOCamlを使用しており、スマートコントラクトがMichelsonを使用している理由です。

次の表は、命令型アプローチと機能型アプローチを比較しています。

What is Tezos? The Ultimate Guide

イメージクレジット: ドキュメント.マイクロソフト.com

それでは、機能的なアプローチの利点を見てみましょう。

コードが数学的にどのように動作するかを証明する方が簡単であるため、高い保証コードを作成するのに役立ちます。

各機能は特定のタスクを達成するように設計されているため、可読性と保守性が向上します。 関数は状態に依存しません。

コードは屈折しやすくなり、コード内の変更は実装が簡単です。 これにより、繰り返し開発が容易になります。

個々の機能を簡単に分離できるため、テストやデバッグが容易になります。

マイケルソンの詳細

Michelsonは、厳密に型付けされたスタックベースの言語です。

Ethereumでは、スマートコントラクトはSolidityまたはViperで書かれ、EVMバイトコードにコンパイルされ、Ethereum 仮想マシン(EVM)で実行されます。 Tezosでは、不必要な余分なステップはなく、Michelsonコード自体はTezos VMで実行されます。

このアプローチの利点は何ですか? これは、正確さの証明を構築するのに役立ち、バグを避けるのに役立つ人間によって簡単に読むことができます。

マイケルソン契約の例を以下に示します。

パラメータ(ペア(ラムダ整数)(リストint)));

戻り値(リストint);

ストレージユニット;

コード {DIP {NIL int};

車;

DUP;

DIP {CAR; ペア}; # データを解凍してアキュムレータをセットアップする

CDR;

ラムダ (ペア int (ペア (ラムダ int)) (リスト int)))

(ペア(ラムダ整数)(リストint)))

# ラムダを適用し、新しい要素をリストに追加する

{DUP; CDAR;

ディップ {DUP; ディップ {CDAR}; ディップ;

車; ディップ {CDDR; スワップ}; エグゼクティブ; 短所};

ペア};

削減; CDR; ディップ {NIL int}; # 最初に減らす

ランプダ (ペア int (リスト int))

(リスト int)

{DUP; 車; ディップ {CDR}; 短所};

削減; # 正しいリストの順序

ユニット; スワップ; ペア} # 呼び出し規約

結論

だから、あなたはそれを持っています。 Tezosは非常に興味深いプロジェクトであり、残念ながら舞台裏のドラマに影を落としました。 このプロジェクトは、ブロックチェーン空間に興味深いユーティリティをもたらしているので、より詳細な分析に値します。 今、私たちは待って、ICO 後に生成された誇大宣伝を正当化できるかどうかを調べる必要があります。

Tezosは、記録的なICOで232 百万ドルを集めることによって暗号空間に突入しました。 彼らのICO 以来、舞台裏のドラマやその他の紛争のために、彼らの発売日は常に遅れています。 Tezosは2018 年 9 月に正式に発売され、今ではこのエキサイティングなプロジェクトを検討する良い時期です。 テゾスとは? Tezosのウェブサイトによると、「Tezosは真のデジタル連邦を確立することによって支配する新しい分散型ブロックチェーンです。」 コモンウェルスは、共通の目標と利益のために一緒にリンクすることを選択したグループです。 Tezosの主な目的は、トークン所有者が協働して、時間の経過とともにプロトコルを改善する決定を下すことです。 ネイティブの Tezos トークンは XTZ です。 Tezosにはユニークな機能がたくさんあります。 これらについては、ガイドの後半で説明します。 ここでは、プロジェクトの背景を少し説明しましょう。 Tezosの簡単な歴史共同創設者、アーサー・ブライトマンとキャスリーン・ブライトマンは、2014 年からTezosの開発に携わってきました。 同社はスイスに本社を置いています。 すでに述べたように、彼らはビットコインとエーテルの両方の貢献を受け入れて、わずか2 週間で232 百万ドルを調達しました。 彼らの歴史的なICOの直後、Tezosは最初に多くの管理上の問題に頭を上げました。 これらの管理上の問題を理解するには、Tezosの創設会社がDLS(動的元帳ソリューション)と命名され、ICO 中に収集されたすべての資金を保有する会社が「Tezos 財団」と命名されていることを知る必要があります。 アーサーとキャスリーン・ブライトマンは、テゾス財団の会長であるヨハン・ゲヴァースと公衆の争いになりました。 どうやら、資金を管理していたゲヴァースは、ブライトマンズに資金を支払うことを拒否しました。 この紛争は、コミュニティ内の騒乱につながり、推定為替レートは急落した。 ブライトマンズは、「自己取引、自己宣伝、利益相反」のような言葉を含むGeversに関する傷跡の声明を発表しました。 最終的に、多くのドラマと望ましくないメディアの注目の後、Geversは退職で40 万ドル以上を受け取った後、会社を去りました。 今、物事は最終的にスムーズに航行しています。 だから、そのノートでは、裸の詳細に入りましょう。 Tezos アーキテクチャ「tezos とは何ですか?」という質問に正しく答えられません。 Tezosブロックチェーンは、「ネットワークシェル」と呼ばれるアゴニティックなネイティブミドルウェアを使用しています。 これにより、自己改正元帳を備えたモジュラースタイルを開発することができます。 一般的なブロックチェーンプロトコルは3つの層に分かれています:ネットワークプロトコル:これは、ノード間のピアリスニングとブロードキャストを担当するゴシッププロトコルです。 トランザクションプロトコル:これは、ブロックチェーンによって実装される会計モデルを定義したトランザクションレイヤーです。 コンセンサス・プロトコル:かなり自明です。 これは、ブロックチェーンが取引の状態に関する合意に達するのを助けるコンセンサスプロトコルを定義します。 Tezosでは、最後の2つのプロトコル、トランザクションとコンセンサスが組み合わされ、ブロックチェーンプロトコルと呼ばれます。 ネットワークシェルは、ネットワークプロトコルとブロックチェーンプロトコル間の通信を支援します。 ネットワークシェルは、トランザクションプロトコルとコンセンサスプロトコルに依存しません。 Tezos の 2 つのアカウント Tezos で使用できるアカウントには、暗黙のアカウントがあります。 元のアカウント。 暗黙的なアカウント Tezos で最も一般的なアカウントです。 これらは、tz1 から始まります (例: tz1)。 これは、公開鍵と秘密鍵のペアから生成される単純なアカウントです。 tz1 パブリックアドレスは公開キーから派生し、各 tz1 アカウントには独自のプライベートキーがあります。 これらのアカウントには、アカウント所有者とアカウント残高があります。 暗黙的なアカウントには代理人を持つことはできません。 資金を委任するには、資金を元の口座に振り込み、代理人を設定する必要があります。 元のアカウント暗黙のアカウントとともに、元のアカウントと呼ばれるスマート契約のアカウントも持っています。 これらは、KT1で始まります (例: KT1Wv8Ted4b6raZDMoepkCPT8MkNFxyT2Dド). これらのアカウントには、次のフィールドがあります。マネージャー-これは、アカウントの金額-金額の秘密キーです。 このアカウントのTz 委任-このアカウントの資金は、デリゲートフィールドをベーキングするために委任できる場合-このアカウントがベーキングのために委任された人に関する情報. 元の口座は、その資金をパン屋の暗黙の口座に委譲することができます。 私たちは後でパン屋についてもっと話します. Tezosには、オンチェーン・ガバナンスと自己改正という3つの独自の機能があります。 液体証明コンセンサスメカニズム正式な検証とスマート契約。 のは、それらのそれぞれを一つずつ見ていきましょう。 オンチェーンガバナンスと自己改正オンチェーンガバナンスと自己改正の重要性を理解するには、まず暗号コミュニティのフォークの「Fワード」を理解する必要があります。 フォークは、ブロックチェーンの状態が、ネットワークの一部がトランザクションの履歴に関してネットワークの異なる部分とは異なる視点を持つチェーンに分岐する状態です。 それは基本的にフォークであり、ブロックチェーンの状態の観点からの発散です。 フォークは、ソフトフォークまたはハードフォークによって達成することができる。 ソフトフォークとは? チェーンを更新する必要があるときはいつでも、ソフトフォークとハードフォークの2つの方法があります。 ソフトフォークは、下位互換性のあるソフトウェアの更新と考えてください。 どういう意味だ? あなたのラップトップでMS Excel 2005を実行していて、MS Excel 2015で構築されたスプレッドシートを開きたいとします。MS Excel 2015は下位互換性があるため、まだそれを開くことができます。 しかし、違いがあると言った。 新しいバージョンで楽しむことができるすべての更新プログラムは、古いバージョンでは表示されません。 私たちのMSエクセルアナロジーに戻って、2015 年のバージョンでスプレッドシートにGIFを入れることができる機能があると仮定すると、2005 年のバージョンではこれらのGIFは表示されません。 基本的には、すべてのテキストが表示されますが、GIFは表示されません。 ハードフォークとは何ですか? ソフトフォークとハードフォークの主な違いは、下位互換性がないことです。 一度それが利用されると、絶対に戻ることはありません。 アップグレードされたバージョンのブロックチェーンに参加しないと、新しいアップデートにアクセスしたり、新しいシステムのユーザーと対話したりすることはできません。 プレイステーション3とプレイステーション4を考えてみましょう。 PS4でPS3ゲームをプレイすることはできませんし、PS3でPS4ゲームをプレイすることはできません。 Andreas Antonopoulosは、このようなハードフォークとソフトフォークの違いを説明します。ベジタリアンのレストランがメニューに豚肉を追加することを選択した場合、ハードフォークと見なされます。ビーガン料理を追加することを決めた場合、ベジタリアンであるすべての人はまだビーガンを食べることができますが、ビーガンである必要はありません。 そこに食べる、あなたはまだそこに食べるために菜食主義者であることができ、肉を食べる人もそこに食べることができますので、それは柔らかいフォークです。 ここで一つのことは明らかになるはずです。 フォークは悪いことではありません。 高品質のプラットフォームは常に進化し、それ自体を更新する必要があります。 これを行うには、システムが硬くて柔らかい一定のフォークを通過することが絶対に必要です。 主な問題は、コミュニティを分割する論争のハードフォークにあります。 この最も明白な例は、BitcoinとBitcoin Cashが通過したすべてのハードフォークです。 ビットコイン現金は、それ自体が後でビットコイン現金とビットコインSVに分割されながら、ビットコインは、ビットコインとビットコイン現金に分割されました. ビットコインキャッシュとビットコインSVの分割は、特に醜いです. これは、いわゆる「ハッシュ戦争」を呼び起こしました。 ハッシュ戦争は、基本的に最長のチェーンを採掘するためにハッシュパワーを使用してこれらの2つのチェーンでした。 最も長いチェーンを持つチェーンは、おそらく支配的なBitcoin Cashチェーンになります。 この不必要な姿勢は、市場全体が価値を低下させたため、暗号コミュニティ全体を急落させました。 さらに悪いことに、Bitcoin Cashコミュニティを2つに分割しました。 これはまさにTezosが避けたいものです。 キャスリーン・ブライトマンが述べているように、「ビットコインの偉大な皮肉は、それが最終的にコミュニティのコンセンサスのためのツールだということですが、それは膨大な量の敵意に苦しんでいます。 Tezosは、政治から生まれた人とは対照的に、体系化された方法で革新を起こすことができます。 アーサーと私より政治的な嫌悪感を抱く二人は見つけられません。 これがTezosの背後にある考え方です。この非常に非公式なプロセスを正式化しましょう。」 Tezos の緩和方法 これ? Tezosは自己改正とオンチェーンガバナンスを通じて、競合するハードフォークを軽減します。 自己修正は、ハードフォークを受けることなくブロックチェーンをアップグレードするのに役立ちます。 オンチェーン・ガバナンスは、単に修正案に基づいてプラットフォームに投票することを意味します。 オンチェーンガバナンスと自己改正イベントの組み合わせにより、投票プロセスは必要に応じて改正することができます。 システムの利害関係者(後で話します)が投票を行います。 このシステムの設計は、ハードフォークではなく、ブロックチェーンのスムーズな進化を可能にします。 では、これはどのように正確に機能しますか? 開発者は、プロトコルアップグレードの提案を独立して提出し、作業に対する報酬を要求します。 補償の要求は、開発者が生態系に貢献するための強力な経済的インセンティブを持っていることを確認します。提案は、コミュニティがプロトコルをテストし、改善の可能性を批判するテスト期間を経ています。 テストを繰り返した後、Tezosトークン所有者は、提案が承認されるべきかどうかについて投票することができます。 正当なアップグレードが決定されると、プロトコル上で「ホットスワップ」が発生し、新しいバージョンのプロトコルが開始されます。 このシステムのために、プロトコルは分散型の方法で受動的にアップグレードされます。 各プロトコルのアップグレードは、複数のテスト期間を経て、コミュニティから関連するフィードバックを受け取ります。 これにより、どのような改善が起こっても、コミュニティの大多数からの承認が得られます。 これにより、コミュニティ分割ハードフォークが発生する可能性を防ぐことができます。 ステークコンセンサスメカニズムの液体証明は、分散型ネットワークの心と魂です。 相互に通信して決定を下す具体的な方法がない場合、広域ネットワーク上で複数のノードを接続する意味はありません。 中本聡がBitcoinを作成したとき、彼はそれに作業証明のコンセンサスメカニズムを統合しました。 POWメカニズムのアイデアは非常に簡単です。鉱夫に計算力を使って暗号的に難しいパズルを解決してもらいます。 これらのパズルを解くことができた鉱夫に報酬を与えます。 それはそれと同じくらい簡単です。 これらのパズルは、それは通常、あなたの計算能力の多くを占めるほど難しいです。 POWが始まったときには間違いなく効果的でしたが、多くの問題があります。まず第一に、仕事の証明は、それが食べる膨大な量の電力とエネルギーのために非常に非効率的なプロセスです。 より速く、より強力なASICを手に入れることができる人や組織は、通常、他のものよりも鉱業の可能性が高くなります。 POWは集中化につながります。 POWの問題に対抗するために、「ステークの証明」またはPOSと呼ばれる新しいコンセンサスプロトコルが作成されました。 ステークの証明とは何ですか? ステークの証明は、鉱業プロセス全体を仮想にし、鉱夫をバリデータに置き換えます。 これはプロセスがどのように機能するかです。バリデーターは、コインのいくつかをステークとしてロックする必要があります。 その後、ブロックの検証を開始します。 つまり、彼らはチェーンに追加できると思うブロックを発見したとき、彼らはそれにベットを置くことによってそれを検証します。 ブロックが追加された場合、バリデータは彼らのベットに比例した報酬を得るでしょう。 しかし、これは依然としてコミュニティ全体を含み、最も拡張性の高いメソッドではないため、問題になる可能性があります。 このため、EOS、Cardano、Lisk、NEOなどの多くの最新のブロックチェーンが委任されたプロトコルを使用して構築されています。 EOSとLiskは、一定量の代理人が事前に選出される委任証明プロトコルを使用します。 これらの代理人は、コンセンサスと一般的なネットワークの幸福を担当するものです。 Tezosのコンセンサスメカニズムはこれに似ていますが、少し違いがあります。 ハードコア代表団の代わりに、Tezosはそのコンセンサスに液体民主主義モデルを組み込んでいます。 液体民主主義はどのように機能しますか? 直接的な民主主義と代表的な民主主義の間を流動的に移行する制度です。 このプロセスには、次の機能があります。人々は自分のポリシーに直接投票できます。 ユーザーは、自分のポリシーに投票できる代理人に議決権を委任できます。 デリゲート自体は、 自分の代わりに投票できる別の代理人に対する議決責任。 デリゲートは、独自のデリゲートを任命することができ、このプロパティは、推移性と呼ばれています。 彼らの投票を委任した人は、その代理人が選択した投票が好きではない場合、彼らは単に自分の投票を取り戻し、ポリシー自体に投票することができます。 だから、液体民主主義の利点は何ですか? 個々の人々の意見は、最終的な政策作成に関与し、役割を果たしています。 デリゲートになるためには、人の信頼を勝ち取ることだけです。 彼らは高価な選挙キャンペーンに数百万ドルを費やす必要はありません。 このため、参入障壁は比較的低い。 直接民主主義と委任された民主主義の間で振動するオプションのために、少数派グループはより公平に表現することができます。 最後に、スケーラブルなモデルがあります。 ポリシーに投票する時間がない人は、単に議決権を委任することができます。 ステークの液体プルーフとは何ですか? DPoS(委任された株式の証明)とは異なり、デリゲートを絶対に選択する必要があるという難しく迅速なルールはありません。 彼らがやりたいことについて、参加者は完全に決まります。 それでは、LPoS について始めましょう。 Tezosは、ブロックチェーンのコンセンサスに参加するために、特定の数のTezosトークンを賭ける必要があるステークシステムの液体の証拠です。 Tezosトークン(XTZ)を賭ける過程をベーキングと呼びます。 トークン保有者は、所有権を譲渡することなく、検証権を他のトークン保有者に委任することができます。 EOS とは異なり、委任はオプションです。 ブロックのベーキング「ベーキング」と呼ばれるプロセスを通じて、Tezos ブロックチェーンにブロックを見つけて追加します。 これは、それがどのように動作するかです:パン屋は、彼らの株式に基づいてブロック出版権を取得します。 各ブロックは、ランダムなパン屋によって焼き付けられ、その後、32 他のランダムなパン屋によって公証されます。 ブロックが良好であれば、ブロックはブロックチェーンに追加されます。 成功したパン屋は、ブロック報酬を取得し、ブロック内のすべての取引のための取引手数料を請求することができます。 前に述べたように、トークン所有者は、トークンの所有権を放棄することなく、ベーキング権を他の所有者に委任するオプションを持っています。 ベーキングプロセスが完了すると、パン屋は残りの代表者と報酬を共有します。 スマート契約と正式な検証 TezosはOCamlを使用してコード化されています。 Tezosで実行されるスマートコントラクトは、Michelsonを使用して作成されます。 では、これらの言語について何が特別ですか? どちらも関数型言語です。 言語に関しては、命令型機能という2つの家族に属します。 命令型プログラミング言語命令型アプローチでは、コーダは、コンピュータが目標を達成するために取る必要があるすべてのステップを置く必要があります。 C + +、Java、さらにはSolidityのような従来のプログラミング言語はすべて命令型プログラミング言語です。 プログラミングアプローチのこの種は、アルゴリズムプログラミングとも呼ばれます。 それでは、我々がそれによって何を意味するのかの例を見てみましょう。 C + + を見てみましょう。 int 型のb = 3; int 型のc; c = a + b; あなたが見ることができるように、加算プロセスは複数のステップを引き継ぎ、各ステップは常にプログラムの状態を変更しています。 加算プロセスは4つのステップを取り、ステップは次のとおりです。整数 aを宣言し、それに値 5を割り当てます。 整数 bを宣言し、それに値 3を代入する。 整数 c を宣言します。および b の値を追加し、c に格納します。関数型プログラミング言語の第 2 ファミリは関数型言語です。 このスタイルのプログラミングは、問題解決への機能的なアプローチを構築するために作成されました。 この種のアプローチを宣言型プログラミングと呼びます。 では、関数型プログラミングはどのように機能しますか? 我々は関数 g(x)を計算するために使用したい関数 f(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 VMで実行されます。 このアプローチの利点は何ですか? これは、正確さの証明を構築するのに役立ち、バグを避けるのに役立つ人間によって簡単に読むことができます。 以下は、マイケルソン契約パラメータ(ペア(ラムダint)(リストint))の例です。戻り値(リストint)); ストレージユニット; コード {DIP {NIL int}; CAR; DUP; DIP {CAR; PAIR}; # アンパックデータとセットアップアキュムレータCDR; ラムダ(ペアint 型(ペアint 型)(リストint 型)))))(ラムバダ(ラムダ int 型) (リストint 型)) # ラムダに新しい要素を追加し、リスト {DUP; CDAR; DIP {CDAR}; DUP; DUP; CAR; DIP {CDDR; スワップ}; EXEC; CONS}; ペア}; 減少; CDR; DIP {NIL int}; # 最初にラムダ(ペアint(リストint))を減らす(リストint){DUP; CAR; IP {CDR}; CONS}; 削減; # リストの正しい順序ユニット; スワップ; ペア} # 呼び出し規約の結論 だから、あなたはそれを持っています。 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