StarkWare が開発した Starknet は、より高速で安価なトランザクションを提供することで Ethereum ネットワークを強化するように設計された高度なレイヤー 2 (L2) スケーリング ソリューションです。「ゼロ知識」(ZK) ロールアップではなく「有効性ロールアップ」と呼ばれることが多い Starknet は、プライバシーよりもトランザクションの有効性の確保を優先します。
Starknet の特徴をまとめると次のようになります。
1. 特殊な仮想マシン: Cairo VM
#Starknet は、Ethereum の EVM とは異なる独自の仮想マシンである Cairo VM を採用しています。Rust にヒントを得た Cairo の構文は、開発者に優しいように設計されており、証明可能なプログラムの作成を容易にします。この特殊な VM は、レイヤー 2 ソリューションで利用できる柔軟な設計空間を示し、従来の Ethereum 開発環境を超えたイノベーションの可能性を強調しています。
2. 高度な暗号証明: STARK
Starknet は、スケーラブルで透明な知識の証明 (STARK) を使用して、優れたセキュリティと安価なトランザクション コストを提供します。STARK は、ネットワークの整合性と効率性を保証する高度な暗号化証明です。これらの証明は、セキュリティを向上させるだけでなく、計算オーバーヘッドを大幅に削減し、トランザクションのコスト効率とスケーラビリティを高めます。
3. アカウント抽象化（AA）
Starknet のアカウント抽象化機能は、多要素認証、ソーシャルリカバリ、ガスレストランザクションを有効にすることでユーザーエクスペリエンスを向上させます。これにより、分散型アプリケーション (dApps) のユーザーエクスペリエンスが向上し、一般ユーザーがアクセスしやすくなります。アカウント抽象化により、ブロックチェーン技術とのやり取りが簡素化され、エンドユーザーと開発者の両方にとっての摩擦が軽減されます。
運用メカニズム
トランザクションライフサイクル
シーケンサー: Starknet で開始されたトランザクションは、まずシーケンサーによって受信され、オフチェーンでトランザクションを収集して順序付けする役割を担います。シーケンサーは最初のゲートキーパーとして機能し、トランザクションが適切にキューに入れられ、処理されるようにします。
バッチ処理: シーケンサーはこれらのトランザクションをバッチで処理し、まとめて実行して、結果を 1 つの証明に集約します。バッチ処理により、リソースの使用が最適化され、ネットワークのスループットが向上します。
証明者: 証明者は Cairo プログラミング言語を使用して STARK 証明を生成し、それを Ethereum メインネットで検証します。検証されると、ネットワークの状態が Ethereum 上で更新され、トランザクションのセキュリティと整合性が確保されます。このプロセスにより、すべてのオフチェーン アクティビティがメインネットに正確に反映され、信頼性と透明性が維持されます。
費用対効果
ユーザー数とトランザクション数が増加すると、バッチはより大きく、より頻繁になり、コスト配分が最適化され、Starknet のコスト効率がますます高まります。この効率性により、Starknet は大規模なアプリケーションや高トランザクション環境向けの実用的なソリューションとなり、従来の Ethereum トランザクションに比べて大幅な節約を実現します。
未来: ステーキングと高度な証明者
Starknetでのステーキング
Starknet は、2024 年末までに STRK トークンのステーキングを開始する予定です。ユーザーは、STRK トークンを少なくとも 3 週間ロックすることでステーカーになり、ステーキングした金額に比例した報酬を獲得できます。このステーキング メカニズムは段階的に導入され、最終的にはステーカーがリアルタイムの認証とネットワーク セキュリティ プロセスに参加するようになります。
ストウ・プローバー：次世代
StarkWare は、Circle STARK プロトコルを実装する新しい証明器 Stwo を開発しています。Stwo は、メルセンヌ素数体 M31 を活用して前例のない証明パフォーマンスを実現し、Apache 2.0 でオープンソース化されます。
サークル STARK プロトコル
Polygon Labs と共同で開発された Circle STARK プロトコルは、従来の STARK プロトコルの制約を受けずに効率的な計算を可能にし、より高速で効率的な STARK 証明を可能にします。このイノベーションは、暗号研究と実用化における大きな飛躍を表しています。
Stwoのメリット
Stwo はスケーリングを強化し、レイテンシと料金を削減し、高レベルの Cairo コードと完全に互換性があります。開発者が既存のアプリケーションを変更することなく、Starknet のパフォーマンスが向上します。このシームレスな統合により、既存の開発ワークフローを中断することなく、Stwo の利点を実現できます。
ビットコインの統合：広がる展望
StarkWare は、#Bitcoin Signet ネットワークで最初の ZK 証明を検証することでマイルストーンを達成しました。「OP_CAT」提案は、ビットコインにスマート コントラクト機能を導入し、プライベート L2 をビットコイン エコシステムに統合するための重要なステップとなります。
ビットコインのスケーリングのメリット
拡張性の向上: ビットコインを拡張することで、Starknet は、ビットコインの現在の処理能力である 1 秒あたり約 13 件のトランザクションと比較して、1 秒あたり数百万件のトランザクションを処理することを目指しています。この拡張性は、ビットコインがより幅広いアプリケーションとより高いトランザクション量をサポートするために不可欠です。
金融包摂: スケーラビリティの向上により、従来の銀行サービスにアクセスできない世界中の 15 億人の人々に金融サービスを提供できます。これは、銀行口座を持たない人々や銀行口座を十分に利用できない人々に金融サービスを提供するという、ビットコインの当初のビジョンと一致しています。
プライバシー: STARK を使用した強化されたトランザクション プライバシーにより、多くのユーザーにとって重要な懸念事項であるビットコイン トランザクションのプライバシーが大幅に向上します。
金融イノベーション: Starknet でビットコインを拡張すると、プログラム可能な金庫、リスク管理ツール、デリバティブなど、ビットコイン上の高度な金融商品をサポートできます。このイノベーションにより、ビットコインの新しいユースケースとアプリケーションが促進され、その有用性と採用が強化されます。
助成金とコミュニティ支援
シードグラントプログラム
シード グラント プログラムは、初期段階のイノベーションを促進するために、最小限の実行可能な製品 (MVP) または概念実証を持つプロジェクトに最大 25,000 ドルの USDC を提供します。この資金は、Starknet エコシステムに大きな影響を与えることを目指す新しいプロジェクトにとって非常に重要です。
アプリケーションプロセス
シード グラント プログラムの申請プロセスは簡素化されており、通常は提出後 2 週間以内に決定が下されます。この迅速な処理時間により、プロジェクトは不必要な遅延なく必要なサポートを受けることができます。
コミュニティの取り組み
Provisions プログラムや Ambassadors プログラムなどのプログラムは、開発者、愛好家、その他の関係者を関与させてサポートし、Starknet を中心とした強力なコミュニティを構築します。これらの取り組みはコラボレーションとイノベーションを促進し、Starknet エコシステムの成長と成功を促進します。
イーライ・ベン・サッソン: 先見の明のあるリーダー
StarkWare の共同設立者兼 CEO である Eli Ben-Sasson 氏は、学術界とブロックチェーン技術開発において豊富な経歴を持っています。同氏はヘブライ大学で理論計算機科学の博士号を取得し、ハーバード大学、MIT、プリンストン高等研究所で研究職を務めました。イスラエル工科大学テクニオンの教授として、ブロックチェーン技術にとって極めて重要な分野である計算複雑性とゼロ知識証明を専門としていました。
Eli 氏の仕事は、スケーラブルで安全な暗号化プロトコルの開発の基礎となっています。彼は、STARK、FRI、Zerocash プロトコルの共同発明者であり、Zcash Company の創立科学者でもあります。StarkWare での彼のリーダーシップは、プライバシーやスケーラビリティなど、ブロックチェーンの最も困難な問題に対処する画期的なテクノロジーの開発を推進してきました。彼の指導の下、StarkWare はブロックチェーン システムの効率性とセキュリティを強化する革新を先導し続けています。
結論: 今後の道筋
Ethereum のトップ レイヤー 2 ソリューションである Starknet は、開発者に自由、セキュリティ、スケーラビリティを提供します。Stwo 証明器の導入と継続的なアップグレードにより、Starknet はさらなるパフォーマンスの向上と料金の削減を約束しています。継続的な開発により、Starknet はデジタル金融および分散型アプリケーション業界を完全に変革し、消費者と開発者の両方にこれまでにない可能性を提供する可能性があります。
