Un joueur de SNARK a effectivement annoncé qu'il suivait STARK ? L'ère STARK avec @zksync arrive tellement bientôt @Starknet tremble !

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

Du point de vue de la discussion technique, commentons et discutons rapidement. 1/5

En termes simples, Boojum est la version de transition de zkSync du système de preuve SNARK au STARK.

Cela signifie que pendant longtemps encore, le système de certification Prover de zkSync aura la capacité d'interface de Stark. La plupart des besoins grand public utiliseront toujours la certification mature SNARK. Les applications individuelles, en particulier celles de l'environnement multi-chaînes zk Stack, doivent utiliser le zk système de certification. Ceci peut être réalisé en se connectant à boojum. 2/5

Dans ce cercle focal, Boojum est un choix inévitable pour la stratégie multi-chaînes de zkSync exécutant zk Stack.

Parce que SNARK, par rapport à STARK, la méthode de preuve SNARK dépend de la vérification récursive, adaptée aux preuves zk basées sur la même clé publique dans le même système, tandis que les preuves STARK peuvent être basées sur une méthode de vérification non interactive, permettant une vérification complexe non récursive dans un état inter-chaînes. 3/5

C'est la différence fondamentale entre les deux systèmes de preuve SNARK et STARK.

Comparé à la méthode de vérification de SNARK basée sur des hypothèses mathématiques, le processus de preuve de STARK contient de nombreuses informations redondantes, donc les exigences en ressources algorithmiques sont relativement élevées, et les frais sont également élevés.

Ainsi, la chaîne principale de zkSync continuera d'utiliser SNARK comme principal système de preuve, STARK n'est qu'une capacité d'extension de sa stratégie multi-chaînes. 4/5

C'est ainsi que cela correspond à l'esprit de développement léger et efficace de zkSync.

Ainsi, zkSync faisant Boojum et Starknet ne se situe pas sur la même dimension stratégique, mais cela représente une certaine menace pour d'autres comme Op Stark, Arbitrum orbit et polygon2.0.

Il faut savoir que la transition de zkSync vers STARK équivaut à reconnaître les lacunes techniques de SNARK, utilisant l'arme secrète d'un concurrent pour briser son propre plafond, la configuration et l'ambition de ces acteurs L2 sont vraiment impressionnantes. 5/5