Separating succinct non-interactive arguments from all falsifiable assumptions (Q5419079)
From MaRDI portal
scientific article; zbMATH DE number 6301133
Language | Label | Description | Also known as |
---|---|---|---|
English | Separating succinct non-interactive arguments from all falsifiable assumptions |
scientific article; zbMATH DE number 6301133 |
Statements
Separating succinct non-interactive arguments from all falsifiable assumptions (English)
0 references
5 June 2014
0 references
black-box separation
0 references
computationally sound proofs
0 references