zk-STARK

zk-STARKとは？

zk-STARKは、暗号資産で使用されるゼロ知識証明システムの一種です。すべてのネットワーク参加者が完全な計算を繰り返さなくても、計算が正しく実行されたことを証明できます。

zk-STARKは、Zero-Knowledge Scalable Transparent Argument of Knowledgeの略です。

ブロックチェーンシステムでは、zk-STARKは主にスケーリング、セキュリティ、検証可能な計算のための有効性証明として議論されます。

zk-STARKでは、証明者（prover）と呼ばれる一方の当事者が、検証者（verifier）と呼ばれる別の当事者に対し、複数のトランザクションまたは複雑な計算が有効であることを示せます。

検証者は、最初から完全な計算を実行するよりもはるかに速く証明を確認できます。

これは、パブリックブロックチェーンのブロックスペースには限りがあり、ベースレイヤーで無制限の活動を低コストで処理できないため、暗号資産にとって有用です。

計算をオフチェーンに移し、証明によってオンチェーンで結果を検証することで、zk-STARKはブロックチェーンネットワークがより多くのユーザーとより複雑なアプリケーションをサポートするのに役立つ可能性があります。

Ethereum公式のゼロ知識証明の解説では、ZK-STARKは信頼できるセットアップに依存しない、スケーラブルかつ透明な証明システムと説明されています。

StarkWareのSTARK技術概要でも、STARKは最小限かつ耐量子性を考慮した前提に基づき、スケーラブルな検証を目的に設計された証明システムと説明されています。

暗号資産ユーザーにとって最も簡単な理解方法は、zk-STARKとは、すべての人に作業全体を手作業で確認させずに、ブロックチェーン関連の計算が正しいことを示す数学的な証拠だということです。

zk-STARKが暗号資産で重要な理由

zk-STARKが重要なのは、ブロックチェーンに信頼性と効率性の両方が必要だからです。

ブロックチェーンが有用なのは、ユーザーが中央運営者を信頼せずにルールを検証できるためです。

しかし、多数のトランザクション、スマートコントラクト、トークン送金、ゲーム、決済、分散型金融の操作を処理する場合、完全な検証は高コストになる可能性があります。

zk-STARKは、大規模な計算をより小規模な検証プロセスで証明できるようにすることで、その負担を軽減します。

これにより、強力な検証モデルを維持しながら、ブロックチェーンをより高速、低コスト、かつスケーラブルにできる可能性があります。

多くの最新ブロックチェーンシステムでは、zk-STARKは主にすべてのトランザクションデータを隠すために使われているわけではありません。

多くの場合、トランザクションのバッチまたは状態更新がルールに従ったことを証明する有効性証明として使われます。

StarkWareは、ゼロ知識証明によるブロックチェーンのスケーリングに関する記事で、多くのLayer 2システムが主に、検証者の作業を少なくしてトランザクションの完全性を確立するためにこれらの証明を使用していると説明しています。

「ゼロ知識」という表現により、初心者はzk-STARKがプライバシーだけに関するものだと考える可能性があるため、この違いは重要です。

プライバシーは1つのユースケースですが、スケーラビリティと検証可能な計算も主要なユースケースです。

暗号資産インフラにおいて、zk-STARKはロールアップ、有効性証明、検証可能な実行、プライベートアプリケーション、証明ベースのID、効率的な検証に依存する将来のブロックチェーン設計を支えられます。

zk-STARKの仕組み

zk-STARKは、計算を効率的に確認可能な数学的証明へ変換することで機能します。

証明者はまず、例えば多数のブロックチェーントランザクションをオフチェーンで処理するなど、計算を実行します。

次に証明者は、計算が必要なルールに従ったことを示す証明を作成します。

検証者は計算全体を繰り返す代わりに、その証明を確認します。

証明が有効であれば、検証者は結果を受け入れます。

証明が無効であれば、検証者は結果を拒否します。

ブロックチェーンの環境では、検証者は多くの場合、ベースチェーン上のスマートコントラクトです。

例えば、Layer 2ネットワークはベースチェーンの外部で多数のトランザクションを処理し、新しい状態が有効であることを示すzk-STARK証明を提出できます。

ベースチェーンはバッチ内のすべてのトランザクションを実行する必要はありません。

証明を検証し、証明が正しければ状態更新を受け入れるだけで済みます。

この設計により、ベースレイヤーで必要な計算量を減らせる可能性があります。

また、セキュリティをベースチェーンにアンカーしたまま、ブロックチェーンエコシステムでより多くの活動を処理できる場合があります。

ユーザーの視点では、これは手数料の低下、より高速な操作、よりスムーズなアプリケーション体験を意味する場合があります。

zk-STARKの名称の内訳

「zk」はゼロ知識を意味します。

ゼロ知識とは、ある主張の背後にあるすべての非公開情報を明かさずに、その主張が真であることを証明できることです。

暗号資産では、すべてのzk-STARKベースのシステムが完全なトランザクションプライバシーを目的としているわけではありませんが、これは機密データの保護に役立つ可能性があります。

「S」はScalable（スケーラブル）を意味します。

スケーラブルとは、特に計算が検証作業よりはるかに大きい場合に、大規模な計算を効率的に処理するよう証明システムが設計されていることを意味します。

「T」はTransparent（透明性）を意味します。

透明性とは、zk-STARKが秘密の公開パラメーターを生成するための信頼できるセットアップセレモニーを必要としないことです。

これは、zk-STARKと一部の旧来のゼロ知識証明システムの最も重要な違いの1つです。

「ARK」はArgument of Knowledge（知識の議論）を意味します。

これは、証明者が有効な結果を作成するために必要な情報を知っていることを証明が示すという意味です。

StarkWareのSTARK解説は、STARK技術ドキュメントにおいて、これらの要素をZero-Knowledge、Scalable、Transparent、Argument of Knowledgeと説明しています。

zk-STARKの透明性とは？

透明性は、zk-STARKが重要である最大の理由の1つです。

一部のゼロ知識証明システムには、信頼できるセットアップが必要です。

信頼できるセットアップとは、証明システムで使用するパラメーターを作成するプロセスです。

このセットアップの秘密情報が正しく破棄されなければ、重大なセキュリティリスクを生じる可能性があります。

この隠された秘密は、暗号技術の議論では「toxic waste」と呼ばれることがあります。

zk-STARKは、秘密のセットアップ資料に依存せず、公開検証可能なランダム性を使用するため、この問題を回避します。

Ethereumのゼロ知識証明ドキュメントでは、ZK-STARKは信頼できるセットアップではなく、公開パラメーターの生成に公開検証可能なランダム性を依存すると説明されています。

この透明性は、zk-STARKをオープンなブロックチェーンシステムにとって魅力的なものにし得ます。

パブリックブロックチェーンは、私的な主体への信頼の必要性を減らすことを目的としています。

信頼できるセットアップセレモニーを回避する証明システムは、その目標によく適合します。

ユーザーにとって透明性とは、過去のセットアップセレモニーが完全に正しく処理されたと信じる必要がないことを意味します。

開発者にとっては、証明ベースのシステム構築時の運用およびセキュリティの複雑さを軽減できる場合があります。

zk-STARKとzk-SNARKの比較

zk-STARKとzk-SNARKはいずれもゼロ知識証明システムですが、異なるトレードオフがあります。

zk-SNARKは通常、非常に小さな証明を生成し、効率的に検証できます。

zk-STARKは通常、より大きな証明を生成しますが、信頼できるセットアップを必要としません。

Ethereumのゼロ知識証明ガイドでは、ZK-STARKは一般的にZK-SNARKより大きな証明を生成し、検証のオーバーヘッドが高くなる可能性があるとされています。

一方で、zk-STARKは非常に大規模な計算に対してよりスケーラブルになる可能性があります。

また、楕円曲線に関する前提ではなくハッシュベースの前提に依存するため、将来の量子コンピューティングの脅威に対してより耐性があると一般に説明されています。

これは、zk-STARKがあらゆる状況で自動的に優れていることを意味しません。

証明サイズ、検証コスト、証明者の処理時間、開発者ツール、スマートコントラクト対応、アプリケーションの要件はいずれも重要です。

プロジェクトは、小さな証明と成熟したツールが必要な場合、zk-SNARKを選ぶことがあります。

透明性、大規模計算へのスケーラビリティ、将来の量子攻撃に対するより強い前提を重視する場合、zk-STARKを選ぶことがあります。

適切な選択はシステム設計によって異なります。

zk-STARKとブロックチェーンのスケーリング

ブロックチェーンのスケーリングは、zk-STARKの最も重要なユースケースの1つです。

多くのベースレイヤーブロックチェーンは、ユーザー需要が高まると高コスト化します。

すべてのノードがすべてのトランザクションを実行する必要がある場合、システムは低速または高コストになる可能性があります。

zk-STARKは、計算をオフチェーンで実行し、ベースチェーンではコンパクトな証明を検証できるようにすることで役立ちます。

これは、有効性ロールアップなどのLayer 2システムで特に有用です。

有効性ロールアップは、ベースチェーンの外でトランザクションを処理し、状態遷移が有効であることを示す証明を提出します。

Starknetは、公式ネットワーク概要で、高度な数学と暗号技術によりオフチェーントランザクションを検証するSTARK技術を使用した有効性ロールアップであると説明しています。

このモデルでは、ベースチェーンは決済およびセキュリティレイヤーとして残ります。

ロールアップはより効率的に実行を処理します。

STARK証明は、オフチェーン実行が正しかったことを証明することで、2つのレイヤーを結び付けます。

ベースチェーンが各ユーザー操作を直接処理するのではなく証明を検証するため、スループットを向上できる可能性があります。

また、多くのユーザーが1つの証明と1つの状態更新のコストを共有するため、手数料を削減できる場合があります。

zk-STARKと有効性証明

暗号資産では、zk-STARKは有効性証明として説明されることがよくあります。

有効性証明は、計算が正しく実行されたことを確認します。

これは、誰かが異議を申し立てない限り結果が正しいと仮定する不正証明モデルとは異なります。

有効性証明では、結果が受け入れられる前に正しさが証明されます。

一部の他のスケーリング設計で必要となる長い異議申立期間を、ユーザーが同じように待つ必要がないため、ファイナリティを向上できる場合があります。

例えば、ロールアップはトランザクションのバッチを処理し、zk-STARK証明を生成してベースチェーンに提出できます。

証明が検証されると、状態更新は有効として受け入れられます。

これはベースチェーンの役割を変えるため強力です。

ベースチェーンは、すべての操作を実行する必要がなくなります。

証明ベースの計算を検証する役割を果たします。

これは、多くのブロックチェーン研究者が有効性証明を大規模な暗号資産採用への重要な道筋と考える理由の1つです。

zk-STARKとプライバシー

zk-STARKはプライバシーをサポートできますが、プライバシーが自動的に得られるわけではありません。

ゼロ知識証明は、主張が真であることを証明しながら、特定の入力を隠すことができます。

例えば、ユーザーは、その条件の背景にあるすべての個人情報を公開せずに、条件を満たしていることを証明できる場合があります。

ブロックチェーン決済では、証明システムにより、すべてのトランザクション情報を公開せずにトランザクションが有効であることを証明できる場合があります。

ただし、多くのzk-STARKベースのスケーリングシステムは、完全なプライバシーではなく正しさのために証明を使用しています。

ネットワーク設計によっては、トランザクションデータが依然として可視である場合があります。

そのため、チェーンまたはアプリケーションがzk-STARKを使用しているからといって、プライベートであると想定すべきではありません。

どのデータが公開され、どのデータが隠され、ウォレット行動を通じてどの情報が依然として関連付けられる可能性があるかを確認すべきです。

SEOおよびユーザー教育における重要な点は、zk-STARKは証明技術であり、それ自体がプライバシーを保証するものではないということです。

zk-STARKとデータ可用性

データ可用性は、zk-STARKベースのブロックチェーンシステムにおける主要な問題です。

有効性証明は、状態遷移が正しかったことを示せます。

しかし、ユーザーがチェーンの状態を理解し、残高を確認し、安全に資金を出金するには、十分なデータにアクセスできる必要があります。

トランザクションデータまたは状態データが利用できない場合、証明が有効であっても、ユーザーは自らのポジションを独立して検証するのに苦労する可能性があります。

このため、ロールアップ設計では証明の有効性とデータ可用性の両方を考慮する必要があります。

zk-STARK証明は、計算が正しく実行されたかという問いに答えます。

データ可用性は、ユーザーがシステムを追跡するために必要な情報へアクセスできるかという問いに答えます。

強力なブロックチェーンスケーリング設計は、両方の問いに明確に対応すべきです。

ユーザーは、データがベースチェーンに投稿されるのか、データ可用性レイヤーを通じて保存されるのか、別の委員会または運営者によって保持されるのかを確認すべきです。

その答えによってセキュリティモデルは変わります。

zk-STARKのメリット

zk-STARKの1つ目のメリットは透明性です。

zk-STARKは信頼できるセットアップを必要としないため、ユーザーは秘密のセットアップ資料が正しく破棄されたと信頼する必要がありません。

2つ目のメリットはスケーラビリティです。

zk-STARKは、大規模な計算をより容易に検証できるよう設計されています。

このため、ロールアップ、ブロックチェーンゲーム、大量決済、複雑な分散型アプリケーションに有用です。

3つ目のメリットは、強力なセキュリティ前提です。

zk-STARKは、暗号技術で広く研究されているハッシュ関数に大きく依存しています。

4つ目のメリットは、将来の量子攻撃への潜在的な耐性です。

Ethereumのゼロ知識証明ドキュメントでは、ZK-STARKは衝突耐性ハッシュ関数に依存するため、量子コンピューティングの脅威に対して耐性があるとみなされていると述べられています。

5つ目のメリットは、幅広い有用性です。

zk-STARKは、ブロックチェーンのスケーリング、プライベート計算、IDシステム、検証可能な機械計算、証明ベースのインフラに適用できます。

6つ目のメリットは監査可能性です。

検証者は証明を確認し、すべての手順を繰り返さずに計算が有効だったという確信を得られます。

zk-STARKの制限

zk-STARKの1つ目の制限は証明サイズです。

zk-STARK証明は通常、zk-SNARK証明より大きくなります。

証明が大きいと、ストレージ、帯域幅、オンチェーン検証コストが増加する可能性があります。

2つ目の制限は、証明生成の複雑さです。

zk-STARK証明の作成には、大きな計算能力、専門的なソフトウェア、最適化されたインフラが必要になる場合があります。

3つ目の制限は、開発の難しさです。

高度な証明システムを使用するアプリケーションの構築には、暗号技術、プログラミング言語、回路設計、ブロックチェーンエンジニアリングの知識が必要です。

4つ目の制限は、ユーザーの混乱です。

多くのユーザーは「zk」を見てプライベートなシステムだと想定しますが、多くのzk-STARKシステムは主にスケーラビリティのために構築されています。

5つ目の制限は、インフラの集中化です。

証明生成に高価なハードウェアや専門運営者が必要な場合、証明プロセスはユーザーが想定するよりも集中化する可能性があります。

6つ目の制限は、一部のチェーンにおける検証コストです。

検証は大規模な計算を再実行するよりはるかに低コストですが、それでもコストは発生します。

ブロックチェーンアプリケーションでは、このコストを多数のトランザクションをバッチ化することによる節約と比較する必要があります。

zk-STARKの一般的なユースケース

zk-STARKの最も一般的な暗号資産ユースケースは、Layer 2のスケーリングです。

Layer 2ネットワークは、オフチェーンのトランザクションバッチが有効であることを示すためにzk-STARK証明を使用できます。

これにより、ベースチェーンとの強い結び付きを維持しながら、手数料を抑え、スループットを向上させるのに役立ちます。

別のユースケースは、検証可能な計算です。

ユーザーまたはアプリケーションは、すべての検証者に作業を繰り返させることなく、計算が正しく実行されたことを証明できます。

これは、ゲーム、金融アプリケーション、オークション、投票システム、複雑なスマートコントラクトロジックに役立つ場合があります。

3つ目のユースケースは、プライベートIDです。

ユーザーは、不要な個人データを開示せずに、必要年齢を超えている、または承認済みグループに所属しているなどの条件を満たすことを証明できる場合があります。

4つ目のユースケースは、コンプライアンスに配慮したプライバシーです。

証明は、他の情報を非公開にしたまま、ユーザーが選択した事実を開示するのに役立ちます。

5つ目のユースケースは、ブロックチェーン圧縮です。

大量のトランザクション活動を、すべてのノードによる完全な再実行ではなく、証明とコミットメントで表現できます。

6つ目のユースケースは、将来の証明ベースのインフラです。

ゼロ知識研究が進展するにつれ、zk-STARKは検証可能なAI計算、クロスチェーンメッセージング、分散型ID、高性能ブロックチェーンアプリケーションのシステムの一部となる可能性があります。

zk-STARKと量子耐性

量子耐性は、zk-STARKが暗号資産のセキュリティに関する議論で注目を集める理由の1つです。

一部の証明システムは楕円曲線暗号を使用します。

十分に大規模な量子コンピューターは、将来的に特定の楕円曲線に関する前提を脅かす可能性があります。

zk-STARKは通常、衝突耐性ハッシュ関数を基盤とするため異なります。

これにより、楕円曲線ペアリングに依存する証明システムとは異なるセキュリティプロファイルが得られます。

Ethereumのゼロ知識証明ドキュメントでは、ZK-STARKは衝突耐性ハッシュに依存するため、量子コンピューティングの脅威に対して耐性があるとみなされていると説明されています。

これは、zk-STARKを使用するすべてのブロックチェーンシステムが、設計のあらゆる部分において完全に量子耐性を持つことを意味しません。

ウォレット署名、ブリッジ、スマートコントラクト、その他の暗号コンポーネントは異なる前提を使用している場合があります。

それでもzk-STARKは、より将来耐性のある前提を持つ証明技術を求めるシステムにとって強力な選択肢と見なされることが多いです。

zk-STARKと標準化

ゼロ知識証明システムは、現在も高度かつ急速に進化する暗号技術分野です。

開発者、監査者、規制当局、ユーザーには共通の用語とベストプラクティスが必要であるため、標準化は重要です。

ZKProof Community Referenceは、ゼロ知識証明開発のための用語、例、解説、推奨事項を推進しています。

米国国立標準技術研究所も、プライバシー強化暗号技術のゼロ知識証明ページを通じて、ZKProofとの過去の協力を記録しています。

証明システムは多額のユーザー価値を保護し得るため、これは暗号資産にとって重要です。

数学的なアイデアが強力でも、実装が脆弱であればリスクが生じる可能性があります。

優れた標準、慎重な監査、オープンな研究、ピアレビューは、こうしたリスクの軽減に役立ちます。

zk-STARKの採用が拡大するにつれて、ユーザーを保護するためにセキュリティレビューと形式手法は引き続き重要となります。

zk-STARKが暗号資産ユーザーに与える影響

ほとんどのユーザーがzk-STARK証明を手作業で作成することはありません。

それでも、証明ベースのスケーリングに依存するアプリケーションを利用する際に、zk-STARKの恩恵を受ける場合があります。

例えば、ユーザーはSTARK証明を使用するLayer 2ネットワーク上でトークン送金を行うことがあります。

ユーザー体験は通常のトランザクションのように感じられるかもしれませんが、その背後ではシステムが活動をバッチ化し、正しさを証明しています。

これにより手数料が下がり、分散型アプリケーションを利用しやすくなる可能性があります。

ユーザーは依然としてリスクを理解すべきです。

zk-STARK証明は、すべてのスマートコントラクトリスクを取り除くものではありません。

プライバシーを自動的に保証するものでもありません。

ブリッジリスクを排除するものでもありません。

シーケンサーまたは運営者が完全に分散化されていることを保証するものでもありません。

システムが定義した特定の計算または状態遷移を証明するにすぎません。

この証明は強力ですが、より大きなブロックチェーンセキュリティモデルの一部です。

開発者によるzk-STARKの利用方法

開発者は、直接実行よりも検証が低コストなシステムを構築するためにzk-STARKを使用します。

これには、証明に適した言語でプログラムを書き、ロジックを中間表現にコンパイルし、証明を生成し、オンチェーンまたはオフチェーンで証明を検証することが含まれる場合があります。

一部のエコシステムでは、STARKベースの計算向けに設計された特別なプログラミング言語を使用しています。

開発者は、何の主張を証明しているのかを慎重に考える必要があります。

証明の有用性は、それが表すルールによって決まります。

プログラムにバグがあれば、証明は誤ったロジックを正しく証明する可能性があります。

そのため、監査、テスト、形式検証、慎重な設計が重要です。

開発者は、証明生成時間、証明サイズ、検証コスト、データ可用性、アップグレードパス、ユーザーの退出手段も考慮する必要があります。

暗号資産において、証明システムはプロダクト設計と切り離されたものではありません。

手数料、セキュリティ、分散化、ユーザー体験を形作ります。

zk-STARKを簡単に言うと

zk-STARKは、教師が生徒の作業のすべての行を読む代わりに、特別な証明書で生徒の最終回答を確認するようなものです。

その証明書は、作業がルールに従って行われたことを証明します。

教師は証明書を素早く確認できます。

ブロックチェーンの用語では、生徒が証明者です。

教師が検証者です。

宿題は、数千件のトランザクションのような大規模な計算です。

証明書がzk-STARK証明です。

パブリックブロックチェーンでは、すべてのノードにすべての重い計算を永続的にやり直させる余裕がないため、これは有用です。

zk-STARKにより、ブロックチェーンはより少ない作業でより多くの活動を検証できます。

これが、暗号資産のスケーラビリティにおいて重要である理由です。

FAQ

zk-STARKとは何の略ですか？

zk-STARKは、Zero-Knowledge Scalable Transparent Argument of Knowledgeの略です。

zk-STARKは暗号資産で何に使われますか？

zk-STARKは、すべての検証者が完全な計算を繰り返さなくても、ブロックチェーン計算またはトランザクションバッチが有効であることを証明するために使用されます。

zk-STARKはプライバシー専用ですか？

いいえ。zk-STARKはプライバシーをサポートできますが、多くのブロックチェーンシステムでは主にスケーラビリティと有効性証明のために使われます。

zk-STARKが透明と呼ばれるのはなぜですか？

秘密の公開パラメーターを作成するための信頼できるセットアップセレモニーを必要としないため、透明と呼ばれます。

zk-STARKはzk-SNARKとどう異なりますか？

zk-STARKは通常、より大きな証明を持ちますが、信頼できるセットアップを回避し、大規模な計算ではよりスケーラブルと考えられることが多いです。

zk-STARKは量子耐性がありますか？

zk-STARKは、楕円曲線ペアリングではなく衝突耐性ハッシュ関数に依存するため、一般に将来の量子攻撃に対してより耐性があると考えられています。

zk-STARKはトランザクションをプライベートにしますか？

プライバシーシステムで使用できますが、ネットワークがzk-STARK技術を使用しているだけでトランザクションが自動的にプライベートになるわけではありません。

有効性証明とは何ですか？

有効性証明とは、結果が受け入れられる前に、計算または状態遷移が正しく実行されたことを示す暗号学的証明です。

ロールアップがzk-STARKを使用する理由は何ですか？

ロールアップは、多数のオフチェーントランザクションが正しく処理されたことをzk-STARKで証明でき、コスト削減とスループット向上に役立ちます。

zk-STARKの主な弱点は何ですか？

主な弱点は、zk-STARK証明がzk-SNARK証明より大きくなることが多く、一部のシステムで検証およびデータコストを増加させる可能性があることです。

初心者でもzk-STARKで構築されたアプリケーションを利用できますか？

はい。初心者でもすべての暗号技術を理解せずにzk-STARKで構築されたアプリケーションを利用できますが、ブリッジリスク、スマートコントラクトリスク、データ可用性リスクなどの基本的なリスクは理解すべきです。

zk-STARKがブロックチェーン採用にとって重要なのはなぜですか？

より少ない作業でより多くの計算を検証できるため、手数料低下、スループット向上、より実用的な分散型アプリケーションを支えられる可能性があります。

結論

zk-STARKは、現代の暗号資産において最も重要な証明技術の1つです。

証明者は計算が正しく実行されたことを示し、検証者はその結果を効率的に確認できます。

主な強みは、スケーラビリティ、透明性、強力な暗号学的前提です。

ブロックチェーンネットワークでは、zk-STARKはLayer 2のスケーリング、有効性ロールアップ、検証可能な計算、プライバシー重視のアプリケーションを支えられます。

信頼できるセットアップセレモニーを回避し、証明ベースで大規模な計算を処理できるため、特に価値があります。

ただし、zk-STARKには、より大きな証明サイズ、複雑な開発、証明生成コスト、インフラの集中化の可能性など、トレードオフもあります。

ユーザーは、zk-STARK技術が強力であっても、暗号資産システムからすべてのリスクを自動的に取り除くものではないことを覚えておくべきです。

zk-STARKベースのアプリケーション全体のセキュリティは、スマートコントラクト、データ可用性、ブリッジ、シーケンサー、ガバナンス、監査、正確な証明設計に依存します。

ブロックチェーンの採用が拡大するにつれ、zk-STARKは、信頼最小化されたセキュリティを損なわずにより多くの活動を検証するという業界の最も難しい課題の1つを解決するのに役立つため、暗号資産インフラの主要な一部であり続ける可能性があります。