{
"$type": "site.standard.document",
"bskyPostRef": {
"cid": "bafyreihjuy3lg5bu4sn2fzkossd6ibjrb4s5mfpuiuy6w73coexng4bxxq",
"uri": "at://did:plc:3fychdutjjusoqeq24ljch6q/app.bsky.feed.post/3mmzv7ut72lw2"
},
"path": "/report/2026/088",
"publishedAt": "2026-05-29T12:13:18.000Z",
"site": "https://eccc.weizmann.ac.il",
"textContent": "The work of Rothblum, Vadhan, and Wigderson ({\\em STOC}, 2013) is pivotal to the study of interactive proofs of proximity (IPPs). We present the main contents of their work, while clarify a few (conceptual) aspects. Specifically, starting with the definition of IPP systems, our main focus is on the construction of IPP systems for any property in log-space uniform $\\cal NC$ (and beyond). We also present limitations on the power of constant-round IPP systems.",
"title": "TR26-088 | A digest of the work of Rothblum, Vadhan, and Wigderson (2013) | \n\n\tOded Goldreich"
}