Actualización de zkSync: ¿Por qué un jugador de SNARK desertó a STARK?

¿Un jugador de SNARK realmente anunció que estaba a la par con STARK? ¡La era STARK con @zksync está aquí muy pronto @Starknet temblando!

Entonces, ¿cuál es la nueva versión de Boojum actualizada por zkSync? ¿Por qué zkSync anunció la actualización de Stark tan rápido? ¿Cuál es la diferencia esencial entre snark y stark? ¿Qué impacto tendrá esta actualización en el mercado L2?

Desde la perspectiva de la discusión técnica, repasemos y discutamos rápidamente.

1. Boojum es la versión de transición de zkSync de SNARK al sistema de prueba STARK. Esto significa que el sistema de prueba Prover de zkSync tendrá la capacidad de interfaz de STARK, pero aún utilizará el sistema de prueba SNARK para satisfacer la mayoría de las necesidades principales.

2. Boojum es una opción para que zkSync implemente la estrategia multicadena zk Stack. En comparación con SNARK, el método de prueba STARK tiene la capacidad de verificación no interactiva y es adecuado para la verificación no recursiva compleja en un entorno de cadena cruzada.

3. La principal diferencia entre SNARK y STARK radica en el método de verificación. SNARK se basa en suposiciones matemáticas y es adecuado para pruebas de deducción zk basadas en la misma clave pública bajo el mismo sistema, mientras que el proceso de prueba de STARK contiene información redundante y requiere altos recursos informáticos.

4. La cadena principal de zkSync seguirá utilizando SNARK como sistema de prueba principal, y STARK es solo una capacidad de expansión de su estrategia de múltiples cadenas. Esto es diferente de la dimensión estratégica de Starknet, pero puede ejercer cierta presión competitiva sobre otras soluciones L2 como Op Stark, Arbitrum Orbit y Polygon 2.0.

En general, zkSync hizo la transición al sistema de prueba STARK a través de la opción de actualización de Boojum, lo que demuestra que reconocen que SNARK tiene limitaciones técnicas en algunos aspectos y utilizan las ventajas de los competidores para superar su propio techo técnico. Esta actualización puede tener cierto impacto en el mercado L2, pero el impacto específico se verá afectado por la reacción y adopción del mercado y los desarrolladores.