Lemma 4, p.20 — $\sigma^k_h(x)$ is a $2\varepsilon$-CCE of $(\overline Q^k_h(x,\cdot,\cdot),\underline Q^k_h(x,\cdot,\cdot))$

Initializing...

Lemma 4, p.20 — $\sigma^k_h(x)$ is a $2\varepsilon$-CCE of $(\overline Q^k_h(x,\cdot,\cdot),\underline Q^k_h(x,\cdot,\cdot))$ · Prove2Me