Ethereum L2・STARK ZK Rollup ・Cairo VM・2022年より稼働

Starknet

STRK

StarkNetはStarkWareが構築したEthereumレイヤー2であり、 STARK zero-knowledge proofs と、証明可能な計算のために専用設計されたCairo仮想マシンを使用する。

Zypto Appで利用可能 Zypto Appでは未対応
タイプEthereum L2(ZKロールアップ)
証明システムSTARKs(StarkWare)
ネイティブトークンSTRK
ガストークンETHおよびSTRK
VMCairo VM
Smart contract 言語Cairo
ローンチ2022(メインネットアルファ)
開発元StarkWare
概要

Starknetをひと目で。

StarkNetは、信頼できるセットアップを必要としないゼロ知識証明の一種であるSTARKsを用いて、Ethereum上でトランザクションのバッチを検証する。そのプログラミング言語Cairoは、効率的に証明可能であることを前提にゼロから設計されており、単純なトークン送金を超えた検証可能なプログラムを書くためのツールを開発者に提供する。

Total value locked (DeFi)

$185.7M

Starknet上のDeFiプロトコルにロックされた資産額. Updated Jun 8, 2026. 出典: DefiLlama。

ネイティブトークン

STRK

手数料の支払いとネットワークの安全性維持に使われます。STRKのリアルタイム価格を確認。

仕組み

Starknetの仕組み。

StarkNetはトランザクションをCairo VM上でオフチェーン実行し、Ethereum上の検証コントラクトへ送信されるSTARK証明を生成する。STARKsは耐量子性を持ち、信頼できるセットアップ儀式を必要としない点でSNARKベースのシステムと異なる。STRKトークンはFebruary 2024にローンチし、ETHとともにトランザクション手数料の支払いに使われる。

Consensus:STARK ZKロールアップ

StarkNetはトランザクションをCairo VM上でオフチェーン実行し、Ethereum上の検証コントラクトへ送信されるSTARK証明を生成する。STARKsは耐量子性を持ち、信頼できるセットアップ儀式を必要としない点でSNARKベースのシステムと異なる。STRKトークンはFebruary 2024にローンチし、ETHとともにトランザクション手数料の支払いに使われる。

Cairoプログラミング言語

Cairoは、STARKsによって効率的に証明可能なプログラムを書くために設計されたチューリング完全な言語である。Solidityとは異なり新しいパラダイムの習得が必要だが、Solidityでは表現できない証明可能な計算を可能にする。

STARK証明

STARK証明は透明性が高く(信頼できるセットアップ不要)、耐量子性を持ち、高いスケーラビリティを備える。証明サイズと検証コストは計算量に対して対数的にしか増加しないため、非常に大きなバッチでも効率的である。

アカウントアブストラクション

zkSync Eraと同様に、StarkNet上のすべてのアカウントはスマートコントラクトである。これは拡張機能として追加されたものではなくプロトコルに組み込まれており、高度なウォレット機能を標準で実現する。

STRKトークン

STRK was distributed to early community members and contributors in early 2024. It is used for gas fees and for staking in the decentralized sequencer モデルにおけるステーキングに使用される(StarkWareが構築を目指しているもの)。

エコシステムと用途

Starknetの使い道。

StarkNetには、DEX、レンディング市場、そして証明可能な計算を活かした新しいユースケースのアプリケーションなど、主にCairoコントラクトで構築された成長中のDeFiエコシステムがある。

DefiLlama

暗号学的証明を備えたDeFi

StarkNet上でスワップ、レンディング、イールド獲得ができる。手数料はEthereumメインネットより低く、すべての状態変化はEthereum上のSTARK証明によって検証される。

証明可能なゲーミング

Cairoは、ゲームロジックの正しさを証明できるオンチェーンゲームを実現し、オプティミスティック実行では不可能な完全に検証可能なゲームメカニクスを可能にする。

アイデンティティと資格情報

StarkNetの証明システムは、基となるデータを明かすことなく資格情報やアイデンティティの主張を検証でき、プライバシーを保護するアプリケーションに有用である。

大規模な計算

STARK証明はバッチサイズに対して優れたスケーラビリティを持つため、StarkNetは大量の計算をEthereum上で検証する必要があるアプリケーションに適している。

TVL別トップ・プロトコル ・Jun 8, 2026 更新
Zypto Appで利用可能

STRKを保有、スワップ、利用。

StarknetはZypto Appに統合されています。STRKをセルフカストディで保有し、対応する任意の資産にスワップして、Zyptoの各機能で活用できます。

次にStarknetが追加されるきっかけを作りましょう。

StarknetはまだZypto Appにありません。フォロワーにリクエストを投稿してください。需要の多いチェーンから優先的に対応します。

Xでリクエスト
よくある質問

よくある質問。

Cairoとは何か、StarkNetを利用するために習得する必要はあるか?
Cairoは、証明可能なプログラムを書くために設計されたStarkNetのスマートコントラクト言語である。ユーザーとして利用するだけなら習得は不要だが、開発者としてはSolidityではなくCairoを学ぶ必要がある。ただし現代のCairoにはRustに似た構文が採用されており、以前より習得しやすくなっている。
STARKsはSNARKsとどう違うのか?
STARKsは信頼できるセットアップ儀式を必要とせず、透明性が高い。また耐量子性も備えている。トレードオフとしてSNARKsよりも証明サイズが大きくなるが、Ethereum上での検証コストはほぼ同等である。
STRKとは何か?
STRKはStarkNetのネイティブトークンで、February 2024にローンチされた。トランザクション手数料の支払いに使われ、StarkNetの分散型シーケンサーシステムが展開された際にはステーキングにも使用される予定である。
StarkNetの出金にはどのくらい時間がかかるか?
ZK証明の検証がオプティミスティックな不正証明期間に代わるため、出金は optimistic rollupsよりも速い。ファイナリティは証明の生成と、Ethereumの confirmationにかかる時間に依存し、通常は日単位ではなく時間単位で完了する。
Zypto AppでSTRKを保有できるか?
いいえ。現時点でSTRKはZypto Appに未対応です。セルフカストディ型ウォレットであればどれでも保管できます。Starknetの追加は上の「Starknetをリクエスト」ボタンからご要望ください。
他のチェーンを見る

関連するネットワーク。

Zypto App

学びから実践へ。

20以上のブロックチェーンにまたがる暗号資産を、ひとつの自己管理型アプリで保有・スワップ・利用しよう。実世界で使えるリアルなVisaカード付き。

自己管理型・鍵を持つ者が資産を持つ。
リアルタイムヒートマップ 暗号資産のリアルタイムヒートマップを見る 暗号資産市場全体を、リアルタイムのサイズと色で表示
またはリンクだけをすばやくシェア

Zyptoユーザーの声

優秀 4.7 に基づく 220 レビュー Trustpilotのすべてのレビューを見る
このコンテンツは利便性のために自動翻訳されています。ご不明な点がある場合は英語版をご参照ください。