A toolbox for barriers on interactive oracle proofs (Q6169366)
From MaRDI portal
scientific article; zbMATH DE number 7726474
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A toolbox for barriers on interactive oracle proofs |
scientific article; zbMATH DE number 7726474 |
Statements
A toolbox for barriers on interactive oracle proofs (English)
0 references
14 August 2023
0 references
probabilistically checkable proofs
0 references
interactive oracle proofs
0 references
lower bounds
0 references
