原作者: イーライ・ベン=サッソン
オリジナル編集: Deep Chao TechFlow
Starknet は、ビットコインとイーサリアムの両方に準拠し、ビットコインを 1 秒あたり数千件のトランザクションに拡張する最初のネットワークになります。これは、ビットコインが OP_CAT にアップグレードされる可能性から 6 か月以内に発生します。これはスタークネットの将来、そしてブロックチェーン、世界経済、個人の権利に対する私の提案です。私たちはこのビジョンに向けて具体的な措置を講じており、OP_CAT の採用を公的にサポートしています。
STARKsの次なる挑戦の時が来ました。 STARK にとって、史上最も平等な通貨であるビットコインを利用して拡大する能力を実証する機は熟しています。ビットコインが OP_CAT を採用すると、ビットコイン スクリプトに STARK バリデーターを実装することが現実になります。これにより、ビットコインとスタークネット間の安全な自己ホスト型の移動への扉が開かれ、イーサリアムとビットコインの両方を拡張する単一層のセカンダリ ネットワークが作成されます。
暗号通貨は、デジタル世界と金融世界を浄化し、通貨に完全性をもたらし、社会の権力を大手テクノロジー企業から離れて主権ある個人の手に取り戻すことができます。これは人々と草の根コミュニティに力を与えるツールです。一言で言えば、善の源です。したがって、これを実証し、すべての人に関連するビジョンが必要です。私はこのビジョンを追求するために、静かな学者としてのキャリアを捨てました。
この偉大なプロジェクトの出発点の連鎖を延ばすことなく、いかなるビジョンも完成させることはできません。ビットコインを拡大することで、ブロックチェーンの力を解き放ち、世界を変えていきます。 StarkWareは、ビットコインによるOP_CAT採用の長所と短所を明らかにする新しい研究を支援するための実践的な措置と100万ドルの基金の立ち上げでこの取り組みを支援している。
ZeroSync Foundation を通じた L2 Iterative Ventures (L2 IV) のWeikeng Chenとの戦略的パートナーシップは非常に有益で、最終的にはBitcoin Wildlife Sanctuaryの創設につながりました。私たちは、チームの実践的なエンジニアリングと研究の専門知識を活用して、ビットコイン スクリプトに OP_CAT ベースの規約と STARK バリデーターを実装するオープンソースの取り組みを推進しました。また、多くの人々がビットコインの可能性を理解できるように支援してくれた BitVM と ZeroSync Foundation にも感謝しています。 QEDのカーター フェルドマン氏も非常に影響力があり、タップルートに対する新しい視点とオープンな視点が何を明らかにできるかを示してくれました。
この投稿に続いて、StarkWare と Starknet から多くの公式アップデートが行われる予定ですが、今のところは基本に立ち返り、なぜ私たちがこの活動を行っているのかを述べたいと思います。
2008: 骨折
それは 2008 年であり、世界的な金融メルトダウンが発生したばかりでした。これに応えて、サトシ・ナカモトは革新的なビットコインのホワイトペーパーを発表しました。この断裂の瞬間に、サトシは私たちにどうすれば別のやり方で物事を進めることができるかを示してくれました。私たち国民は、金融セクターにおけるより高い誠実性と透明性の基準を要求し、強制することができます。サトシ・ナカモトは、従来の銀行の要塞や高層ビルに依存するのではなく、すべての人に参加を促す包括的なプロトコルを導入しました。このプロトコルは、ビットコインのマイニングと手数料を通じて、その広範な貢献者ベースに価値を公平かつ透明に分配します。寄稿者ベースが広がれば広がるほど、ビットコインはより良く、より安全になります。
ビットコインは私たちに台帳以上のものを与えてくれます。それは私たちに変化に対する自信を与えてくれます。銀行が大失敗し、住宅の差し押さえに忙しく、住宅ローンに関して自信を持って「信頼してください」という姿勢を見せても、住宅が常に「住宅として安全」であるとは限らないことを私たちが気づかないことを願っているときに、それは起こりました。
ビットコインの影響は、完全に実現すれば、今日私たちが見ている現実を超える可能性があります。その運命は、世界的な保護区として広く使用される可能性があり、またそうあるべきです。それは、お金、財産権の管理、社会的交流など、私たちの自由社会に必要なすべての社会的機能を支える世界的な「誠実性ネットワーク」の基礎を形成することができます。
ビットコインのホワイトペーパーは、大小を問わず、富裕層も貧困層もすべての人が運営する事実上の決済ネットワークを予想している。現在、世界中で 15 億人が銀行口座さえ持っていません。これらの人々にとって、ビットコイン決済は単なる代替手段ではなく、金融インフラへの最初のエクスポージャーでもあります。現在のビットコインが提供できる容量は少なすぎ、15 億人のほぼ全員にとって既存の容量は高価すぎます。私のモチベーションは、ビットコインとそれがサポートする自由社会を誰もが利用できるようにするテクノロジーを開発することです。
本文中の象
StarkWare がイーサリアムの熱狂的信者であると考える人もいます。私たちはイーサリアムの価値観を共有し、その成功に尽力していますが、何よりもまず STARK の愛好家です。 Starknet はイーサリアムの 2 番目の層として展開されており、Starknet をビットコインに接続することも、その機能セットの自然な拡張です。これは、STARK はすべての真の分散型ブロックチェーン プロジェクトを拡張するために必要な公共財であるという、StarkWare 設立以来の私たちの揺るぎないビジョンと一致しています。もちろん、イーサリアムは、異なるトレードオフを伴う異なる道をたどるものの、以前に概説した同じ野心的な使命を具体化したものでもあります。全体として、国家主体に抵抗できるプロトコルの確立に成功する可能性が高まるため、これは良いことです。イーサリアムの核となる価値は、私たちが Starknet の決済層としてイーサリアムを選択した理由であり、これらの価値は今も維持されています。私たちはイーサリアムを強く信じており、その長期的な成功に全力で取り組んでいます。 ZK-STARK をビットコインに導入することは、私たちの道からの逸脱ではなく、出発点への回帰です。これまでのところ、StarkWare はすべてのシステムをイーサリアム上に展開しています。しかし、STARKs がブロックチェーンを拡張するというアイデアは、2013 年春のビットコイン カンファレンスで初めて生まれました。
私はあるカンファレンスで講演するために登壇し、後に STARK として知られる一種の暗号証明に関する当時の予備的でやや風変わりな研究について話し合いました。聴衆の多くは、この種の暗号研究はまさにブロックチェーンに必要なものであると答えました。言い換えれば、イーサリアムがローンチされる2年前に、私はビットコインで「オレンジ色の丸薬」を飲んでいたのです。
つまり、StarkWare は当初からビットコインに深く関与しており、常にネットワークを賞賛の目で見てきました。私は今、Taproot と潜在的に OP_CAT は、ビットコインで何が可能かを形作る際に、オープンにこの会話を行うことができると感じています。
また、プライバシーとスケーラビリティを強化するために ZK Proofs をビットコインと統合するZeroSyncのような画期的なビットコイン プロジェクトもサポートしています。 StarkWareはまた、研究者のジョン・ライト氏に 「ビットコインに関する有効ロールアップレポート」の執筆を依頼し、既存の有効ロールアップがビットコインと統合できる可能性を再評価し、理想的な組み合わせが存在する可能性があると結論付けた。私たちの次世代の円形 STARK 証明者/検証者Stwo は、有限体 M31 上で動作します。この領域はビットコイン スクリプトとうまく連携しているため、次世代のビットコイン拡張機能を提供するのに最適です。
私が見たいもの
私の夢は、ビットコインがすべての人にとって機能し続けるために必要な規模に達することです。これには、経済的な障壁がなく、誰にでもオープンであることが含まれます。これは、分散化と安全保障に関するサトシ・ナカモトの主張に従わなければならないと思います。
インターネットは、エンジニアや学者のニッチなグループの遊び場として始まりました。それを拡張し、私たちの生活を支えるインフラにするまでには何年もかかりました。ブロックチェーンはインターネット上で実行されるツールであり、信頼と誠実さを少数の大企業に委任するのではなく、大規模なコミュニティ内の主権を持つ個人に分配することでインターネットを民主化し、権力のバランスを再調整することができます。しかし、本当に権力を掌握して大衆に取り戻すためには、権力を拡大する必要がある。
また、ビットコインのスケーリングの機会は、ビットコインコミュニティの多くの人が重要だと考えている価値、つまりプライバシーを促進するために活用されるべきだと私は信じています。ビットコインのスケーラビリティを提供するのと同じ暗号化が、強化されたプライバシー機能の原材料も提供します。時間が経てば、鍵、コイン、機密性など、すべてを手に入れることができることがわかります。
どうすればこれを達成できるでしょうか?
私たち StarkWare は現在、ビットコインを拡張するために 3 つの具体的な措置を講じています。
Starknetを自己ホスト型の分散型第2層とし、イーサリアムとビットコインで同時決済することで空間を統一する新しいStarknetデザインを提案します。両方のチェーンに同時に定着する単一の層。私たちのチームは、この目標を達成するために必要なすべての作業を実行または後援します。私たちが取り組んでいるアーキテクチャの詳細は、今後数週間以内に発表される予定です。
StarkWareは、OP_CATとその影響を研究するビットコインの研究者と開発者に与えられる100万ドルの基金を立ち上げた。これらの助成金は、アップグレードの賛否を問わず、誠意を持って研究を行った個人やプロジェクト、および OP_CAT のユースケースの概念実証を提供した貢献者に授与されます。ファンドの詳細は来週発表される。
最終的に、私たちは、OP_CAT ビットコイン ソフト フォークが、特に STARK 検証とロールアップを可能にするために、ビットコインを拡張するための最も安全なパスであると信じています。したがって、OP_CAT の公的サポートを発表します。 OP_CAT は、ビットコインの状態を自動的に管理および更新する再帰的規則を有効にすることで、ビットコインでトラストレスなロールアップを可能にし、それによってビットコインに過負荷をかけることなくトランザクションのスループットを大幅に向上させます。
ビットコインのスケーリングによって何が可能になるのでしょうか?
ビットコインを拡張することで、現在は 1 秒あたり約 13 件のトランザクションが行われていますが、数百万のユーザーからのトランザクションを 1 秒間に処理できるようになります。ビットコイン拡張機能について私たちが想定しているユースケースには次のようなものがあります。
ビットコインとイーサリアムを同時にスケーリング: 現在、ブロックチェーンは断片化しています。価値を保持するだけで他には何もしない「デジタルゴールド」であるビットコイン、または「世界のコンピューター」を目指すイーサリアム、または他の小規模チェーンのいずれかを選択できます。 Starknet は、2 つの最大のチェーンにまたがって選択肢を提供することで (dApps は一方または両方を選択できます)、それらの断片化を排除します。どちらのチェーンの独立したガバナンスを妨げることなく、両方を同時に拡大します。
プライバシー: スケーリング プロセスで使用される暗号証明である STARK には、まだ実現されていない大きなプライバシーの可能性が組み込まれています。プライバシーの可能性はビットコイン コミュニティに自然に適合します。テクノロジーの「ゼロ知識」の側面はすでによく理解されていますが、まだ解き明かして実用的なソリューションに変換する必要があります。 Zcash、MimbleWimble、Noir などのテクノロジーを活用してプライベート セカンド レイヤーをビットコイン エコシステムに統合すると、トランザクションのプライバシーを大幅に強化できます。
排除された人々に金融サービスを提供する: 私たちにとって、ビットコインの使命は常に、恵まれない人々に力を与えることでもありました。世界中で約 15 億人が従来の銀行サービスを利用できず、これが資金の流れの増加の障害となっています。ビットコインを拡張する他の試みは、まだ大量使用のためのソリューションを提供していません。ビットコインは、新しいスケーリング方法と追加ツールを通じて、銀行口座を持たない世界の人々に包括的でグローバルな金融システムを提供する可能性を秘めています。
ビットコインの金融イノベーション: 今日のビットコインはデジタル現金による支払いをサポートしていますが、現代の市場はそれ以上のものを必要としています。プログラム可能な保管庫、リスク管理およびヘッジツール、クレジット、融資、デリバティブ、先物契約などを備えたより優れた自己保管オプションです。これらはすべて、ビットコイン上に直接構築できない、また構築すべきではないさらなる機能を必要とします。 Starknet をビットコインの 2 番目のレイヤーにすることで、デジタル ゴールドとしてのビットコインのセキュリティに裏付けられた驚異的な金融イノベーションという、両方の長所を実現できます。
ユーザー エクスペリエンスの向上: ビットコインの独自の自己保管セキュリティも、平均的なユーザーの観点からは安全に扱うことを困難にしています。最新の第 2 層は、日常のニーズのほとんどに対応する安全でシンプルなセルフホスト インタラクションをユーザーに提供する一方で、価値の長期保存としてビットコインの堅牢ではあるが不格好な第 1 層のセキュリティに依存します。
なぜ OP_CAT、STARKs、Starknet なのか?
OP_CAT を選択する理由STARK ではハッシュ チェーンの検証が必要ですが、それ以外は何も必要ありません。その主な検証ループは、単純な代数演算 (小さな素数を法とする加算と乗算) と、マークル ツリーを介して事前にコミットされたエントリが正しく開かれていることの検証で構成されます。 OP_CAT を使用すると、ビットコイン スクリプトでマークル ツリー エントリを作成して開くことができるようになります。これは、マークル ツリーの作成と検証を可能にする中心的な操作が 2 つの値を連結してハッシュすることであるためです (OP_CAT は連結を可能にします)。他の規約対応のオペコードの方が強力である可能性もありますが、OP_CAT は現在議論されている唯一のオペコードで、マークル ツリーの検証が可能です。
スタークを選ぶ理由つまり、それらは最大のスケールを提供し、最も多くの戦闘でテストされ、最も安全であり、信頼セットアップの「有害な廃棄物」や珍しい暗号プリミティブを必要とせず、さらには量子後の安全性さえ備えています。新しい STARK 証明者検証者Stwo は、ビットコイン スタックに適合し、より効率的な小さな数値を使用します。
スタークネットを選ぶ理由Starknet はすでに、イーサリアム上に活発な開発者コミュニティと、スケーリングの全能力を発揮するプログラミング言語を持っています。 Starknet のネイティブ (およびオープンソース) Cairo言語は、Rust を知っている開発者にとっては馴染みのある言語です。現在のビットコインコミュニティには、オンチェーンアクティビティの世界を構築するための明確な高級言語がありません。私はカイロがこのギャップを埋め、ビットコインの母国語の一つになることを願っています。