概要: Bitcoin L2の技術的制限に関わらず、業界はネイティブBTCのプログラム可能性と他のチェーンからの資産およびユーザーとの相互運用性を優先すべきだと考えます。
ZetaChainでは、ネイティブなBitcoinやEthereumからCosmos、Solanaまで、あらゆるチェーンにまたがるユニバーサルアプリを提供することを使命としています。私たちは、ユーザーがBitcoin、EVM、L2などどこにいても抽象化されたチェーンUXをサポートする初のユニバーサルブロックチェーンを作りました。この記事では、Bitcoin L2について技術的視点から次の質問に答えます。
Layer 2ソリューションは、もともとEthereumの現象であり、過去数年間で何百も登場しました。これらのプロジェクトの多くは、インフラやイノベーションの真の改善よりもマーケティングによる価値の捕獲に焦点を当てていました。しかし最近、「L2」がBitcoinに関連する新しいナラティブが形成され始めています。これらのソリューションの核心的なアイデアは、基盤となるLayer 1、つまりBitcoinからセキュリティを継承または派生するということです。
これは魅力的です。なぜなら、Bitcoinネットワークは強力なセキュリティを誇り、Layer 2ソリューションはBitcoinのスループットを拡大し、取引コストを削減し、より洗練されたスマートコントラクトプラットフォームを可能にするからです。多くのプロジェクトが現在、Bitcoin Layer 2ソリューションと主張、暗示、または関連付けています。しかし、これらの主張の有効性についての疑問が浮上し始めています。
Layer 2とは、Layer 1を何らかの形で拡張し、そのセキュリティの一部を継承するブロックチェーンのことです。2016年、Lightningのホワイトペーパー[5]は、Bitcoinネットワークからセキュリティを派生する支払いネットワークを提案しました。著者（Poon & Dryja）は「Layer 2」という用語を使用していませんでしたが、Lightning Networkは確かにBitcoin上のLayer 2ソリューションです。これは、自分自身のネットワーク/ブロックチェーンとして機能し、Bitcoinネットワークと参加者間の強力なゲーム理論によって保護された安価な支払いを提供します。より現代的なLayer 2ソリューションは、Vitalik ButerinとEthereumエコシステムによって一般化されている可能性があります。Layer 2には、通常、3つのタイプがあります。それは、ステートチャネル、プラズマ、ロールアップ[6]です。
Lightning Networkはステートチャネルの一例であり、2人の参加者がチャネルを開き、ほとんどの取引をオフチェーンで行うことができます（Bitcoinネットワークの知識外）。チャネルの開閉、そして場合によっては争議だけがBitcoinの取引やスクリプトを呼び出します。プラズマはステートチャネルよりも複雑で一般用途ではないため、ここでは省略します。
ロールアップは、完全なEthereum Virtual Machine（EVM）を実行するなど、非常に汎用的であり、Ethereumのセキュリティを継承するため、最も興味深いLayer 2ソリューションです。
ロールアップは、取引や状態をバンドルして基盤となるL1（例えばEthereum）にバッチングする別のブロックチェーンです。彼らはデータ（取引や状態更新）をEthereum上のコントラクトに投稿し、それが状態更新（例えばロールアップアカウントの残高）の検証を行うため、Ethereum L1のセキュリティを継承します。ロールアップノードやRPCを信頼する必要はなく、Ethereumに投稿された取引と現在の状態を見るだけで、ロールアップが期待通りに機能していることを確認できます。
Ethereumコントラクトは、バッチ処理された取引による前状態から後状態への移行を2つの方法で検証します。それは、fraud proofsを使用するoptimistic rollupsとzero-knowledge（zk）rollupsです。
optimistic rollupsでは、Ethereumコントラクトはロールアップシーケンサーを正直だと仮定しますが、fraud proofsを受け入れます。誰かが特定の状態更新が不正確であることを証明できる場合、不正な更新に対する経済的ペナルティと報酬があります。このシステムは、挑戦者が誤りを見つけて証明を提出するための期間を必要とします。
一方、zk-rollupシーケンサーは取引、状態更新、および状態更新の有効性のzk-proofsを提出します。状態更新は数学的な関数であり、関数は完全なEthereum Virtual Machineのように任意に複雑になることがあります。Zero-knowledge proofは効率のために使用されます。証明を生成するのは計算量が多いですが、証明を検証するのははるかに速く、スマートコントラクトによって合理的なコストで行うことができます。zk-rollupsのユーザーとして、Ethereum上でロールアップの取引バッチと状態更新が検証コントラクトによって受け入れられているのを見ると、ロールアップが正しく機能しており、バッチ内の取引が主張された後状態を生成することを知ることができます。