Zero-Knowledge Proofs in Sublinear Space