Property testing and interactive proofs sit at the confluence of theoretical computer science and practical algorithm design. Property testing is a sublinear framework that allows one to quickly ...