zkSync es una solución de escalado de capa 2 que preserva las propiedades de seguridad de la cadena de bloques subyacente aprovechando la última generación de pruebas de conocimiento cero concisas. Todos los fondos en zkSync se guardan en un contrato inteligente en la cadena principal, mientras que el cálculo y el almacenamiento se realizan fuera de la cadena. Para cada bloque Rollup, el contrato de la cadena principal genera y verifica una prueba de conocimiento cero de transición de estado (SNARK). Esta SNARK incluye la prueba de la validez de cada transacción en el bloque Rollup.