zk‑snark scalability