.
(𝑥,𝑤) ∈ 𝑅ʟ. But by now, we know that one can do better: with less communication cost (sending something much smaller than proof 𝑤) and less computational burden on the verifier. Proofs versus Arguments When it comes to succinctness, i.e., if the total communication cost and verifier’s work are less