zksync と StarkNet の 2 つのトップレベルの ZK ロールアップの違いは何ですか？
ゼロ知識証明技術は、一方（証明者）が他の一方（検証者）に特定の主張を送信し、検証者がその主張が真実であることを知らずに検証できる技術です。では、zksync と StarkNet の 2 つのトップレベルの ZK ロールアップの違いは何でしょうか？
zkSync と StarkNet の概要を簡単にまとめましょう。
MatterLabs は 2020 年 6 月、zkSync V1 を SNARK プループロトコルとしてイーサリアムメインネットにリリースしました。
2022 年 10 月、MatterLabs は zkSync 2.0 のメインネットの第一段階である「ベビーアルファ」を開始しました。
2021 年 11 月、StarkWare Ltd. は StarkNet をリリースしました。これはイーサリアムのテストネット上の STARK プループロトコルです。このプロトコルは同月後半にアルファバージョン 0.4.0 としてメインネットにリリースされました。
zkSync と StarkNet の主な違いは、それぞれが異なる証明プロトコルを使用していることです：
SNARK（簡潔な非対話型知識証明）；
STARKs（スケーラブルな透明な知識証明）。
SNARK と STARKs の証明の根本的な違い：
インストール方法；
スケーラビリティ；
量子コンピュータ攻撃への耐性；
ZK-SNARK と ZK-STARKs の違い：
実際の証明では、ZK-STARKs は ZK-SNARKs よりも 10 倍速いです。
ただし、ZK-STARKs の現在の欠点は、技術がまだ成熟していないことであり、その汎用性が制限されているということです。
StarkEx は StarkNet と比較して、ZK ロールアップではなく、アプリケーションに大規模なスケーリングを提供するために STARK 証明を使用するカスタマイズ可能な Layer-2 SaaS（Software as a Service）です。
いくつかの重要なポイント：
StarkNet は汎用のロールアップチェーンです。
StarkEx はアプリケーション向けのツールキットです。
StarkNet はイーサリアムをスケーリングできます。
StarkEx は分散型取引所をスケーリングできます。
StarkNet は DApps 間の相互運用性を許可しますが、StarkEx は許可しません。
これらの違いを理解することは重要です。なぜなら、StarkEx を使用する DApps は通常、StarkNet エコシステムの一部であり、TVL などの指標が完全に異なるからです。
zkSync エコシステムのいくつかの注目すべきオンチェーンデータ：
L2beat によると、zkSync の TVL は 52.97 百万ドルで、トークンはありません。
Orbiter Finance によると、zkSync は取引量で第 3 位の L2 です。
300 以上のプロジェクトが zkSync エコシステムに参加しています。
総調達額：4.58 億ドル。
StarkNet エコシステムのいくつかの注目すべきオンチェーンデータ：
L2beat によると、StarkNet の TVL は 461 万ドルで、トークンはありません。
200 以上のプロジェクトが StarkNet エコシステムに参加しています。
総調達額：2.73 億ドル（StarkWare 提供）。