Most zero-knowledge proofs are generated server-side for scaling, but Aleph Zero’s zkOS does that directly on users’ devices, ...