Probabilistically Checkable Proofs¶
Last modified: 2026-10-23
Description¶
Tags entries about PCPs and their relatives (linear PCPs, PCPs of proximity, robust PCPs) — static proofs checked by reading a few randomly chosen symbols. Includes the PCP theorem and its use in succinct arguments.