zkSync é uma solução de escalabilidade Layer-2 que preserva as propriedades de segurança do blockchain subjacente ao alavancar a geração mais recente de provas de conhecimento zero sucintas. Todos os fundos no zkSync são mantidos em um contrato inteligente na mainchain, enquanto a computação e o armazenamento são realizados off-chain. Para cada bloco Rollup, uma prova de conhecimento zero de transição de estado (SNARK) é gerada e verificada pelo contrato da mainchain. Esta SNARK inclui a prova da validade de cada transação no bloco Rollup.
