Chpater 19 (Identification and signatures from sigma protocols)