Sublinear Zero-Knowledge Provers Democratize Verifiable Computation and Privacy at Scale
A new sublinear-space ZKP prover, reducing memory from linear to square-root complexity, transforms verifiable computation from a server task to an on-device primitive.
