Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage
  • 4 Overview of the doubly-effic...

Treffer: 4 Overview of the doubly-efficient interactive proof systems of RRR: 4.3 Batch verification for unambiguous IP.

Title:
4 Overview of the doubly-efficient interactive proof systems of RRR: 4.3 Batch verification for unambiguous IP.
Authors:
Goldreich, Oded
Source:
Foundations & Trends in Theoretical Computer Science; 2017, Vol. 13 Issue 3, p220-227, 8p
Subject Terms:
INTERACTIVE proof methods, MATHEMATICS theorems, INTEGRATED circuit verification, PROBABILISTIC number theory, PROOF theory
Database:
Complementary Index