zkSync アップグレード: SNARK プレーヤーが STARK に寝返った理由は何ですか?

実際にSNARKプレイヤーがSTARKと同等だと発表した？ @zksync による STARK 時代がもうすぐ到来です @Starknet は震えています!

では、zkSync によってアップグレードされた新しいバージョンの Boojum とは何でしょうか?なぜ zkSync は Stark のアップグレードをこれほど早く発表したのでしょうか?スナークとスタークの本質的な違いは何ですか?このアップグレードは L2 市場にどのような影響を及ぼしますか?

技術的な議論の観点から、簡単にレビューして議論しましょう。

1. Boojum は、SNARK から STARK プルーフ システムへの zkSync の移行バージョンです。これは、zkSync の Prover 証明システムが STARK のインターフェース機能を持ちながら、主流のニーズを満たすために SNARK 証明システムを引き続き使用することを意味します。

2. Boojum は、zkSync が zk Stack マルチチェーン戦略を実装するためのオプションです。 SNARK と比較して、STARK 証明方法は非対話型検証の機能を備えており、クロスチェーン環境での複雑な非再帰的検証に適しています。

3. SNARK と STARK の主な違いは検証方法にあります。 SNARK は数学的仮定に基づいており、同じシステム下の同じ公開鍵に基づく zk 演繹証明に適していますが、STARK の証明プロセスには冗長な情報が含まれており、大量のコンピューティング リソースが必要です。

4. zkSync メインチェーンは引き続き SNARK をメイン証明システムとして使用し、STARK はそのマルチチェーン戦略の拡張機能にすぎません。これは Starknet の戦略的側面とは異なりますが、Op Stark、Arbitrum Orbit、Polygon 2.0 などの他の L2 ソリューションに競争圧力をもたらす可能性があります。

一般に、zkSync は Boojum のアップグレード オプションを通じて STARK プルーフ システムに移行しました。これは、SNARK にはいくつかの側面で技術的な制限があることを同社が認識しており、競合他社の利点を利用して自社の技術的な上限を突破していることを示しています。このアップグレードは L2 市場に一定の影響を与える可能性がありますが、具体的な影響は市場と開発者の反応と採用によって影響されます。