Introduction to ZKP Security with CTF examples