Sciweavers

1 search results - page 1 / 1
» Input-Oblivious Proof Systems and a Uniform Complexity Persp...
Sort
View
ECCC
2011
189views ECommerce» more  ECCC 2011»
12 years 11 months ago
Input-Oblivious Proof Systems and a Uniform Complexity Perspective on P/poly
An input-oblivious proof system is a proof system in which the proof does not depend on the claim being proved. Input-oblivious versions of NP and MA were introduced in passing by...
Oded Goldreich, Or Meir