Crypto 2 Introduction and Proof for Baby-step Giant-step Algorithm (BSGS) 2022/08/13 Introduction and Proof for Tonelli-Shanks Algorithm 2022/08/03