Zero-Knowledge Proofs in Sublinear Space

Logan Nye

Zero-knowledge proofs allow verification of computations without revealing private information. However, existing systems require memory proportional to the computation size, which…