Notes on Zero Knowledge Range Proof