Generating Zero-Knowledge Proofs in Sublinear Space
researchgate.net