On Valiant's conjecture. Impossibility of incrementally verifiable computation from random oracles (Q6061369)
From MaRDI portal
scientific article; zbMATH DE number 7773995
Language | Label | Description | Also known as |
---|---|---|---|
English | On Valiant's conjecture. Impossibility of incrementally verifiable computation from random oracles |
scientific article; zbMATH DE number 7773995 |
Statements
On Valiant's conjecture. Impossibility of incrementally verifiable computation from random oracles (English)
0 references
8 December 2023
0 references
idealized models
0 references
lower bounds
0 references
separations
0 references
impossibility results
0 references
proof systems
0 references
zero-knowledge proof
0 references