Academic Journal
4 Overview of the doubly-efficient interactive proof systems of RRR: 4.2 Warm-up: Batch verification for NP.
| العنوان: | 4 Overview of the doubly-efficient interactive proof systems of RRR: 4.2 Warm-up: Batch verification for NP. |
|---|---|
| المؤلفون: | Goldreich, Oded |
| المصدر: | Foundations & Trends in Theoretical Computer Science; 2017, Vol. 13 Issue 3, p216-220, 5p |
| مصطلحات موضوعية: | INTERACTIVE proof methods, PROOF theory, POLYNOMIALS, REED-Muller codes, LINEAR time invariant systems |
| قاعدة البيانات: | Complementary Index |
| تدمد: | 15513068 |
|---|