Skip to main content

Sublinear Space Prover

Definition

A sublinear space prover is a cryptographic prover that can generate a proof using memory resources that grow slower than linearly with the size of the computation it is verifying. This efficiency is a significant achievement in zero-knowledge proof systems, allowing for the verification of very large computations with limited memory. It enables broader application of these privacy-preserving technologies. Such provers are crucial for scaling complex tasks.