Based on “Rigid Matrices From Rectangular PCPs”, Amey Bhangale, Prahladh Harsha, Orr Paradise, Avishay Tal, 2020. https://eccc.weizmann.ac.il/report/2020/075/