「格子問題のハードインスタンスの生成」におけるAjtaiの定理1の証明

私の質問は、1996年の画期的なペーパー「格子問題のハードインスタンスの生成」におけるAjtaiの主定理の証明に関係しています。この証明は私には理解しにくい。文献にこの証明の明確な説明はありますか？

MiccancioとRegevによるガウス測度に基づく最悪のケースから平均的なケースへの削減、または件名に関するRegevの 講義ノート（コース全体を読むことをお勧めします）などの最新の論文を読んでみてください。