cmiiw, zkSNARKs mean that computations can be verified by a single node and therefore not executed by every node on the network-- link, and work is being done to include this feature in the mainnet.
How do zkSNARKs fit into the broader picture: as a requisite for scalability (alongside Plasma/Swarm, and sharding?), or for privacy?