Tezos（テゾス）は、自己修正能力と継続的な進化が特徴のオープンソースで分散型のブロックチェーンプラットフォームである。その主な目的は、デジタル資産や分散型アプリケーション（dApps）のための安全でアップグレード可能、かつ長期的に持続可能なインフラストラクチャを提供することにある [1]。Tezosの画期的な特徴の一つは、ネイティブトークンtez（XTZ）の保有者がプロトコル改善の提案に対して直接投票できるオンチェーンガバナンスである。この仕組みにより、ネットワークはハードフォークなしに継続的に進化でき、分散化とコミュニティ参加が強化される [2]。ネットワークの安全性は、Liquid Proof-of-Stake（LPoS）と呼ばれるコンセンサスメカニズムによって確保されている。XTZ保有者は、自ら「ベーカー」（バリデータ）として活動するか、ベーカーにステークを委任することでネットワークを支援し、報酬を得ることができる [3]。Tezosはスマートコントラクトの開発と実行もサポートしており、Michelson、SmartPy、LIGOなど複数のプログラミング言語が利用可能である。特に注目すべきは、スマートコントラクトの正しさを数学的に証明できる形式的検証への強い焦点であり、これは金融や企業分野など高いセキュリティが求められる用途に適している [4]。Tezosのエコシステムは、分散型金融（DeFi）、NFT、分散型ID、そしてスケーラビリティを向上させるレイヤー2ソリューションであるスマートロールアップなど、幅広い分野に及ぶ [5]。2024年6月にはスケーラビリティを向上させた「パリ」アップグレードが実施され、同年9月には次のプロトコルアップグレード「ケベック」の発表も行われた [6]。また、Tezos FoundationやTezos Commonsが開発者プロジェクトに対する助成金プログラムを通じて、プラットフォームの発展を積極的に支援している [7]。

概要と特徴

Tezos（テゾス）は、自己修正能力と継続的な進化が特徴のオープンソースで分散型のブロックチェーンプラットフォームである。その主な目的は、デジタル資産や分散型アプリケーション（dApps）のための安全でアップグレード可能、かつ長期的に持続可能なインフラストラクチャを提供することにある [1]。Tezosの画期的な特徴の一つは、ネイティブトークンtez（XTZ）の保有者がプロトコル改善の提案に対して直接投票できるオンチェーンガバナンスである。この仕組みにより、ネットワークはハードフォークなしに継続的に進化でき、分散化とコミュニティ参加が強化される [2]。

Liquid Proof-of-Stakeによるエネルギー効率と広範な参加

Tezosの安全性は、Liquid Proof-of-Stake（LPoS）と呼ばれるコンセンサスメカニズムによって確保されている。XTZ保有者は、自ら「ベーカー」（バリデータ）として活動するか、ベーカーにステークを委任することでネットワークを支援し、報酬を得ることができる [3]。このLPoSモデルは、エネルギー消費が極めて低く、Proof-of-Workに比べて環境負荷が大幅に少ない。実際、Tezosの年間エネルギー消費量は、平均的な17人の市民に相当する程度であるとされている [11]。さらに、LPoSではトークンをロック（凍結）せずに委任が可能であり、資産の流動性を保ちながらネットワーク参加と報酬獲得が両立する。この「リキッド」な特性により、技術的知識がなくても小さな保有者でも容易に参加でき、分散化の促進に寄与している [12]。

スマートコントラクトと形式的検証による高度なセキュリティ

Tezosはスマートコントラクトの開発と実行もサポートしており、Michelson、SmartPy、LIGOなど複数のプログラミング言語が利用可能である。特に注目すべきは、スマートコントラクトの正しさを数学的に証明できる形式的検証への強い焦点であり、これは金融や企業分野など高いセキュリティが求められる用途に適している [4]。特に、ネイティブ言語であるMichelsonは、スタックベースの設計と静的型付けにより、ランタイムエラーを防ぎやすく、形式的検証に最適化されている。Mi-Cho-CoqやHelmholtzといったツールを用いることで、開発者は「資金は所有者のみが引き出せる」などの重要なプロパティを数学的に証明でき、バグやハッキングのリスクを大幅に低減できる [14]。

モジュラーなアーキテクチャと自己修正プロトコル

Tezosの技術的基盤は、その「メタブロックチェーン」アーキテクチャに由来する。このアーキテクチャは、ネットワークの通信やストレージを管理する「シェル」（Shell）と、コンセンスルールやスマートコントラクトの実行を定義する「プロトコル」（Protocol）に分離されている [15]。この分離により、プロトコル部分だけを交換することが可能となり、ネットワークの根本的な再設計なしに継続的なアップグレードが実現する。この能力を「自己修正」（self-amendment）と呼び、Tezosはこれにより、ハードフォークによるネットワークの分断を回避しながら、技術的な進化を遂げることができる。2024年6月の「パリ」アップグレードでは、スケーラビリティを向上させるデータ可用性レイヤー（DAL）が導入され、同年9月には次のアップグレード「ケベック」の提案が承認された [6]。

多様なエコシステムとレイヤー2ソリューション

Tezosのエコシステムは、分散型金融（DeFi）、NFT、分散型ID、そしてスケーラビリティを向上させるレイヤー2ソリューションであるスマートロールアップなど、幅広い分野に及ぶ [5]。スマートロールアップは、WebAssembly（WASM）上で動作するオプティミスティックロールアップであり、開発者がRustやPythonなどの一般的な言語でdAppsを構築できる。特に注目されるのは、Ethereum Virtual Machine（EVM）と互換性を持つ「Etherlink」であり、EthereumのdAppsをTezosに簡単に移植可能にし、開発者エコシステムの拡大を加速している [18]。NFT分野でも、アーティストのマリーナ・アブラモヴィッチやフランス郵政（La Poste）の「NFTimbre」プロジェクトなど、高品質なプロジェクトが多数立ち上げられている [19]。

ネイティブトークンXTZとその機能

Tezosのネイティブトークンであるtez（XTZ）は、同プラットフォームの経済的および技術的基盤を支える中心的なデジタル資産である。XTZは単なる取引手段にとどまらず、ネットワークの安全性、ガバナンス、およびエコシステム全体の運用において多層的な機能を果たしている [20]。このトークンは、ブロックチェーン上のすべての主要なプロセスに深く統合されており、Liquid Proof-of-Stake（LPoS）コンセンサス、オンチェーンガバナンス、スマートコントラクトの実行、そして分散型アプリケーション（dApps）との相互作用を可能にする。

トランザクション手数料の支払い

Tezosネットワーク上で行われるすべての操作には、トランザクション手数料が発生し、これらは必ずXTZで支払われなければならない。これには、XTZの送金、スマートコントラクトの実行、dAppsへのアクセスなどが含まれる [21]。これらの手数料は、ネットワークの整合性を保証し、スパム攻撃を防ぐ役割を果たす。支払われた手数料は、ネットワークの維持に貢献するベーカー（バリデータ）に報酬として分配される。この仕組みにより、ネットワークの利用者と維持者との間で健全な経済的インセンティブが形成され、分散化されたインフラの持続可能性が確保される。

ネットワークセキュリティのためのステーキング（Liquid Proof-of-Stake）

XTZは、TezosのLiquid Proof-of-Stake（LPoS）コンセンサスメカニズムの核となる。このモデルでは、XTZ保有者はネットワークの安全性に直接貢献できる。具体的には、以下の2つの方法で参加できる。

  1. ベーキング（Baking）：ユーザーは、最低8,000 XTZのステーク（1ロール）を持ち、完全なノードを運営することで、自ら「ベーカー」として新しいブロックを生成し、検証することができる。
  2. 委任（Delegation）：技術的知識やハードウェアを持っていないユーザーでも、自分のXTZを信頼できるベーカーに委任することで、ネットワークセキュリティに参加できる [22]。

この「リキッド」（流動性のある）な特徴が、Tezosの最大の強みの一つである。委任されたXTZはロックされず、ユーザーは引き続きトークンを送金、売買、または使用し続けることができる。この流動性の維持により、ユーザーは資産の利用可能性を失うことなく、安定した報酬を得られる。2024年の「パリ」アップグレード以降、直接ベーキングは委任よりも最大で3倍の報酬を提供するようになったが、その代償として短期間の非流動性が発生する [23]。報酬は、新しく生成されるXTZトークンとトランザクション手数料の両方から構成される。

オンチェーンガバナンスにおける投票権

XTZは、Tezosのオンチェーンガバナンスシステムにおける唯一の投票権を有するガバナンストークンである。この仕組みにより、XTZ保有者はプロトコルの進化に直接関与できる。プロトコルのアップグレードや改善案は、ネットワーク上で完全に透明なプロセスで提案され、議論され、投票される。

投票プロセスは以下の5つの期間に分かれており、それぞれ約14日間続く。

  1. 提案期間（Proposal Period）：ベーカーがアップグレード案を提出。
  2. 探索期間（Exploration Period）：コミュニティが案に対して投票。
  3. クールダウン期間（Cooldown Period）：結果の分析と準備。
  4. 促進期間（Promotion Period）：最終的な支持を確認するための再投票。
  5. 採用期間（Adoption Period）：新しいプロトコルが自動的にアクティベート [24]。

投票権は、ユーザーのステーク量に比例して重み付けされる。委任されたXTZの所有者は、委任先のベーカーが自分の代わりに投票する。この民主的なプロセスにより、破壊的なハードフォーク（Hard Forks）を回避し、ネットワークの統一性と長期的な安定性を保ちながら、継続的な進化が可能となる [25]。

トークンの単位と会計

XTZの内部会計単位は「mutez」（ミューテズ）である。1 XTZは1,000,000 mutezに等しい [26]。この極めて細かい単位の分割は、スマートコントラクト内での高精度な計算や、微小な取引手数料の設定を可能にする。例えば、複雑な金融取引やゲーム内アイテムの取引において、正確な価値移転を保証するための重要な設計である。

dApps、NFT、レイヤー2ソリューションとの相互作用

XTZは、Tezosエコシステムのすべてのレイヤーで使用される共通の価値媒体である。ユーザーはXTZを使って、以下のような活動を行う。

  • 分散型金融（DeFi）プロトコルに参加し、流動性を提供する。
  • NFT（非代替性トークン）を購入、販売、取引する。
  • スマートロールアップ（Smart Rollups）などのレイヤー2ソリューション、特にEVM互換のEtherlinkにアクセスし、低コストで高速な取引を行う [27]。

このように、XTZは単なるネットワークの燃料（Gas）ではなく、エコシステム全体の経済活動をつなぐ「共通通貨」としての機能も果たしている。その価値は、ネットワークの利用拡大、ガバナンスへの参加、およびセキュリティへの貢献という三つの柱によって支えられており、持続可能な自己進化型のブロックチェーンプラットフォームの実現に不可欠な役割を果たしている [28]。

Liquid Proof-of-Stake（LPoS）コンセンサス

Tezosのネットワーク安全性は、Liquid Proof-of-Stake（LPoS）と呼ばれる独自のコンセンサスメカニズムによって確保されている。この仕組みは、エネルギー消費が極めて低いProof-of-Stake（PoS）の一種であり、ネットワークの分散化と広範な参加を促進する設計となっている [29]。LPoSでは、ネイティブトークンtez（XTZ）の保有者が「ベーカー」（バリデータ）として直接ブロックを生成するか、または自分のステークを信頼できるベーカーに「委任」（delegation）することで、ネットワークの運営に貢献できる。この委任により、技術的なノード運用の知識やハードウェアがなくても、誰もがネットワークの安全性に参加し、報酬を得ることが可能になる [30]。

LPoSの仕組みと特徴

LPoSの核となるのは、ステークの「流動性」（liquidity）である。多くのPoSシステムでは、バリデータが自らのトークンを「ロック」（lock）しなければならず、その間は資産の移動や売却が制限される。しかし、TezosのLPoSでは、ユーザーがXTZをベーカーに委任しても、そのトークンはユーザーのウォレットに留まり、引き続き送金や売却、取引が可能である [12]。この「ロックなしの委任」により、ユーザーは資産の流動性を失うことなく、ネットワークへの参加と報酬の獲得を両立できる。この特性は、参加のハードルを大幅に下げ、より多くのユーザーがネットワークに貢献するインセンティブを創出している [32]。

ベーカーになるには、最低8,000 XTZのステーク（1ロール）が必要であり、完全なノードを運用する技術的知識も求められる [33]。これにより、バリデータとしての参入が容易すぎず、一定の責任とリスクが伴う仕組みとなっている。一方で、それ以外のユーザーは、自分のXTZを信頼できるベーカーに委任することで、ベーカーと同等の報酬比率で報酬を受け取ることができる。この柔軟な構造により、大規模保有者から小規模保有者まで、幅広い層がネットワークの運営に参加できる。

ネットワークセキュリティと経済的インセンティブ

LPoSの経済モデルは、ネットワークの長期的な安定性と安全性を支える重要な要素である。報酬は新しく生成されるXTZ（ブロック報酬）と、ユーザーが支払うトランザクション手数料の2つから構成される [34]。2024年の「パリ」アップグレード以降導入された「アダプティブ発行」（Adaptive Issuance）という仕組みにより、報酬額が動的に調整される。ネットワーク全体のステーキング率が低いと報酬が上がり、参加を促進し、逆に高いと報酬が下がり、過度なインフレーションを防ぐ [35]。この自己調整機能により、現在の年間インフレーション率は約3.8%に収まり、経済的持続可能性を確保している [36]。

この報酬構造は、ベーカーと委任者双方に強力なインセンティブを提供する。ベーカーは、ブロックを正しく生成し、投票に参加することで報酬を得る。委任者は、信頼性が高く、報酬分配率の良いベーカーを選ぶことで、リスクを最小限に抑えながら収益を得られる。この競争的な市場は、ベーカーの信頼性と効率性を高め、ネットワーク全体の健全性を維持する。また、高いステーキング率は、ネットワークを51%攻撃から守る防御力にもなる。攻撃者がネットワークを支配するには、膨大な量のXTZを取得する必要があり、そのコストが攻撃の利益を上回るため、攻撃が経済的に非現実的になる [12]。

他のステーキングモデルとの比較

LPoSは、他のPoSモデルと明確に区別される。従来のPoSではトークンのロックが一般的であり、流動性の損失という機会コストが参加の障壁となる。また、Delegated Proof-of-Stake（DPoS）では、少数の選出された「委任者」（delegates）がブロックを生成するため、ネットワークの集中化のリスクが高まる [38]。これに対し、TezosのLPoSは、8,000 XTZという比較的低いハードルで誰もがベーカーになれるため、分散化を維持しつつ、小規模保有者も委任によって参加できる、よりバランスの取れたモデルである。

オンチェーンガバナンスの仕組み

Tezosの最も革新的な特徴の一つは、そのオンチェーンガバナンス（on-chain governance）システムである。これは、ネイティブトークンtez（XTZ）の保有者が、プロトコルの改善やアップグレードに関する公式な提案に対して直接投票できる、完全に分散化された民主的プロセスである [2]。この仕組みにより、ネットワークはコミュニティの合意に基づいて継続的に進化でき、破壊的なハードフォークを回避することが可能になる。これにより、分散化の維持と、広範なコミュニティ参加が促進される。

ガバナンスプロセスの段階的構造

Tezosのガバナンスプロセスは、慎重な検討と広範な合意形成を保証するために、5つの明確に定義された段階（それぞれ約14日間）に分かれている [40]。

  1. 提案フェーズ（Proposal Period）：この段階では、少なくとも50の「ロール」（1ロール = 8,000 XTZ）を保有するベーカー（バリデータ）が、プロトコルのアップグレードに関する正式な提案を提出できる。複数の提案が可能であり、最も多くの支持を得た提案が次の段階に進出する [41]。

  2. 探査フェーズ（Exploration Period）：コミュニティは、最も支持された提案に対して投票を行う。この投票の結果が「クオラム」（最低参加率）を満たし、「はい」の票が多数を占めることで、提案は次の段階に進むことができる [24]。

  3. クールダウンフェーズ（Cooldown Period）：この段階は、投票結果を分析し、開発者やノード運営者がアップグレードをテストおよび準備するための待機期間である。この期間中、クオラムのしきい値が調整され、将来の投票の公平性が確保される [40]。

  4. 促進フェーズ（Promotion Period）：コミュニティは、同じ提案に対して再び投票を行い、その最終的な支持を確認する。ここでも、クオラムと多数決の要件が再び満たされなければならない。この二度の投票プロセスは、提案が一時的な支持ではなく、持続的な合意に基づいていることを保証する [44]。

  5. 採用フェーズ（Adoption Period）：この最終段階で、新しいプロトコルコードがアクティブ化され、既存のプロトコルと自動的に置き換わる。このプロセスはシームレスであり、ネットワークの中断やハードフォークを引き起こさない [40]。

ベーカーと委任の役割

ガバナンスにおける投票権は、Liquid Proof-of-Stake（LPoS）のバリデータである「ベーカー」に付与される。ベーカーの投票権は、彼ら自身が保有するXTZと、他のユーザーから委任されたXTZの合計量に比例する。この投票単位を「ロール」と呼び、1ロールは8,000 XTZに相当する [41]。

XTZを保有するが、自らベーカーとしてノードを運営する技術的知識やリソースを持たないユーザーは、「委任」（delegation）を行うことができる。委任とは、ユーザーが自分のXTZをベーカーに「預け」て投票権を委ねる行為を指すが、重要なのは、ユーザーは資産の完全な所有権と支配権を保持したまま、ネットワークのガバナンスに参加できる点である [30]。この仕組みにより、小さなトークン保有者でも、信頼できるベーカーを支持することで、ネットワークの進化に貢献できる。

ガバナンスと経済的インセンティブの統合

Tezosのガバナンスは、ネットワークの経済インセンティブと密接に結びついている。ベーカーは、ブロックの生成とアテスタション（検証）の報酬として新しいXTZを受け取るが、これらの報酬を得るためには、アクティブにブロックを生成し、ガバナンスの投票に参加する必要がある [48]。この直接的な経済的インセンティブにより、ベーカーは自らの利益のためにも、ガバナンスプロセスに積極的に関与することが促される。

また、委任者は、透明性が高く、ガバナンスに積極的なベーカーを選ぶ傾向がある。これは、ベーカー間の信頼と参加を競う競争環境を生み出し、ガバナンスの質を向上させる。さらに、「Adaptive Issuance」（適応的発行）という仕組みが導入されており、これはガバナンスの投票を通じて、ステーキング報酬の量を動的に調整するものである。このように、ガバナンスは単なる意思決定プロセスではなく、ネットワークの経済モデルの中心的な機能となっている [35]。

他のプラットフォームとの比較と利点

Tezosのオンチェーンガバナンスは、EthereumやCardanoなどの他の主要なブロックチェーンと明確に区別される。Ethereumは、主にGitHub上の議論（EIPs）や非公式なコミュニティ合意に依存する「オフチェーングバナンス」を採用しており、アップグレードの実装は最終的にクライアント開発者やバリデータの手に委ねられる。これにより、意図しないハードフォークのリスクが生じる可能性がある [50]。

一方、Tezosのプロセスは完全にプロトコルに組み込まれており、自動化されている。アップグレードが承認されると、すべてのノードが自動的に新しいプロトコルに移行するため、ネットワークの分断は発生しない。Cardanoは、完全なオンチェーンガバナンスへの移行を進めているが、Tezosは2019年の「アテネ」アップグレード以降、このモデルを実用的に運用している点で先行している [51]。

この仕組みの主な利点は、ハードフォークの回避、透明性と形式化、広範な参加、そして継続的な進化である。Tezosは、自身を「自己修正」（self-amending）できるブロックチェーンとして位置づけており、そのガバナンスモデルは、技術的革新とコミュニティの合意を安全に統合するための強力なフレームワークを提供している [25]。

スマートコントラクトと形式的検証

Tezosは、安全で信頼性の高いスマートコントラクトの開発と実行を重視するブロックチェーンプラットフォームとして知られている。特に注目すべきは、コードの正しさを数学的に証明できる形式的検証の採用であり、これにより金融取引や企業向けアプリケーションなど、高いセキュリティが求められる分野での利用が可能になる [4]。このアプローチは、他の多くのブロックチェーンが採用する従来のテスト手法に比べて、バグや脆弱性のリスクを根本的に低減することができる。

Michelson言語と安全性の設計

Tezosにおけるスマートコントラクトの安全性の基盤を成すのは、そのネイティブ言語であるMichelsonである。Michelsonは、スタックベースの低レベル言語として設計されており、強力な静的型システムと純粋な実行モデルを備えている [54]。この言語は、変数の使用を排除し、すべてのデータ操作をスタック上で行うことで、状態の予測可能性を高めている。これにより、スタックアンダーフローや型の不整合といった実行時エラーが事前に排除され、セキュリティが強化される [55]。

さらに、Michelsonは各操作に対して明確なガス消費量を定義するガスモデルを採用しており、無限ループやリソースの過剰消費によるサービス拒否攻撃（DoS）を防止する [56]。言語は、ペア、リスト、集合、ビッグマップなど、複雑ではあるが不変（immutable）なデータ構造をサポートしており、プログラムの動作をより予測可能にしている。これらの設計上の特徴は、スマートコントラクトのバグを「防ぐ」ことを目的としており、後から修正ができないブロックチェーン環境において極めて重要である。

形式的検証の仕組みと利点

形式的検証は、従来のテストが特定の入力パターンのみをカバーするのに対し、数学的な証明を通じて、スマートコントラクトが「すべての可能な入力に対して」所定の性質を満たすことを保証する手法である [14]。Michelsonは、その命令セットが精密に数学的に定義された「形式的意味論」を持っているため、この検証が可能になっている。これにより、開発者は「資金は所有者のみが引き出せる」「総供給量は常に一定である」などの重要な性質を、数学的な定理として定式化し、証明することができる。

この検証プロセスを支援するための主要なツールが、Mi-Cho-Coqである。これは、Michelsonの意味論をCoqという定理証明アシスタントに形式化し、開発者が契約の性質をCoq上で証明できるようにするフレームワークである [58]。また、Helmholtzは、リファインメント型とSMTソルバー（Z3）を用いて、検証条件を自動的にチェックする静的検証ツールであり、手動での証明よりも効率的な検証を可能にする [59]。これらのツールは、実際のプロジェクトでも活用されており、例えば分散型取引所（DEX）のDexterやウォレットのCortezにおけるスマートコントラクトの検証に成功している [60]。

高レベル言語との統合と開発者エコシステム

Michelsonの低レベルな性質は開発の敷居を高くするが、TezosはLIGOやSmartPy、Archetypeといった高レベル言語を提供することでこの課題に対応している [61]。これらの言語は、JavaScriptやPythonに似た構文を採用しており、開発者がより直感的にスマートコントラクトを記述できる。重要なのは、これら高レベル言語で書かれたコードは、最終的にMichelsonにコンパイルされる点である。これにより、開発者の利便性を損なわずに、コンパイル後のコードの形式的検証というTezosのセキュリティの強みを維持することができる [62]。

開発者支援ツールも充実しており、TaqueriaはLIGOやSmartPyのための開発者向けツールキットで、コンパイルやテスト、デプロイを自動化する [63]。また、TaquitoはTypeScriptで書かれたSDKであり、dAppからスマートコントラクトと簡単にやり取りできる [64]。これらのツール群は、形式的検証を含む安全な開発プロセスを効率化し、Tezosの開発者エコシステムを支えている [65]。

レイヤー2ソリューションとスケーラビリティ

Tezosは、スケーラビリティの課題に取り組むため、高度なレイヤー2（Layer-2）ソリューションを採用しており、これによりトランザクションのスループットを大幅に向上させ、ユーザー体験を改善している。特に「スマートロールアップ」と呼ばれるネイティブなロールアップ技術が、Tezosの拡張性戦略の中心を担っている [5]。これらのソリューションは、メインチェーン（Layer-1）のセキュリティを維持しつつ、トランザクションをチェーン外で処理することで、コストを削減し、スループットを向上させる。

スマートロールアップの技術的基盤

Tezosのスマートロールアップは、最適化されたロールアップアーキテクチャであり、状態変更を「楽観的」に承認する。つまり、トランザクションはまず有効と見なされ、その後一定期間（通常約2週間）内に、不正な状態遷移を証明する「不正検出証明」（fraud proofs）が提出されない限り、最終的に確定する仕組みである [67]。この設計により、高速な取引処理が可能になる。

スマートロールアップの大きな利点の一つは、言語の独立性にある。ロールアップはWebAssembly（WASM）ベースの仮想マシン（PVM）上で動作するため、開発者はRust、TypeScript、Pythonなど、広く使用されているプログラミング言語でアプリケーションを構築できる [68]。これにより、既存の開発者エコシステムからの移行が容易になり、イノベーションの促進に寄与する。また、スマートロールアップは「パーミッションレス」（permissionless）であるため、誰でも独自のロールアップを立ち上げ、運用することができる [5]。

Etherlink：EVM互換の主要なレイヤー2ハブ

Tezosのレイヤー2エコシステムにおいて、最も注目されている実装は「Etherlink」である。これはスマートロールアップの一種であり、Ethereum Virtual Machine（EVM）と完全に互換性がある。この互換性により、Ethereumで開発された既存の分散型金融（DeFi）プロトコルやNFTマーケットプレイスを、最小限の変更でTezosに移行することが可能になる [70]。これにより、Tezosは既存のエコシステムの恩恵を受け、開発者基盤を急速に拡大できる。

Etherlinkの実績は顕著である。2026年3月までに、ネットワークは7,000万件以上のトランザクションを処理しており、その採用の広がりを示している [71]。主要なDeFiプロトコルであるShadownet、Curve、SuperLendなどが既にEtherlink上に展開しており、低手数料と高速な取引の恩恵を受けている [71]。NFTプロジェクトにとっても、手数料が実質的にゼロに近いため、収集家がオークションやマーケットプレイスに容易に参加できる利点がある。

スケーラビリティの向上と開発者ツール

Tezosのスケーラビリティは、「データ可用性レイヤー」（Data Availability Layer, DAL）の導入によりさらに強化された。DALは、ロールアップに必要なトランザクションデータを効率的かつ安全にLayer-1上で利用可能にする仕組みであり、これによりネットワークの帯域幅が最大で20倍に向上した [73]。将来的には、1秒あたり100メガバイト（MB/s）のデータ可用性を達成する目標があり、これは1秒あたり100万件以上のトランザクション（TPS）を処理する可能性を示唆している [74]。この性能は、ゲームやソーシャルメディアのような大規模アプリケーションにとって魅力的である。

開発者の利便性を高めるため、Tezosは豊富なツール群を提供している。Zeeveは「Rollups-as-a-Service」（RaaS）プラットフォームを拡張し、Tezosスマートロールアップの展開を簡素化している [75]。また、baking-bad SDKは、TezosとEtherlink間のトークンブリッジを構築するためのTypeScriptライブラリを提供しており [76]、TaquitoやDipDupなどの標準的な開発ツールもスマートロールアップとの統合をサポートしている [77]。さらに、TraceHawkのような専用のブロックエクスプローラーにより、ロールアップの活動を監視・分析することが可能になっている [78]。

将来的な発展：プライベートロールアップ

Tezosのレイヤー2戦略は、公開ロールアップにとどまらない。プライベートスマートロールアップの開発も進められており、これにより機密性の高いデータやビジネスロジックを外部から保護しつつ、Tezosのセキュリティを維持できる [79]。この技術は、企業向けソリューション、プライベートファイナンス、分散型IDなどの分野に新たな応用可能性を提供する。Tezosは、ネイティブなスマートロールアップ、EVM互換性、データ可用性レイヤー、そして成熟した開発ツールの組み合わせにより、スケーラビリティ、セキュリティ、開発者フレンドリーさを兼ね備えた強力なインフラを提供し、高度なパフォーマンスと使いやすさを求めるDeFiやNFTアプリケーションにとって魅力的な選択肢となっている。

開発者エコシステムとツール

Tezosは、開発者が安全かつ効率的に分散型アプリケーション（dApps）やスマートコントラクトを構築できるよう、多層的で成熟したエコシステムを提供している。このエコシステムは、複数の高水準プログラミング言語、強力な開発ツール、そしてネイティブのレイヤー2ソリューションを組み合わせることで、開発者の生産性とアプリケーションの安全性を高めている [80]。

プログラミング言語：LIGO、SmartPy、Michelson

Tezosの開発者エコシステムの核となるのは、開発者が選択可能な複数のプログラミング言語である。これにより、異なるバックグラウンドを持つ開発者が自らのスキルに合った環境で作業できるようになっている。

  • LIGOは、JavaScriptに似た構文を持つJsLIGOと、OCamlに似たCameLIGOの二つの構文バリエーションを提供する。LIGOは静的型付けが厳密であり、特に形式的検証に適した設計となっている。このため、金融や企業向けなど、高い安全性が求められるアプリケーションの開発に最適とされている [81]。LIGOはVisual Studio Codeの拡張機能を提供しており、構文ハイライトや自動補完などの開発支援機能を備えている [82]。

  • SmartPyはPythonに似た構文を持つ高水準言語であり、初心者から上級者まで幅広い開発者にとって使いやすいと評価されている [83]。SmartPyの大きな特徴は、Webベースの統合開発環境（IDE）を提供している点である。これにより、開発者はブラウザ上でスマートコントラクトを記述、テスト、デプロイすることが可能となり、開発の敷居を大幅に下げている [84]。2026年1月にはバージョン0.24.1がリリースされ、ウォレットとの互換性の問題が修正されるなど、継続的なアップデートが行われている [85]。

  • MichelsonはTezosのネイティブ言語であり、スタックベースの低水準言語である。すべての高水準言語は最終的にMichelsonにコンパイルされるため、その安全性と効率性がネットワーク全体の基盤となる [55]。Michelsonは静的型付け、ガスモデル、変数の非使用といった設計により、ランタイムエラーを防ぎ、形式的検証を可能にしている [56]。ただし、その低水準性とスタックベースの構造は、開発の学習曲線を急にしている。

開発ツールとSDK

Tezosの開発者支援は、言語に留まらず、実用的なツールキットにまで拡大している。

  • Taqueriaは、LIGO、SmartPy、そしてスマートロールアップなど、複数のツールを統合する開発者向けツールキットである。プラグインシステムにより、コンパイル、テスト、デプロイのプロセスを自動化し、開発ワークフローを効率化している [63]。

  • TaquitoはTypeScriptで書かれたSDKであり、dAppsからスマートコントラクトやバリデータ（ベーカー）とインタラクションするためのライブラリを提供している [64]。これにより、Web3アプリケーションの構築が容易になる。

  • Octez Clientは、ローカル環境でスマートコントラクトをモックアップモードでテストできるツールであり、ネットワークコストをかけずに動作確認が可能である [90]。

  • また、コミュニティ主導のセキュリティ評価チェックリスト（Tezos Security Assessment Checklist）がGitHubで公開されており、開発者が一般的なミス（例：ストレージの無制限な増加）を回避するのに役立っている [91]。

レイヤー2とスケーラビリティ：Smart RollupsとEtherlink

Tezosのスケーラビリティ戦略の中心は、Smart Rollupsと呼ばれるネイティブのレイヤー2ソリューションである。これは最適化ロールアップ（optimistic rollup）の一種で、状態変更をレイヤー1上で検証可能にしつつ、実際の計算をレイヤー2で行うことで、スループットを劇的に向上させる [5]。

  • Smart RollupsはWebAssembly（WASM）ベースの仮想マシン（PVM）上で動作するため、開発者はRust、TypeScript、Pythonなど、自ら好む言語でアプリケーションを構築できる。これは、従来のブロックチェーンに比べて開発の柔軟性を大幅に高めている [68]。

  • Etherlinkは、Tezos上に構築された主要なSmart Rollupであり、Ethereum Virtual Machine（EVM）と完全に互換性を持つ。これにより、既存のEthereumベースのDeFiプロトコルやNFTプロジェクトを、最小限の変更でTezosに移行することが可能になる [70]。2026年3月までに7,000万件以上のトランザクションを処理しており、その実用性が実証されている [71]。

  • データ可用性を確保するためのData Availability Layer（DAL）の導入により、ネットワークの帯域幅は最大20倍に拡張され、将来的には秒間1億トランザクション（TPS）の処理が可能になるという目標も掲げられている [73]。

ドキュメンテーションとコミュニティサポート

Tezosは、公式の開発者ポータル[97]を通じて、チュートリアル、フレームワーク、ライブラリ、ベストプラクティスに関する包括的なドキュメンテーションを提供している [97]。ただし、Michelsonの複雑さや、複数のドキュメンテーションソース（例：smartpy.io）の存在により、情報の断片化が課題となることがある [99]。

コミュニティサポートは、Tezos Stack Exchange、Discord、ミートアップなど多様なチャネルで提供されている [100]。また、ハッカソンやガバナンス参加を通じて、開発者がエコシステムに直接貢献できる機会も用意されている。一方で、サポートの分散化は、特に初心者にとって敷居を高く感じる要因となっている [101]。

規制環境と法的課題

Tezos（テゾス）の規制環境と法的課題は、特に欧州における新たな規制枠組みである**Markets in Crypto-Assets Regulation（MiCAR）**の導入によって、近年大きく変化している。XTZトークンの法的分類、オンチェーンガバナンスの影響、ステーキングサービスのライセンス要件、初期コイン供給（ICO）の過去の法的問題など、複数の側面から検討される必要がある。これらの要素は、投資家、開発者、サービスプロバイダーにとって重要な意味を持つ。

XTZの法的分類：ユーティリティトークンかセキュリティトークンか

XTZの法的分類は、欧州およびドイツ語圏において一貫して「支払い手段トークン」や「セキュリティトークン」ではなく、ユーティリティトークンとガバナンス機能を併せ持つ暗号資産と見なされている。2023年に導入され、2026年までに完全に適用される予定のMiCAR（Markets in Crypto-Assets Regulation）は、暗号資産を三つの主要カテゴリーに分類する：電子マネートークン（EMT）、価値参照トークン（ART）、およびその他の暗号資産 [102]。XTZはこれらのいずれにも該当せず、ネットワーク参加やガバナンスへの貢献に使用される点から、規制された資本市場商品ではない暗号資産として分類される [103]。

ただし、ドイツ連邦金融監督庁（BaFin）は、トークンのマーケティング方法や投資家への期待の喚起がセキュリティとしての性質を強める場合、個別の事例で再分類の可能性があると警告している。TezosのICOは2017年に米国で集団訴訟の対象となり、プロジェクト関係者が2500万ドルの和解金を支払ったことから、その歴史的文脈は規制当局の注目を集め続けている [104]。

オンチェーンガバナンスと集団投資スキームのリスク

Tezosのオンチェーンガバナンスは、XTZ保有者がプロトコルの変更に対して直接投票できる民主的な仕組みであるが、これが集団投資スキーム（Kollektives Investitionsmodell）として法的に分類される可能性という規制上の懸念を生んでいる。ドイツの資本投資法（KAGB）やEUのOGAW指令では、共同で資本を運用し、利益を追求する構造は規制対象となる。

現在のところ、Tezosのガバナンスは明確に集団投資スキームとして分類されていない。その理由は、中央集権的な管理主体が不在であり、投票は技術的・分散的なプロセスに組み込まれているためである [105]。しかし、MiCARの導入により、ガバナンストークンの透明性や内部統制に対する要件が高まっており、特にステーキング報酬と連動したガバナンス参加は、投資期待と結びつくことで規制当局の監視対象となる可能性がある [106]。

ステーキングサービスのライセンス要件

XTZのステーキングサービスを提供する事業者は、ドイツ語圏において厳しい規制の対象となる。特に、委任型ステーキング（Delegated Staking）は、暗号資産の保管を伴う場合、ドイツの銀行法（KWG）第32条に基づく暗号資産保管業の許可が必要とされる [107]。BaFinは2025年3月、無許可でXTZのステーキングサービスを提供するウェブサイトに対して警告を発し、許可のない事業が違法であることを明確にした [108]。

さらに、ステーキングされた資産が「公衆預金」と見なされる場合、銀行ライセンスが必要となる可能性がある。スイスの金融監督当局（FINMA）は、ステーキングサービスが銀行業務に該当する可能性を検討しており、これはドイツでも同様の議論を引き起こしている [109]。2026年以降、MiCARの完全施行により、暗号資産サービスプロバイダー（CASP）としてのライセンスがEU全域で義務化されるため、ステーキング事業者は法的コンプライアンスを徹底する必要がある [110]。

Tezos ICOの過去と現在の規制基準

2017年のTezosのICOは、当時の規制不備の象徴とも言える。米国証券取引委員会（SEC）は、ICOで販売されたトークンが「Howeyテスト」に該当する未登録の証券であると判断し、これが複数の集団訴訟を引き起こした [111]。この出来事は、ICOが投資商品として扱われる可能性を示す重要な先例となった。

現在のMiCARは、このようなリスクを軽減するため、規制されたホワイトペーパーの提出と当局の承認を義務付けている。これにより、トークン発行者は透明性を確保し、AML（マネーロンダリング防止）やKYC（顧客確認）の要件を遵守しなければならなくなる [112]。TezosのICOが今日のMiCAR基準で行われた場合、ホワイトペーパーの承認やAML対応が不十分だったため、合法的に実施できなかった可能性が高い [110]。

開発者・ベーカー・財団の責任

Tezosの分散型ガバナンスは、責任の所在を曖昧にする可能性がある。開発者は技術的な貢献を行うが、中央集権的な管理権を持たないため、責任は限定的である。一方、Tezos財団（Tezos Foundation）はスイスに設立された法人であり、ICOの資金管理やエコシステムの支援を行う立場から、法的責任を負う可能性がある。2020年の和解金支払いは、財団がICOの法的リスクを負担した事例である [114]。

ベーカー（バリデータ）については、ステーキング報酬を得る活動が暗号資産管理サービスと見なされる場合、BaFinの監督下に置かれ、許可が必要となる [115]。MiCARの施行により、こうした役割の法的枠組みがさらに明確化され、責任の所在がより明確になることが期待される。

課税と会計処理

XTZの取引やステーキング報酬は、ドイツ語圏で課税対象となる。ドイツでは、保有期間が1年未満の売却益は投機所得として課税される。ステーキング報酬は、経済的に利用可能になった時点で「その他の所得」（§ 22 Nr. 3 EStG）とされ、課税対象となる [116]。2025年3月の連邦財務省の通達により、この取り扱いが明確化された [117]。オーストリアやスイスでも同様に課税が行われるが、詳細なルールは各国の法律に依存する。

参考文献