※この内容は、A beginner’s guide to Tezos の内容を弊社が独自に翻訳したものです。
テゾスのウェブサイトによると、テゾスとは真のデジタルコモンウェルスを設立し、自らそのものを統治するための新しい分散型ブロックチェーンです。コモンウェルスとは、（ここでは）共通の目標や興味を持っていると互いに関連付けられたグループの事を言います。テゾスは、トークンの持ち主が一緒に共に意思決定を行い、プラットフォームを管理し、時間をかけて改善していくことを目指しています。この記事は、テゾスがイーサリアムのような他のスマートコントラクトプラットフォームとどのように違うのか、テゾスを初めて利用する人が理解するのに役立つはずです。
ガバナンス
テゾスはイーサリアムと似たスマートコントラクトプラットフォームですが、主な違いの一つとして、テゾスにはオンチェーンガバナンスを通じて時間をかけてプロトコルをアップグレードする過程が組み込まれています。このガバナンスシステムは、ブロックチェーンを対立により2つの別々のバージョンに分割するハードフォークよりも、スムーズな進化を可能にするように設計されています。同チームは、ビットコインとイーサリアムのブロックチェーンが過去に経験したハードフォークは、時間の経過とともにアップグレードするための標準的な方法であるべきではないと考えています。彼らの見解では、ハードフォークは最後の手段としてのみ行われるべきであり、各グループがプロトコルの進化をどのように想定しているのかについての意見の相違により、コミュニティが2つに分裂する必要がある場合にのみ行われるべきであるとしています。
テゾスでは、開発者は独立してプロトコルをアップグレードするための提案を提出することができ、その中には（提案内容についての）作業に対する報酬の請求も含まれています。テゾストークンの保有者は、その提案が承認されるべきかどうかを投票することができます。この報酬体系を追加することで、開発者が無償で仕事をしたり、寄付に頼ったり、中央集権的な実体のスポンサーになったりするのではなく、テゾスの改良を継続する動機を提供しています。この革新的な仕組みは、長期的にプロトコルに貢献する独立した開発者を テゾスが支持できるようにすることを目的としています。
Liquid Proof of Stake
イーサリアムは現在Proof of Work(PoW)からProof of Stake(PoS)への切り替えを進めていますが、テゾスは当初からLiquid Proof of Stakeでの立ち上げを計画しています。PoWはピアツーピアネットワークでコンセンサスを維持するためには効果的ですが、資源を消費する方法でもあり、実際、現在、イーサリアムの採掘者はすでにキプロスのような小さな国よりも多くの電力を使用しています。PoSでは、バリデーションは物理的なマイニングではなく、仮想的なマイニングを通じて行われます。参加するためには、マイニングのハードウェアや電気を購入するためにお金を使うよりも、トークンを所有するだけですみます。PoSのもう一つの利点は、誰かがネットワークを攻撃しようとした場合に経済的な罰則を与えることができるということです。Liquid Proof of Stakeでは、例えば時間がない、知識がない、資源がないなどの理由で直接ステーキングに参加したくない場合に、テゾスの仮想通貨の保有者が彼らに代わって他の誰かに検証を委任することができることを意味します。
形式検証
また、テゾスがイーサリアムと異なるのは、Michelsonと呼ばれるスマートコントラクトをプログラム作成する言語であり、形式検証を容易にする関数型言語であるという点です。形式検証とは、本質的に開発者がスマートコントラクトのコードの正確性を数学的に証明することを意味します。形式検証は、契約のいくつかの特性が維持されることを証明しますが、必ずしもコードが100%正しいことを意味するわけではありません（設計自体にエラーがある場合）。形式検証は、主に、エラーが許されない業界（原子炉、航空機、医療機器など）で使用されています。
実行されたが不十分だったイーサリアムスマートコントラクトでは、形式検証を適用していれば回避できたであろうバグが発生した事例があります。これはイーサリアム自体にバグがあったということではありませんが、開発者がスマートコントラクトが期待通りに動作することを確実にするために、形式検証のツールを作成するための強い理由となっています。そのため、イーサリアムスマートコントラクトを書くための形式検証ツールや新しいプログラムを作成する言語の開発が求められています。形式検証を利用することのトレードオフとして（技術的に高度なため）開発者が適切に使用することが難しく、ブロックに正しい仮説のすべてを証明に組み込まなかった場合、誤った安心感に繋がる可能性があります。
プロジェクト
テゾスの共同創業者はArthur Breitman（ArthurB）とKathleen Breitman（KathleenB）で、2人を主体とするチームで2014年からテゾスを開発しています。現在、彼らはテゾスネットワークの立ち上げから数年が経過していています。2017年7月1日から、テゾスのチームは、ビットコインとイーサリアムの両方の貢献を受け、約2週間の期間で上限なしの資金調達で歴史的な2億3200万ドルを集めました。クラウドセールとも呼ばれ、企業またはプロジェクトが自らトークンやコインで集めた資金は、スイスに拠点を置くテゾス財団によって管理されています。ネットワークの初年度は、同財団が提案に対する拒否権を持つが、提案を提出する際の特権的な権限は持ちません。さらに、テゾストークンの保有者がオンチェインガバナンスシステムを使って資金を提供し続けることに投票しない限り、財団は最終的に段階的に廃止していくことを決めています。
筆者は、イーサリアム、テゾス、その他のスマートコントラクトプラットフォームは、それぞれが異なる目的を持ち、トークンの持ち主が異なる理想を持っているため、共存していくと考えています。CosmosやPolkadotのような相互接続のできるブロックチェーンの構造が完全に開発されれば、うまくいけばイーサリアムとテゾスのトークンが両方のプラットフォーム間で自由に移動できるようになるだろうと考えています。
