Relativized succinct arguments in the ROM do not exist
From MaRDI portal
Cites work
- \textsc{Fractal}: post-quantum and transparent recursive proofs from holography
- Affine relativization: unifying the algebrization and relativization barriers
- Algebrization: a new barrier in complexity theory
- An axiomatic approach to algebrization
- Barriers for succinct arguments in the random oracle model
- Computationally Sound Proofs
- scientific article; zbMATH DE number 559220 (Why is no real title available?)
- scientific article; zbMATH DE number 3399210 (Why is no real title available?)
- scientific article; zbMATH DE number 7650405 (Why is no real title available?)
- Incrementally Verifiable Computation or Proofs of Knowledge Imply Time/Space Efficiency
- Incrementally verifiable computation via rate-1 batch arguments
- Interactive oracle proofs
- On relativized exponential and probabilistic complexity classes
- On succinct non-interactive arguments in relativized worlds
- On Valiant's conjecture. Impossibility of incrementally verifiable computation from random oracles
- Oracle‐Constructions to Prove All Possible Relationships Between Relativizations of P, NP, EL, NEL, EP and NEP
- Probabilistically Checkable Arguments
- Proof-carrying data from arithmetized random oracles
- Recursive composition and bootstrapping for SNARKs and proof-carrying data
- Relativizations of the $\mathcal{P} = ?\mathcal{NP}$ Question
- Scalable zero knowledge via cycles of elliptic curves
- Security bounds for proof-carrying data from straightline extractors
- The random oracle hypothesis is false
This page was built for publication: Relativized succinct arguments in the ROM do not exist
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7233184)
