Skip to main content

Sublinear Proof Systems

Definition

Sublinear proof systems are cryptographic protocols where the time or space complexity required to verify a proof is less than linear with respect to the size of the statement being proven. This efficiency gain allows for quick verification of complex computations or large datasets without requiring the verifier to re-execute the entire computation. They enable scalable and privacy-preserving verification.