Starknet（スタークネット／STRK）とは

イーサリアムのブロック容量は限られており、利用が増えると手数料が上がります。ロールアップはこの制約に対する回答のひとつで、実行を別の環境に移し、イーサリアムには結果の要約だけを記録します。Starknetはそのうち、結果の正しさを証明で示す「バリディティ・ロールアップ」に分類されます。

証明方式にはSTARKが使われます。ZK-SNARKと比べて証明のデータ量は大きくなりますが、生成時に信頼できる初期パラメータを用意する儀式が不要で、量子計算に対する耐性の面でも有利とされます。証明の検証はイーサリアム上の契約が行い、検証に通った結果だけが確定します。

開発言語はCairoです。STARK証明を効率よく生成できるように設計された言語で、EVM互換のチェーンのようにSolidityのコードをそのまま移植することはできません。この点は移行コストになりますが、証明生成に適した設計を優先した結果です。

STRKトークンは手数料の支払いに使えるほか、プロトコルの方針決定に関わる用途が設けられています。ネットワークの運営面では、取引の順序を決めるシーケンサと証明を生成するプルーバーが当初は運営主体によって単独で運用されており、分散化は段階的な課題として扱われています。