¿Un jugador de SNARK realmente anunció que estaba siguiendo a STARK? ¡La era STARK con @zksync llega tan pronto que @Starknet está temblando!

Entonces, ¿cuál es la nueva versión de Boojum de la actualización de zkSync? ¿Por qué zkSync anunció tan rápido su actualización a Stark? ¿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, comentemos y discutamos rápidamente. 1/5

En pocas palabras, Boojum es la versión de transición de zkSync del sistema de prueba SNARK al STARK.

Esto significa que durante mucho tiempo, el sistema de certificación Prover de zkSync tendrá la capacidad de interfaz de Stark. La mayoría de las necesidades principales seguirán utilizando la certificación SNARK. Las aplicaciones individuales, especialmente aquellas en el entorno de múltiples cadenas zk Stack, deben usar zk. sistema de certificación. Esto se puede lograr conectándose a boojum. 2/5

El punto clave en este círculo es que Boojum es una elección inevitable para que zkSync implemente la estrategia de múltiples cadenas zk Stack.

En comparación con STARK, el método de prueba SNARK se basa en la verificación recursiva, que es adecuado para la prueba de deducción zk basada en la misma clave pública en el mismo sistema, mientras que la prueba STARK puede basarse en un método de verificación no interactivo, lo que permite una implementación compleja no recursiva en verificar el estado de la cadena cruzada. 3/5

Ésta es la diferencia principal entre los dos sistemas de prueba SNARK y STARK.

En comparación con el método de verificación de SNARK basado en suposiciones matemáticas, el proceso de verificación de STARK contiene una gran cantidad de información redundante, por lo que los recursos del algoritmo computacional son relativamente altos y las tasas también son altas.

Por lo tanto, la cadena principal de zkSync utilizará SNARK como el principal sistema de certificación en el futuro, y STARK es solo una extensión de su estrategia de múltiples cadenas. 4/5

Esto está en línea con el espíritu de desarrollo eficiente y liviano de zkSync.

Por lo tanto, Boojum de zkSync no está en la misma dimensión estratégica que Starknet, pero planteará ciertas amenazas a otros como Op Stark, Arbitrum Orbit y Polygon2.0.

Debes saber que la transición de zkSync a STARK equivale a reconocer las deficiencias técnicas de SNARK y utilizar las cartas de triunfo de los productos de la competencia para superar su propio techo. Los patrones y las ambiciones de esta ola de jugadores L2 son realmente uno tras otro. 5/5