Manuscript Oai272-A@1 · Oai272-A.tex · section · a40828a0
A certificate stated independently of a state construction
The uniform gap and its exact finite certificate › A certificate stated independently of a state construction · lines 799–805
This is a finite collection of scalar inequalities after the analytic transcript and coherence statements have been proved. It is not a claim that observing a few finite protocols proves a universal quantifier over all protocols.
Nearby in this section
- definition: Definition: Transcript-coherence certificate
- lemma: Lemma: Represented inputs supply the certificate
- definition: Definition: Ideal key and distance
- section: A certificate stated independently of a state construction
- theorem: Theorem: Uniform secret-bit obstruction
- section: A certificate stated independently of a state construction