Manuscript Oai272-A@1 · Oai272-A.tex · section · a40828a0
A one-shot resource ledger
Stage 2: what local resource and recovery certificates price › A one-shot resource ledger · lines 1431–1437
This is the declared one-shot model in En02-A
CheungEn02A ({thm:Dprime}).
It is not a lower bound on every adaptive peak memory and does
not replace (eq:four).