Skip to main content

Sublinear Proofs

Definition

Sublinear proofs are cryptographic proofs whose size and verification time grow slower than linearly with the size of the computation they attest to. These proofs allow for highly efficient verification of complex computations, where the effort required by the verifier is significantly less than re-executing the computation itself. They are particularly valuable for scaling blockchain networks by enabling off-chain computation with on-chain verification. Examples include zero-knowledge succinct non-interactive arguments of knowledge, or zk-SNARKs. This efficiency is paramount for achieving high transaction throughput.