zkSync — Rely on math, not validators | zkSync