SNARK プレイヤーが実際に STARK をフォローしていると発表しましたか? @zksync による STARK 時代がもうすぐ到来します。@Starknet は震えています!
では、zkSync アップグレードの新しいバージョン Boojum とは何ですか?なぜzkSyncはStarkアップグレードをこれほど早く発表したのでしょうか?スナークとスタークの本質的な違いは何ですか?このアップグレードは L2 市場にどのような影響を及ぼしますか?
技術的な議論の観点から、早速コメントとディスカッションをしてみましょう。 1/5
簡単に言えば、Boojum は SNARK から STARK プルーフ システムへの zkSync の移行バージョンです。
これは、今後長い間、zkSync の Prover 認証システムが Stark のインターフェイス機能を持つことを意味します。ほとんどの主流のニーズは依然として SNARK 成熟した認証を使用します。個々のアプリケーション、特に zk Stack マルチチェーン環境内のアプリケーションは、zk を使用する必要があります認証システム. これは boojum に接続することで実現できます。 2/5
このサークルの重要な点は、zkSync が zk Stack マルチチェーン戦略を実装するために Boojum が避けられない選択であるということです。
STARKと比較すると、SNARK証明方法は再帰的検証に依存しており、同じシステム下の同じ公開鍵に基づくzk演繹証明に適していますが、STARK証明は非対話型検証方法に基づくことができ、複雑な非再帰的実装が可能です。クロスチェーンの状態を確認します。 3/5
これが 2 つの証明システム SNARK と STARK の主な違いです。
数学的仮定に基づくSNARKの検証方法と比較して、STARKの証明プロセスには大量の冗長な情報が含まれるため、計算アルゴリズムのリソースが比較的多く、レートも高くなります。
したがって、zkSync メインチェーンは将来的に SNARK を主要な認証システムとして使用することになり、STARK はそのマルチチェーン戦略の延長にすぎません。 4/5
これは、zkSync の軽量かつ効率的な開発精神に沿ったものです。
したがって、zkSync の Boojum は Starknet と同じ戦略的次元にありませんが、Op Stark、Arbitrum orbit、polygon2.0 などの他の企業に対しては一定の脅威となるでしょう。
zkSync の STARK への移行は、SNARK の技術的欠点を認め、競合製品の切り札を使って自社の天井を突破することに等しいことを知っておく必要があります。L2 プレーヤーのこの波のパターンと野心は、実際に次から次へと現れています。 5/5