To perform unique decoding we will use the machinery of list decoding
from theo:listdechammer (proven later
in sec:instantiationlistdec), which relies on the list
decoding framework of [1]}. Proving that this framework can
be applied to Ta-Shma's construction is one of our technical
contributions.
