Mise à jour zkSync : pourquoi un lecteur SNARK est-il passé à STARK ?

Un joueur de SNARK a effectivement annoncé qu'il était à égalité avec STARK ? L'ère STARK avec @zksync est là si bientôt @Starknet frissonnant !

Alors, quelle est la nouvelle version de Boojum mise à jour par zkSync ? Pourquoi zkSync a-t-il annoncé la mise à niveau de Stark si rapidement ? Quelle est la différence essentielle entre snark et stark ? Quel impact cette mise à jour aura-t-elle sur le marché L2 ?

Du point de vue de la discussion technique, passons rapidement en revue et discutons.

1. Boojum est la version de transition de zkSync de SNARK à STARK proof system. Cela signifie que le système de preuve Prover de zkSync aura la capacité d'interface de STARK, mais utilisera toujours le système de preuve SNARK pour répondre à la plupart des besoins courants.

2. Boojum est une option permettant à zkSync de mettre en œuvre la stratégie multichaîne zk Stack. Par rapport à SNARK, la méthode de preuve STARK a la capacité de vérification non interactive et convient à une vérification non récursive complexe dans un environnement inter-chaînes.

3. La principale différence entre SNARK et STARK réside dans la méthode de vérification. SNARK est basé sur des hypothèses mathématiques et convient aux preuves de déduction zk basées sur la même clé publique sous le même système ; tandis que le processus de preuve de STARK contient des informations redondantes et nécessite des ressources informatiques élevées.

4. La chaîne principale zkSync utilisera toujours SNARK comme système de preuve principal, et STARK n'est qu'une capacité d'extension de sa stratégie multi-chaînes. Ceci est différent de la dimension stratégique de Starknet, mais cela peut exercer une certaine pression concurrentielle sur d'autres solutions L2 telles que Op Stark, Arbitrum Orbit et Polygon 2.0.

En général, zkSync est passé au système de preuve STARK via l'option de mise à niveau de Boojum, ce qui montre qu'ils reconnaissent que SNARK a des limites techniques à certains égards et utilisent les avantages des concurrents pour franchir leur propre plafond technique. Cette mise à niveau peut avoir un certain impact sur le marché L2, mais l'impact spécifique sera affecté par la réaction et l'adoption du marché et des développeurs.