スタークネットがイーサとビットコインの両方を拡張できる理由

著者：Eli Ben-Sasson、StarkWare共同創設者; 翻訳：Golden Finance xiaozou

STARKsはついに次の挑戦を開始した。今、STARKsは、これまでに作られた中で最も平等主義的な通貨であるビットコインで、そのスケーリング能力を披露する予定です。OP_CATがBitcoinに採用されれば、BitcoinスクリプトにSTARKバリデーターを導入することが現実になります。これにより、ビットコインとスタークネット間の安全なセルフホスト型送金のゲートウェイが開かれ、イーサとビットコインの両方をスケールするL2が誕生します。

暗号通貨はデジタルと金融の世界を一掃することができる。暗号通貨は、デジタルと金融の世界を一掃することができます。暗号通貨は、お金に誠実さをもたらし、私たちの社会における権力のバランスを取り戻し、大きなテック企業から権力を奪って、主権を持つ個人に戻すことができます。人間や草の根コミュニティに力を与えるツールなのだ。要するに、それは善の源なのだ。だから私たちは、このことを実証し、すべての人々のためのビジョンを必要としている。このビジョンを実現するために、私は静かな学究生活を捨てました。

このようなビジョンは、この素晴らしいプロジェクトのスタートアップチェーンを拡大することなしには完成しません。私たちはビットコインを拡張し、世界を変えるブロックチェーンの力を解き放ちます。StarkWareはこのイニシアチブを現実的な手段でバックアップしており、ビットコイン上でOP_CATを採用することの長所と短所を明らかにする新たな研究を支援するため、100万ドル規模の基金を立ち上げました。

私たちは、ZeroSync財団を通じてL2 Iterative Ventures（L2IV）のWeikeng Chen氏と非常に生産的な戦略的パートナーシップを結び、ビットコイン野生生物保護区(ビットコイン野生生物保護区）につながった。私たちは、エンジニアリングと研究に対する彼らのチームの実践的なアプローチを活用し、OP_CATベースのコントラクトとSTARKバリデーターをビットコインスクリプトに展開するオープンソースの取り組みの境界を広げました。また、BitVMとZeroSync Foundationには、ビットコインのパワーを多くの人々に伝えてくれたことに感謝します。また、QEDの創設者であるカーター・フェルドマンは私たちに大きな影響を与え、Taprootの可能性について新しい視点とオープンマインドを見せてくれました。

さて、基本に戻り、私たちが今やっていることに意味があることを説明しましょう。

1, 2008年: 崩壊の瞬間

まずは、世界金融が崩壊した直後の2008年に戻ることから始めましょう。崩壊直後の2008年に話を戻そう。これを受けて、サトシ・ナカモトは革命的なビットコイン白書を発表した。この断絶の瞬間、サトシ・ナカモトは物事がどのように異なる方法で行われるかを私たちに示した。一般市民として、私たちは金融における誠実さと透明性のより高い基準を要求し、強制することができる。サトシ・ナカモトは、伝統的な銀行という砦に頼る代わりに、誰もが参加できる包括的なプロトコルを導入した。このプロトコルは、ビットコインの採掘と手数料を通じて、幅広い貢献者に公正かつ透明性をもって価値を分配する。貢献者の分布が広ければ広いほど、ビットコインはより良く、より安全になる。

ビットコインは台帳以上のものを私たちにもたらします。銀行がすべてを台無しにしているとき、つまり住宅ローンが破綻した家を差し押さえるのに忙しく、住宅ローンを貸す側の「私たちを信頼してください」という姿勢にもかかわらず、家さえも「家のように安全」ではないことに私たちが気づかないことを望んでいるときにこそ、ビットコインは私たちに信頼を与えてくれるのだ。「家と同じくらい安全」。

ビットコインの影響力は、もし完全に実現すれば、現在の結果よりもさらに広範囲に及ぶ可能性がある。世界的な基軸通貨として重用される可能性もあるし、そうあるべきだ。私たちの自由社会が必要とするすべての社会的機能（貨幣、財産管理、社会的交流）を支えるグローバルな「完全性の網」の基礎を形成する可能性がある。

ビットコインのホワイトペーパーは、実際に決済に使われ、大小、貧富を問わず誰でも運用できるネットワークを予見している。現在、世界中で15億人が銀行口座すら持っていない。ビットコイン決済は、こうした人々にとって単なる選択肢ではなく、実際に金融インフラと初めて出会う媒体なのだ。現在、ビットコインは15億の人々にとって、あまりにも容量が少なく、利用可能な容量も高すぎる。私は、誰もがビットコインを使い、ビットコインが支える自由な社会に参加できるような技術を開発したいと考えています。

2、重要だが見過ごされている問題

スタークウェアをイーサリアムマキシと考えている人もいます。私たちはイーサリアムの価値観を共有し、イーサリアムの成功にコミットしていますが。スタークネットはイーサ上でL2として展開されており、スタークネットをビットコインに接続することは、その機能と特徴の自然な拡張です。StarknetはL2としてEther上に展開されており、StarknetをBitcoinに接続することは、その機能と特徴を自然に拡張することです。これは、STARKがすべての真に分散化されたブロックチェーンプロジェクトを拡張するために使用されるパブリックプロダクトであるという、StarkWare設立以来のビジョンに沿ったものです。イーサはもちろん、先に述べたような野心的な使命を具現化したものだが、トレードオフの異なる道を歩んできた。そしてそれは良いことだ。なぜなら、バランスよく考えれば、国家の力に対抗できるプロトコルの構築に成功する可能性が高まるからだ。Etherのコアバリューは、私たちが最初にStarknetの決済レイヤーとしてEtherを選んだ理由そのものであり、その価値観は変わりません。私たちはイーサを信じ、その長期的な成功にコミットしています。ZK-STARKをビットコインに導入することは、当社の路線から逸脱することではなく、単なる回り道です。現在までのところ、スタークウェアはすべてのシステムをイーサ上に完全に展開している。しかし、ブロックチェーンへのSTARK拡張は、2013年春のビットコイン会議で発表されたアイデアだった。

そのカンファレンスで、私は演壇に上がり、STARKとして知られるようになった暗号証明の一種についての最初の研究について話した。言い換えれば、私はイーサが登場する2年前からビットコインに興味を持っていたのだ。

というわけで、スタークウェアは当初からビットコインと密接な関係にあり、ビットコインのネットワークを感心しながら観察してきました。Taproot、そしておそらくOP_CATはビットコインの可能性を広げ、今ではオープンな議論を安心してできるようになりました。

私たちはまた、ZeroSyncのような画期的なビットコインプロジェクトを支援してきました。ZeroSyncは、プライバシーとスケーラビリティを強化するためにZK証明をビットコインに統合した先駆者です。「この論文では、既存の有効性ロールアップをビットコインと統合する可能性を再評価し、理想的な組み合わせになりうると結論付けている。私たちの次世代サークル・スターク・プローバーバリデータ-Stwo-は、M31有限ドメインをターゲットにしています。このドメインはビットコインのスクリプトと相性が良く、次世代のビットコイン拡張機能を提供するのに理想的です。

3、私が見たい未来

私の夢は、ビットコインが継続的にすべての人に役立つために必要な規模になるのを見ることです。これには、参入に金銭的な障壁を設けず、すべての人に参加を開放することも含まれます。私は、サトシ・ナカモトが主張した分散化とセキュリティに強く固執することで、この夢が実現すると信じています。

インターネットは、オタクなエンジニアや学者のためのニッチな遊び場として始まりました。それをスケーリングするのに何年もかかり、ついに私たちの生活のインフラとなった。ブロックチェーンは、インターネットを民主化し、信頼と完全性を少数の大企業に委ねるのではなく、主権を持つ個人からなる大規模なコミュニティに分配することで、権力の均衡を取り戻すことができるツールだ。しかし、真に権力を掌握し、それを大衆に還元するためには、規模を拡大する必要がある。

私はまた、ビットコインのスケーリングの機会を捉えて、ビットコインコミュニティの多くにとって重要な価値であるプライバシー保護を進めるべきだと考えています。Bitcoinにスケーラビリティを提供できる同じ暗号は、プライバシー機能を強化するための材料にもなります。やがて、あなたは最終的にすべてを手にすることになるでしょう：あなたの鍵、あなたのコイン、あなたの機密性。

4, この未来をどのように実現しますか？

私たちStarkWareは、今日ビットコインを拡張するために3つの具体的な手段を講じています。

手段その1：私たちは、Starknetを最高の方法とすることで、ビットコインをより手頃な価格にし、一般の人々がアクセスできるようにする、Starknetの新しいデザインパターンを提案するつもりです。strong>Starknetをセルフホスト型の分散型L2とし、イーサとビットコインの両方で同時に決済を行い、統一された空間を実現する。つまり、両方のチェーンで同時に決済する単一のレイヤーです。私たちのチームは、これを実現するために必要なすべての作業を指揮または後援します。研究中のアーキテクチャの詳細は、今後数週間のうちに発表される予定です。

対策その2：StarkWareは、OP_CATとその意味を研究するビットコインの研究者や開発者に資金を提供するため、100万ドルの基金を立ち上げました。コインの研究者と開発者これらの助成金は、誠実にアップグレードを支持または反対し、OP_CATの使用に関する概念実証を提供する個人やプロジェクトに授与されます。基金の詳細は来週発表される予定です。

対策3：最後に、OP_CATビットコインソフトフォークは、特にSTARK検証とロールアップをサポートすることで、ビットコインのスケーリングのための最も安全な道であると信じています。自律的に状態を管理・更新できる再帰的コントラクトを可能にすることで、ビットコイン上でトラストレスのロールアップを可能にし、それによってビットコインネットワークに過負荷をかけることなくトランザクションのスループットを大幅に向上させます。

5、ビットコインのスケーリングはどのような可能性を解き放つのでしょうか？

ビットコインをスケーリングすることで、現在の1秒あたり約13件のトランザクションの代わりに、1秒間に数百万件のユーザートランザクションを処理できるようになります。

- Scaling Bitcoin and Ether at same time: 今日のブロックチェーンは断片化されています。デジタル・ゴールド」と呼ばれ、その価値は保持されているが他の用途はほとんどないビットコインか、「世界のコンピューター」を目指すイーサ、あるいは他の小規模なチェーンのどちらかを選ぶことができる。スタークネットは、2大チェーン（dAppは1つまたは両方を選択可能）の選択肢を提供することで、シャードを統合している。どちらかのチェーンの独立したガバナンスを妨げることなく、スタークネットは両方のチェーンを同時に拡張する。

- Privacy Protection: STARKs（スケーリングプロセスに使用される暗号証明）は、プライバシー保護のための膨大な未実現の可能性をすでに組み込んでいます。プライバシー保護の可能性とビットコインコミュニティは自然にフィットする。この技術の "ゼロ知識 "の側面はよく理解されているが、まだ実用的なソリューションに変換する必要がある。プライベートL2をビットコインのエコシステムに統合し、Zcash、MimbleWimble、Noirなどの技術を利用することで、トランザクションのプライバシーを大幅に強化することができます。

- Providing financial services to the marginalised: 私たちにとって、ビットコインの使命は常に、恵まれない人々にある程度の力を与えることです。世界では約15億人が伝統的な銀行サービスを利用できず、ボトムアップの金融の流れを阻害している。ビットコインの規模を拡大する他の試みは、まだ大規模な利用のためのソリューションを提供していない。新たなスケーリング方法とさらなるツールの追加により、ビットコインは銀行口座を持たない世界の人々に包括的なグローバル金融システムを提供する可能性を秘めている。

- Bitcoin's financial innovation: 今日、ビットコインはデジタル現金決済をサポートしていますが、現代の市場にはさらに、プログラム可能な金庫、リスク管理とヘッジツール、信用力、融資、デリバティブ、先物契約など、より優れた自己ホストオプションが必要です。これらはすべて、ビットコインに直接組み込むことのできない、また組み込むべきでない追加機能を必要とする。スタークネットをビットコインのL2とすることで、デジタルゴールドとしてのビットコインの安全性に裏打ちされた素晴らしい金融イノベーションという、両方の長所を併せ持つことになる。

- Improved user experience（ユーザーエクスペリエンスの向上）: ビットコインの原始的なセルフホストセキュリティは、特に平均的なユーザーにとって、セキュリティ運用を自明なものではありません。近代的なL2は、長期的な価値の保存のためにビットコインの堅牢で信頼性の高いL1のセキュリティに依存しながら、彼らの日常的なニーズのほとんどに対して、安全でシンプルなセルフホスト型のインタラクションをユーザーに提供するでしょう。

6、なぜOP_CAT、STARK、スタークネットなのか？

(1)なぜOP_CATなのか？

STARKはハッシュチェーンを検証する必要があります。OP_CATは特に、BitcoinスクリプトにおけるMerkleツリーのエントリーの作成とオープンをサポートします。なぜなら、Merkleツリーの作成と検証をサポートするコア操作は、2つの値を連結し、それに対してハッシュ操作を実行する必要があるからです。ハッシュ操作を実行する（OP_CAT は連結を可能にする）。他のコントラクトサポートオプコードはより強力かもしれませんが、OP_CATは現在議論されている中で唯一、Merkleツリーの検証をサポートしています。

（2）なぜSTARKなのか？

要するに、STARKは最大のスケールを提供し、最も試行錯誤が重ねられ、安全であり、信頼されたセットアッププロセスからの「有害なゴミ」がなく、外国の暗号プリミティブがなく、ポスト量子でさえも安全です。新しいSTARK証明検証器はStwoと呼ばれ、ビットコインネットワークに適した小さな数字を使用して効率を高めます。

（3）なぜスタークネットなのか？

イーサ上のスタークネットには、すでに活気ある開発者コミュニティがあり、指先で触れるだけで完全なスケーリング機能を持つプログラミング言語があります。Rust言語を知っている開発者にとっては、Starknetのネイティブ（かつオープンソース）言語であるCairoの方が馴染みがあるようだ。今日のビットコインコミュニティでは、オンチェーン・アクティビティの世界を構築するための明白な高級言語がまだ登場していない。私はCairoがこのギャップを埋め、ビットコインのネイティブ言語のひとつになることを願っている。